The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Patrik Simons: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ilkka Niemelä, Patrik Simons
    Efficient Implementation of the Well-founded and Stable Model Semantics. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:289-303 [Conf]
  2. Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You
    Unfolding Partiality and Disjunctions in Stable Model Semantics. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:411-422 [Conf]
  3. Patrik Simons
    Extending the Stable Model Semantics with More Expressive Rules. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:305-316 [Conf]
  4. Ilkka Niemelä, Patrik Simons
    Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1997, pp:421-430 [Conf]
  5. Ilkka Niemelä, Patrik Simons, Timo Soininen
    Stable Model Semantics of Weight Constraint Rules. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:317-331 [Conf]
  6. Patrik Simons, Ilkka Niemelä, Timo Soininen
    Extending and implementing the stable model semantics. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2002, v:138, n:1-2, pp:181-234 [Journal]
  7. Ilkka Niemelä, Patrik Simons, Tommi Syrjänen
    Smodels: A System for Answer Set Programming [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  8. Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You
    Unfolding Partiality and Disjunctions in Stable Model Semantics [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  9. Patrik Simons
    Extending and Implementing the Stable Model Semantics [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  10. Patrik Simons
    Extending the Stable Model Semantics with More Expressive Rules [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  11. Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You
    Unfolding partiality and disjunctions in stable model semantics. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2006, v:7, n:1, pp:1-37 [Journal]

Search in 0.040secs, Finished in 0.041secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002