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