Patrik Simons

Publication Activity (10 Years)

Years Active: 1996-2006
Publications (10 Years): 0

Publications

Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You
Unfolding partiality and disjunctions in stable model semantics. ACM Trans. Comput. Log. 7 (1) (2006)
Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You
Unfolding Partiality and Disjunctions in Stable Model Semantics CoRR (2003)
Patrik Simons, Ilkka Niemelä, Timo Soininen
Extending and implementing the stable model semantics. Artif. Intell. 138 (1-2) (2002)
Ilkka Niemelä, Patrik Simons, Tommi Syrjänen
Smodels: A System for Answer Set Programming CoRR (2000)
Patrik Simons
Extending and Implementing the Stable Model Semantics CoRR (2000)
Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You
Unfolding Partiality and Disjunctions in Stable Model Semantics. KR (2000)
Patrik Simons
Extending the Stable Model Semantics with More Expressive Rules CoRR (1999)
Ilkka Niemelä, Patrik Simons, Timo Soininen
Stable Model Semantics of Weight Constraint Rules. LPNMR (1999)
Patrik Simons
Extending the Stable Model Semantics with More Expressive Rules. LPNMR (1999)
Ilkka Niemelä, Patrik Simons
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. LPNMR (1997)
Ilkka Niemelä, Patrik Simons
Efficient Implementation of the Well-founded and Stable Model Semantics. JICSLP (1996)