Kathrin Konczak

Publication Activity (10 Years)

Years Active: 2001-2006
Publications (10 Years): 0

University of Potsdam, Germany (PHD)

Education History

University of Potsdam, Germany

PHD

Publications

Kathrin Konczak, Thomas Linke, Torsten Schaub
Graphs and colorings for answer set programming. Theory Pract. Log. Program. 6 (1-2) (2006)
Wolfgang Faber, Kathrin Konczak
Strong order equivalence. Ann. Math. Artif. Intell. 47 (1-2) (2006)
Kathrin Konczak
Weak Order Equivalence for Logic Programs with Preferences. WLP (2006)
Kathrin Konczak
Voting Theory in Answer Set Programming. WLP (2006)
Kathrin Konczak, Ralf Vogel
Abduction and Preferences in Linguistics. LPNMR (2005)
Kathrin Konczak, Ralf Vogel
Abduction and Preferences in Linguistics. Answer Set Programming (2005)
Wolfgang Faber, Kathrin Konczak
Strong Equivalence for Logic Programs with Preferences. IJCAI (2005)
Kathrin Konczak, Thomas Linke, Torsten Schaub
Graphs and colorings for answer set programming CoRR (2005)
Susanne Grell, Kathrin Konczak, Torsten Schaub
: A System for Computing Preferred Answer Sets. LPNMR (2005)
Christian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub
A Glimpse of Answer Set Programming. Künstliche Intell. 19 (1) (2005)
Kathrin Konczak, Thomas Linke, Torsten Schaub
Graphs and Colorings for Answer Set Programming: Abridged Report. LPNMR (2004)
Kathrin Konczak, Torsten Schaub, Thomas Linke
Graphs and colorings for answer set programming: Abridged Report. Answer Set Programming (2003)
Kathrin Konczak, Torsten Schaub, Thomas Linke
Graphs and coloring for answer set programming: Preliminary Report. Answer Set Programming (2003)
Kathrin Konczak, Torsten Schaub, Thomas Linke
Graphs and Colorings for Answer Set Programming with Preferences. Fundam. Informaticae 57 (2-4) (2003)
Thomas Linke, Christian Anger, Kathrin Konczak
More on noMoRe. NMR (2002)
Christian Anger, Kathrin Konczak, Thomas Linke
NoMoRe : Non-monotonic Reasoning with Logic Programs. JELIA (2002)
Thomas Linke, Christian Anger, Kathrin Konczak
More on noMoRe. JELIA (2002)
Christian Anger, Kathrin Konczak, Thomas Linke
NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics. IJCAR (2001)
Christian Anger, Kathrin Konczak, Thomas Linke
NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. LPNMR (2001)

Kathrin Konczak.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Kathrin Konczak