Patrik Simons

According to our database, Patrik Simons authored at least 9 papers between 1996 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

Unfolding partiality and disjunctions in stable model semantics.

Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You

ACM Trans. Comput. Log., 2006

2002

Extending and implementing the stable model semantics.

Patrik Simons, Ilkka Niemelä, Timo Soininen

Artif. Intell., 2002

2000

Extending and Implementing the Stable Model Semantics

Patrik Simons

CoRR, 2000

Smodels: A System for Answer Set Programming

Ilkka Niemelä, Patrik Simons, Tommi Syrjänen

CoRR, 2000

Unfolding Partiality and Disjunctions in Stable Model Semantics.

Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You

Proceedings of the KR 2000, 2000

1999

Extending the Stable Model Semantics with More Expressive Rules.

Patrik Simons

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Stable Model Semantics of Weight Constraint Rules.

Ilkka Niemelä, Patrik Simons, Timo Soininen

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

1997

Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP.

Ilkka Niemelä, Patrik Simons

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

1996

Efficient Implementation of the Well-founded and Stable Model Semantics.

Ilkka Niemelä, Patrik Simons

Proceedings of the Logic Programming, 1996