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

- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/2005P5171
- ask others
Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski (Eds.): Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 Dagstuhl Seminar Proceedings 05171
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/MarekR05
- ask others
Victor W. Marek, Jeffrey B. Remmel: Normal Form Theorem for Logic Programs with Cardinality Constraints.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/BrewkaNST05
- ask others
Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski: 05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Kern-IsbernerBD05
- ask others
Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso: Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Grabos05
- ask others
Rafal Grabos: Answer Set Programming and Combinatorial Voting.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Polleres05
- ask others
Axel Polleres: Semantic Web Languages and Semantic Web Services as Application Areas for Answer Set Programming.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/NicolasGS05
- ask others
Pascal Nicolas, Laurent Garcia, Igor Stéphan: Possibilistic Stable Models.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/RemmelM05
- ask others
Jeffrey B. Remmel, Victor W. Marek: Set Based Logic Programming.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/BrewkaNSTV05
- ask others
Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens: 05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints.