NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics. - Christian Anger; Kathrin Konczak; Thomas Linke (IJCAR, 2001)

NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. - Christian Anger; Kathrin Konczak; Thomas Linke (LPNMR, 2001)

NoMoRe : Non-monotonic Reasoning with Logic Programs. - Christian Anger; Kathrin Konczak; Thomas Linke (JELIA, 2002)

More on noMoRe. - Thomas Linke; Christian Anger; Kathrin Konczak (NMR, 2002)

Graphs and coloring for answer set programming: Preliminary Report. - Kathrin Konczak; Torsten Schaub; Thomas Linke (Answer Set Programming, 2003)

Graphs and colorings for answer set programming: Abridged Report. - Kathrin Konczak; Torsten Schaub; Thomas Linke (Answer Set Programming, 2003)

Graphs and Colorings for Answer Set Programming with Preferences. - Kathrin Konczak; Torsten Schaub; Thomas Linke (Fundam. Informaticae, 2003)

Abduction and Preferences in Linguistics. - Kathrin Konczak; Ralf Vogel 001 (Answer Set Programming, 2005)

Strong Equivalence for Logic Programs with Preferences. - Wolfgang Faber 001; Kathrin Konczak (IJCAI, 2005)

nomore<: A System for Computing Preferred Answer Sets. - Susanne Grell; Kathrin Konczak; Torsten Schaub (LPNMR, 2005)

A Glimpse of Answer Set Programming. - Christian Anger; Kathrin Konczak; Thomas Linke; Torsten Schaub (Künstliche Intell., 2005)

Voting Theory in Answer Set Programming. - Kathrin Konczak (WLP, 2006)

Weak Order Equivalence for Logic Programs with Preferences. - Kathrin Konczak (WLP, 2006)

Strong order equivalence. - Wolfgang Faber 001; Kathrin Konczak (Ann. Math. Artif. Intell., 2006)

Graphs and colorings for answer set programming. - Kathrin Konczak; Thomas Linke; Torsten Schaub (Theory Pract. Log. Program., 2006)

Preferences in answer set programming. - Kathrin Konczak (2007)