HTML Export for Dagstuhl Seminar Proceedings, Volume 5171

Copy to Clipboard Download

<h2>Dagstuhl Seminar Proceedings, Volume 5171, </h2>
<ul>
<li>
    <span class="authors">Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, and Joost Vennekens</span>
    <span class="title">05171 Abstracts Collection – Nonmonotonic Reasoning, Answer Set Programming and Constraints</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05171.1">10.4230/DagSemProc.05171.1</a>
</li>
<li>
    <span class="authors">Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, and Miroslaw Truszczynski</span>
    <span class="title">05171 Executive Summary – Nonmonotonic Reasoning, Answer Set Programming and Constraints</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05171.2">10.4230/DagSemProc.05171.2</a>
</li>
<li>
    <span class="authors">Rafal Grabos</span>
    <span class="title">Answer Set Programming and Combinatorial Voting</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05171.3">10.4230/DagSemProc.05171.3</a>
</li>
<li>
    <span class="authors">Gabriele Kern-Isberner, Christoph Beierle, and Oliver Dusso</span>
    <span class="title">Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05171.4">10.4230/DagSemProc.05171.4</a>
</li>
<li>
    <span class="authors">Victor W. Marek and Jeffrey B. Remmel</span>
    <span class="title">Normal Form Theorem for Logic Programs with Cardinality Constraints</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05171.5">10.4230/DagSemProc.05171.5</a>
</li>
<li>
    <span class="authors">Pascal Nicolas, Laurent Garcia, and Igor Stéphan</span>
    <span class="title">Possibilistic Stable Models</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05171.6">10.4230/DagSemProc.05171.6</a>
</li>
<li>
    <span class="authors">Axel Polleres</span>
    <span class="title">Semantic Web Languages and Semantic Web Services as Application Areas for Answer Set Programming</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05171.7">10.4230/DagSemProc.05171.7</a>
</li>
<li>
    <span class="authors">Jeffrey B. Remmel and Victor W. Marek</span>
    <span class="title">Set Based Logic Programming</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05171.8">10.4230/DagSemProc.05171.8</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode