| 2006 |
|---|
| 19 | EE | Kathrin Konczak:
Weak Order Equivalence for Logic Programs with Preferences.
WLP 2006: 154-163 |
| 18 | EE | Kathrin Konczak:
Voting Theory in Answer Set Programming.
WLP 2006: 45-53 |
| 17 | EE | Wolfgang Faber,
Kathrin Konczak:
Strong order equivalence.
Ann. Math. Artif. Intell. 47(1-2): 43-78 (2006) |
| 16 | EE | Kathrin Konczak,
Thomas Linke,
Torsten Schaub:
Graphs and colorings for answer set programming.
TPLP 6(1-2): 61-106 (2006) |
| 2005 |
|---|
| 15 | EE | Kathrin Konczak,
Ralf Vogel:
Abduction and Preferences in Linguistics.
Answer Set Programming 2005 |
| 14 | EE | Wolfgang Faber,
Kathrin Konczak:
Strong Equivalence for Logic Programs with Preferences.
IJCAI 2005: 430-435 |
| 13 | EE | Kathrin Konczak,
Ralf Vogel:
Abduction and Preferences in Linguistics.
LPNMR 2005: 384-388 |
| 12 | EE | Susanne Grell,
Kathrin Konczak,
Torsten Schaub:
nomore<: A System for Computing Preferred Answer Sets.
LPNMR 2005: 394-398 |
| 11 | EE | Kathrin Konczak,
Thomas Linke,
Torsten Schaub:
Graphs and colorings for answer set programming
CoRR abs/cs/0502082: (2005) |
| 10 | EE | Christian Anger,
Kathrin Konczak,
Thomas Linke,
Torsten Schaub:
A Glimpse of Answer Set Programming.
KI 19(1): 12- (2005) |
| 2004 |
|---|
| 9 | EE | Kathrin Konczak,
Thomas Linke,
Torsten Schaub:
Graphs and Colorings for Answer Set Programming: Abridged Report.
LPNMR 2004: 127-140 |
| 2003 |
|---|
| 8 | EE | Kathrin Konczak,
Torsten Schaub,
Thomas Linke:
Graphs and coloring for answer set programming: Preliminary Report.
Answer Set Programming 2003 |
| 7 | EE | Kathrin Konczak,
Torsten Schaub,
Thomas Linke:
Graphs and colorings for answer set programming: Abridged Report.
Answer Set Programming 2003 |
| 6 | EE | Kathrin Konczak,
Torsten Schaub,
Thomas Linke:
Graphs and Colorings for Answer Set Programming with Preferences.
Fundam. Inform. 57(2-4): 393-421 (2003) |
| 2002 |
|---|
| 5 | EE | Thomas Linke,
Christian Anger,
Kathrin Konczak:
More on noMoRe.
JELIA 2002: 468-480 |
| 4 | EE | 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 | EE | 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 | EE | Christian Anger,
Kathrin Konczak,
Thomas Linke:
NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics.
LPNMR 2001: 406-410 |
