2006 |
11 | EE | 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): 1-37 (2006) |
2003 |
10 | EE | Tomi Janhunen,
Ilkka Niemelä,
Dietmar Seipel,
Patrik Simons,
Jia-Huai You:
Unfolding Partiality and Disjunctions in Stable Model Semantics
CoRR cs.AI/0303009: (2003) |
2002 |
9 | EE | Patrik Simons,
Ilkka Niemelä,
Timo Soininen:
Extending and implementing the stable model semantics.
Artif. Intell. 138(1-2): 181-234 (2002) |
2000 |
8 | | Tomi Janhunen,
Ilkka Niemelä,
Patrik Simons,
Jia-Huai You:
Unfolding Partiality and Disjunctions in Stable Model Semantics.
KR 2000: 411-422 |
7 | EE | Ilkka Niemelä,
Patrik Simons,
Tommi Syrjänen:
Smodels: A System for Answer Set Programming
CoRR cs.AI/0003033: (2000) |
6 | EE | Patrik Simons:
Extending and Implementing the Stable Model Semantics
CoRR cs.LO/0005010: (2000) |
1999 |
5 | EE | Patrik Simons:
Extending the Stable Model Semantics with More Expressive Rules.
LPNMR 1999: 305-316 |
4 | EE | Ilkka Niemelä,
Patrik Simons,
Timo Soininen:
Stable Model Semantics of Weight Constraint Rules.
LPNMR 1999: 317-331 |
3 | EE | Patrik Simons:
Extending the Stable Model Semantics with More Expressive Rules
CoRR cs.LO/9908004: (1999) |
1997 |
2 | | Ilkka Niemelä,
Patrik Simons:
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP.
LPNMR 1997: 421-430 |
1996 |
1 | | Ilkka Niemelä,
Patrik Simons:
Efficient Implementation of the Well-founded and Stable Model Semantics.
JICSLP 1996: 289-303 |