Kathrin Konczak

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
Preferences in answer set programming.
PhD thesis, 2007

2006
Graphs and colorings for answer set programming.
Theory Pract. Log. Program., 2006

Strong order equivalence.
Ann. Math. Artif. Intell., 2006

Weak Order Equivalence for Logic Programs with Preferences.
Proceedings of the 20th Workshop on Logic Programming, 2006

Voting Theory in Answer Set Programming.
Proceedings of the 20th Workshop on Logic Programming, 2006

2005
A Glimpse of Answer Set Programming.
Künstliche Intell., 2005

nomore<sup><</sup>: A System for Computing Preferred Answer Sets.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Strong Equivalence for Logic Programs with Preferences.
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.
Proceedings of the Answer Set Programming, 2005

2003
Graphs and Colorings for Answer Set Programming with Preferences.
Fundam. Informaticae, 2003

Graphs and colorings for answer set programming: Abridged Report.
Proceedings of the Answer Set Programming, 2003

Graphs and coloring for answer set programming: Preliminary Report.
Proceedings of the Answer Set Programming, 2003

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

NoMoRe : Non-monotonic Reasoning with Logic Programs.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001
NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001


  Loading...