The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

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.001secs, Finished in 0.002secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002