Patrik Simons

11 papers A* 1B 3Journal 6Unranked 1

Year	Rank	Type	Title / Venue / Authors
2006	J	`jnl`	Unfolding partiality and disjunctions in stable model semantics. ACM Trans. Comput. Log. Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You
2003	J	`jnl`	Unfolding Partiality and Disjunctions in Stable Model Semantics CoRR Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You
2002	J	`jnl`	Extending and implementing the stable model semantics. Artif. Intell. Patrik Simons, Ilkka Niemelä, Timo Soininen
2000	J	`jnl`	Extending and Implementing the Stable Model Semantics CoRR Patrik Simons
2000	J	`jnl`	Smodels: A System for Answer Set Programming CoRR Ilkka Niemelä, Patrik Simons, Tommi Syrjänen
2000	A*	`conf`	Unfolding Partiality and Disjunctions in Stable Model Semantics. KR Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You
1999	J	`jnl`	Extending the Stable Model Semantics with More Expressive Rules CoRR Patrik Simons
1999	B	`conf`	Extending the Stable Model Semantics with More Expressive Rules. LPNMR Patrik Simons
1999	B	`conf`	Stable Model Semantics of Weight Constraint Rules. LPNMR Ilkka Niemelä, Patrik Simons, Timo Soininen
1997	B	`conf`	Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. LPNMR Ilkka Niemelä, Patrik Simons
1996	—	`conf`	Efficient Implementation of the Well-founded and Stable Model Semantics. JICSLP Ilkka Niemelä, Patrik Simons