Kathrin Konczak

According to our database, Kathrin Konczak authored at least 16 papers between 2001 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2007

Preferences in answer set programming.

Kathrin Konczak

PhD thesis, 2007

2006

Graphs and colorings for answer set programming.

Kathrin Konczak, Thomas Linke, Torsten Schaub

Theory Pract. Log. Program., 2006

Strong order equivalence.

Wolfgang Faber, Kathrin Konczak

Ann. Math. Artif. Intell., 2006

Weak Order Equivalence for Logic Programs with Preferences.

Kathrin Konczak

Proceedings of the 20th Workshop on Logic Programming, 2006

Voting Theory in Answer Set Programming.

Kathrin Konczak

Proceedings of the 20th Workshop on Logic Programming, 2006

2005

A Glimpse of Answer Set Programming.

Christian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub

Künstliche Intell., 2005

nomore^<: A System for Computing Preferred Answer Sets.

Susanne Grell, Kathrin Konczak, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Strong Equivalence for Logic Programs with Preferences.

Wolfgang Faber, Kathrin Konczak

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Abduction and Preferences in Linguistics.

Kathrin Konczak, Ralf Vogel

Proceedings of the Answer Set Programming, 2005

2003

Graphs and Colorings for Answer Set Programming with Preferences.

Kathrin Konczak, Torsten Schaub, Thomas Linke

Fundam. Informaticae, 2003

Graphs and colorings for answer set programming: Abridged Report.

Kathrin Konczak, Torsten Schaub, Thomas Linke

Proceedings of the Answer Set Programming, 2003

Graphs and coloring for answer set programming: Preliminary Report.

Kathrin Konczak, Torsten Schaub, Thomas Linke

Proceedings of the Answer Set Programming, 2003

2002

More on noMoRe.

Thomas Linke, Christian Anger, Kathrin Konczak

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

NoMoRe : Non-monotonic Reasoning with Logic Programs.

Christian Anger, Kathrin Konczak, Thomas Linke

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics.

Christian Anger, Kathrin Konczak, Thomas Linke

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics.

Christian Anger, Kathrin Konczak, Thomas Linke

Proceedings of the Automated Reasoning, First International Joint Conference, 2001