Dagstuhl Seminar Proceedings 05171
Nonmonotonic Reasoning, Answer Set Programming and Constraints
G. Brewka, I. Niemelä, T. Schaub, M. Truszczynski (Eds.)
published by LZI
ISSN 1862 - 4405
Dagstuhl Seminar 05171, 24.04. - 29.04.2005
Additional Information
Seminar Homepage
License
Search Publication Server
Authors
Beierle, Christoph
Brewka, Gerhard
Dusso, Oliver
Garcia, Laurent
Grabos, Rafal
Kern-Isberner, Gabriele
Marek, Victor W.
Nicolas, Pascal
Niemelä, Ilkka
Polleres, Axel
Remmel, Jeffrey B.
Schaub, Torsten
Stéphan, Igor
Truszczynski, Miroslaw
Vennekens, Joost
05171 Abstracts Collection -- Nonmonotonic Reasoning, Answer Set Programming and Constraints
Authors:
Brewka, Gerhard ; Niemelä, Ilkka ; Schaub, Torsten ; Truszczynski, Miroslaw ; Vennekens, Joost
Abstract
|
Document (177 KB)
|
BibTeX
05171 Executive Summary -- Nonmonotonic Reasoning, Answer Set Programming and Constraints
Authors:
Brewka, Gerhard ; Niemelä, Ilkka ; Schaub, Torsten ; Truszczynski, Miroslaw
Abstract
|
Document (50 KB)
|
BibTeX
Answer Set Programming and Combinatorial Voting
Authors:
Grabos, Rafal
Abstract
|
Document (152 KB)
|
BibTeX
Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV
Authors:
Kern-Isberner, Gabriele ; Beierle, Christoph ; Dusso, Oliver
Abstract
|
Document (322 KB)
|
BibTeX
Normal Form Theorem for Logic Programs with Cardinality Constraints
Authors:
Marek, Victor W. ; Remmel, Jeffrey B.
Abstract
|
Document (380 KB)
|
BibTeX
Possibilistic Stable Models
Authors:
Nicolas, Pascal ; Garcia, Laurent ; Stéphan, Igor
Abstract
|
Document (195 KB)
|
BibTeX
Semantic Web Languages and Semantic Web Services as Application Areas for Answer Set Programming
Authors:
Polleres, Axel
Abstract
|
Document (177 KB)
|
BibTeX
Set Based Logic Programming
Authors:
Remmel, Jeffrey B. ; Marek, Victor W.
Abstract
|
Document (545 KB)
|
BibTeX
DROPS-Home
|
Imprint
|
Privacy
