Publikationen

2006

  1. Kathrin Konczak.
    Voting Theory in Answer Set Programming.
    20th Workshop on Logic Programming.
  2. Kathrin Konczak.
    Weak Order Equivalences for Logic Programs with Preferences.
    20th Workshop on Logic Programming.
  3. Kathrin Konczak,Thomas Linke, Torsten Schaub.
    Graphs and colorings for answer set programming.
    Theory and Practice of Logic Programming, volume 6, Issue 1&2, pages 61-106, 2005.
    Download: [Link to arXiv.org]

2005

  1. Kathrin Konczak, Jerome Lang.
    Voting procedures with incomplete preferences.
    IJCAI-05 Workshop on Advances in Preference Handling, pages 124-129, 2005.

  2. Kathrin Konczak, Ralf Vogel.
    Abduction and Preferences in Linguistics.
    Answer Set Programming: Advances in Theory and Implementation (ASP'05), pages 263-276, Research Press International, 2005.

  3. Kathrin Konczak, Ralf Vogel.
    Abduction and Preferences in Linguistics: Extended abstract.
    Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005), pages 384-388, Lecture Notes in Artificial Intelligence, volume 3662, Springer, 2005

  4. Susanne Grell, Kathrin Konczak, Torsten Schaub.
    nomore< : A system for computing preferred answer sets.
    Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005), pages 394-398, Lecture Notes in Artificial Intelligence, volume 3662, Springer, 2005

  5. Wolfgang Faber, Kathrin Konczak.
    Strong Equivalence for Logic Programs with Preferences.
    Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05), pages 430-435, 2005.

  6. Christian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub.
    A Glimpse of Answer Set Programming.
    Künstliche Intelligenz, volume 19, number 1, pages 12-17, 2005.

2004

  1. Kathrin Konczak,Thomas Linke, Torsten Schaub.
    Graphs and colorings for answer set programming: Abridged report.
    In V. Lifschitz and I. Niemelä, editors, Proceedings of the Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'04), volume 2923, pages 127 - 140, Lecture Notes in Computer Science, Springer-Verlag Heidelberg, 2004

2003

  1. Kathrin Konczak, Torsten Schaub, Thomas Linke.
    Graphs and colorings for answer set programming with preferences.
    Fundamenta Informaticae, volume 57, number 2-4, pages 393-421, 2003

  2. Kathrin Konczak, Thomas Linke, Torsten Schaub.
    Graphs and colorings for answer set programming: Abridged report.
    In M. De Voss and A. Provetti , editors, Proceedings of the Second International Workshop on Answer Set Programming (ASP'03), CEUR Workshop Proceedings, volume 78, pages 137-150, 2003

  3. Kathrin Konczak, Torsten Schaub, Thomas Linke.
    Graphs and colorings for answer set programming with preferences: Preliminary Report.
    In M. De Voss and A. Provetti , editors, Proceedings of the Second International Workshop on Answer Set Programming (ASP'03), CEUR Workshop Proceedings, volume 78, pages 43-56, 2003

2002

  1. Christian Anger, Kathrin Konczak, Thomas Linke.
    NoMoRe: Non-monotonic reasoning with logic programs.
    In S. Flesca and S. Greco and N. Leone and G.Ianni, editors, Proceedings of the Eighth European Conference on Logics in Artificial Intelligence (JELIA'02), Lecture Notes in Artificial Intelligence, Springer-Verlag, volume 2424, pages 521-524, 2002

  2. Thomas Linke, Christian Anger, Kathrin Konczak.
    More on nomore.
    In S. Flesca and S. Greco and N. Leone and G.Ianni, editors, Proceedings of the Eighth European Conference on Logics in Artificial Intelligence (JELIA'02), Lecture Notes in Artificial Intelligence, Springer-Verlag, volume 2424, pages 468-480, 2002

  3. Thomas Linke, Christian Anger, Kathrin Konczak.
    More on nomore.
    In S. Benferhat and E. Giunchiglia, editors, Proceedings of the 9th International Workshop on Nonmonotonic Reasoning, pages 210-218, Toulouse,2002

2001

  1. Christian Anger, Kathrin Konczak, Thomas Linke.
    NoMoRe : A system for non-monotonic reasoning with logic programs under answer set semantics.
    In T. Eiter, W. Faber, and M. Truszczynski, editors, Proceedings of the Sixth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'01), Lecture Notes in Artificial Intelligence, volume 2173, pages 406-410, Springer Verlag, 2001
  2. Christian Anger, Kathrin Konczak, Thomas Linke.
    NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics.
    In R. Goré, A. Leitsch and T. Nipkow, editors, Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR'01), Lecture Notes in Artificial Intelligence 2083, pages 325-330, Springer Verlag, 2001