Dagstuhl Seminar Proceedings 05171

Nonmonotonic Reasoning, Answer Set Programming and Constraints

G. Brewka, I. Niemelä, T. Schaub, M. Truszczynski (Eds.)

published by LZI
Host

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 | Fulltext Search | Imprint
    Published by LZI