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

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