Nonmonotonic Reasoning, Answer Set Programming and Constraints

Keyphrases

Publications

2005

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

volume 5171, 2005

Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005 Nonmonotonic Reasoning, Answer Set Programming and Constraints 5171 (2005)