Dagstuhl Seminar Proceedings: Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005

Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski (Eds.): Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005. Dagstuhl Seminar Proceedings 05171 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 BibTeX

Victor W. Marek, Jeffrey B. Remmel:
Normal Form Theorem for Logic Programs with Cardinality Constraints.
Electronic Edition (link) BibTeX
Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski:
05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints.
Electronic Edition (link) BibTeX
Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso:
Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV.
Electronic Edition (link) BibTeX
Rafal Grabos:
Answer Set Programming and Combinatorial Voting.
Electronic Edition (link) BibTeX
Axel Polleres:
Semantic Web Languages and Semantic Web Services as Application Areas for Answer Set Programming.
Electronic Edition (link) BibTeX
Pascal Nicolas, Laurent Garcia, Igor Stéphan:
Possibilistic Stable Models.
Electronic Edition (link) BibTeX
Jeffrey B. Remmel, Victor W. Marek:
Set Based Logic Programming.
Electronic Edition (link) BibTeX
Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens:
05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints.
Electronic Edition (link) BibTeX