Kathrin Konczak

20 papers A* 1A 1B 6Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2007 — —
Preferences in answer set programming.
Kathrin Konczak
2006 J jnl
Graphs and colorings for answer set programming.
Theory Pract. Log. Program.
Kathrin Konczak, Thomas Linke, Torsten Schaub
2006 J jnl
Strong order equivalence.
Ann. Math. Artif. Intell.
Wolfgang Faber, Kathrin Konczak
2006 — conf
Voting Theory in Answer Set Programming.
WLP
Kathrin Konczak
2006 — conf
Weak Order Equivalence for Logic Programs with Preferences.
WLP
Kathrin Konczak
2005 J jnl
A Glimpse of Answer Set Programming.
Künstliche Intell.
Christian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub
2005 — conf
Abduction and Preferences in Linguistics.
Answer Set Programming
Kathrin Konczak, Ralf Vogel
2005 B conf
Abduction and Preferences in Linguistics.
LPNMR
Kathrin Konczak, Ralf Vogel
2005 J jnl
Graphs and colorings for answer set programming
CoRR
Kathrin Konczak, Thomas Linke, Torsten Schaub
2005 A* conf
Strong Equivalence for Logic Programs with Preferences.
IJCAI
Wolfgang Faber, Kathrin Konczak
2005 B conf
nomore
LPNMR
Susanne Grell, Kathrin Konczak, Torsten Schaub
2004 B conf
Graphs and Colorings for Answer Set Programming: Abridged Report.
LPNMR
Kathrin Konczak, Thomas Linke, Torsten Schaub
2003 J jnl
Graphs and Colorings for Answer Set Programming with Preferences.
Fundam. Informaticae
Kathrin Konczak, Torsten Schaub, Thomas Linke
2003 — conf
Graphs and coloring for answer set programming: Preliminary Report.
Answer Set Programming
Kathrin Konczak, Torsten Schaub, Thomas Linke
2003 — conf
Graphs and colorings for answer set programming: Abridged Report.
Answer Set Programming
Kathrin Konczak, Torsten Schaub, Thomas Linke
2002 B conf
More on noMoRe.
JELIA
Thomas Linke, Christian Anger, Kathrin Konczak
2002 — conf
More on noMoRe.
NMR
Thomas Linke, Christian Anger, Kathrin Konczak
2002 B conf
NoMoRe : Non-monotonic Reasoning with Logic Programs.
JELIA
Christian Anger, Kathrin Konczak, Thomas Linke
2001 B conf
NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics.
LPNMR
Christian Anger, Kathrin Konczak, Thomas Linke
2001 A conf
NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics.
IJCAR
Christian Anger, Kathrin Konczak, Thomas Linke