Dagstuhl Seminar Proceedings, Volume 5171,

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