 | 2006 |
|---|
| 11 |       | Christian Anger,
Martin Gebser,
Tomi Janhunen,
Torsten Schaub:
What's a Head Without a Body?
ECAI 2006: 769-770 |
| 2005 |
|---|
| 10 |  | Christian Anger,
Martin Gebser,
Thomas Linke,
André Neumann,
Torsten Schaub:
The nomore++ Approach to Answer Set Solving.
Answer Set Programming 2005 |
| 9 | | Christian Anger,
Martin Gebser,
Thomas Linke,
André Neumann,
Torsten Schaub:
The nomore++ Approach to Answer Set Solving.
LPAR 2005: 95-109 |
| 8 | | Christian Anger,
Martin Gebser,
Thomas Linke,
André Neumann,
Torsten Schaub:
The nomore++ System.
LPNMR 2005: 422-426 |
| 7 | | Christian Anger,
Kathrin Konczak,
Thomas Linke,
Torsten Schaub:
A Glimpse of Answer Set Programming.
KI 19(1): 12- (2005) |
| 2004 |
|---|
| 6 | | Paul Borchert,
Christian Anger,
Torsten Schaub,
Miroslaw Truszczynski:
Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative.
LPNMR 2004: 3-7 |
| 2002 |
|---|
| 5 | | Thomas Linke,
Christian Anger,
Kathrin Konczak:
More on noMoRe.
JELIA 2002: 468-480 |
| 4 | | Christian Anger,
Kathrin Konczak,
Thomas Linke:
NoMoRe : Non-monotonic Reasoning with Logic Programs.
JELIA 2002: 521-524 |
| 3 | | Thomas Linke,
Christian Anger,
Kathrin Konczak:
More on noMoRe.
NMR 2002: 210-218 |
| 2001 |
|---|
| 2 | | Christian Anger,
Kathrin Konczak,
Thomas Linke:
NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics.
IJCAR 2001: 325-330 |
| 1 | | Christian Anger,
Kathrin Konczak,
Thomas Linke:
NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics.
LPNMR 2001: 406-410 |
