 | 2006 |
|---|
| 11 |       | 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 | | 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 | | 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 | | Ilkka Niemelä,
Patrik Simons,
Tommi Syrjänen:
Smodels: A System for Answer Set Programming
CoRR cs.AI/0003033: (2000) |
| 6 | | Patrik Simons:
Extending and Implementing the Stable Model Semantics
CoRR cs.LO/0005010: (2000) |
| 1999 |
|---|
| 5 | | Patrik Simons:
Extending the Stable Model Semantics with More Expressive Rules.
LPNMR 1999: 305-316 |
| 4 | | Ilkka Niemelä,
Patrik Simons,
Timo Soininen:
Stable Model Semantics of Weight Constraint Rules.
LPNMR 1999: 317-331 |
| 3 | | 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 |
