HTML Export for ICLP 2017

Copy to Clipboard Download

<h2>OASIcs, Volume 58, ICLP 2017</h2>
<ul>
<li>
    <span class="authors">Ricardo Rocha, Tran Cao Son, Christopher Mears, and Neda Saeedloei</span>
    <span class="title">OASIcs, Volume 58, ICLP&#039;17, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2017">10.4230/OASIcs.ICLP.2017</a>
</li>
<li>
    <span class="authors">Ricardo Rocha, Tran Cao Son, Christopher Mears, and Neda Saeedloei</span>
    <span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2017.0">10.4230/OASIcs.ICLP.2017.0</a>
</li>
<li>
    <span class="authors">Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, and Marek Adrian</span>
    <span class="title">Entity set expansion from the Web via ASP</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2017.1">10.4230/OASIcs.ICLP.2017.1</a>
</li>
<li>
    <span class="authors">Mario Alviano</span>
    <span class="title">The Pyglaf Argumentation Reasoner</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2017.2">10.4230/OASIcs.ICLP.2017.2</a>
</li>
<li>
    <span class="authors">Giovanni Amendola, Nicola Leone, Marco Manna, and Pierfrancesco Veltri</span>
    <span class="title">Reasoning on anonymity in Datalog+/-</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2017.3">10.4230/OASIcs.ICLP.2017.3</a>
</li>
<li>
    <span class="authors">Melisachew Wudage Chekol and Heiner Stuckenschmidt</span>
    <span class="title">Rule Based Temporal Inference</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2017.4">10.4230/OASIcs.ICLP.2017.4</a>
</li>
<li>
    <span class="authors">Michael Codish, Michael Frank, Amit Metodi, and Morad Muslimany</span>
    <span class="title">Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2017.5">10.4230/OASIcs.ICLP.2017.5</a>
</li>
<li>
    <span class="authors">Michael Hanus</span>
    <span class="title">Semantic Versioning Checking in a Declarative Package Manager</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2017.6">10.4230/OASIcs.ICLP.2017.6</a>
</li>
<li>
    <span class="authors">Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, and Ankush Israney</span>
    <span class="title">Understanding Restaurant Stories Using an ASP Theory of Intentions</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2017.7">10.4230/OASIcs.ICLP.2017.7</a>
</li>
<li>
    <span class="authors">Rolf Schwitter</span>
    <span class="title">Learning Effect Axioms via Probabilistic Logic Programming</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2017.8">10.4230/OASIcs.ICLP.2017.8</a>
</li>
<li>
    <span class="authors">Nataliia Stulova, Jose F. Morales, and Manuel V. Hermenegildo</span>
    <span class="title">Towards Run-time Checks Simplification via Term Hiding</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2017.9">10.4230/OASIcs.ICLP.2017.9</a>
</li>
<li>
    <span class="authors">Paul Tarau</span>
    <span class="title">A Hitchhiker&#039;s Guide to Reinventing a Prolog Machine</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2017.10">10.4230/OASIcs.ICLP.2017.10</a>
</li>
<li>
    <span class="authors">Neng-Fa Zhou and Roman Bartak</span>
    <span class="title">Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2017.11">10.4230/OASIcs.ICLP.2017.11</a>
</li>
<li>
    <span class="authors">Bernhard Bliem</span>
    <span class="title">Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2017.12">10.4230/OASIcs.ICLP.2017.12</a>
</li>
<li>
    <span class="authors">Tiantian Gao</span>
    <span class="title">Achieving High Quality Knowledge Acquisition using Controlled Natural Language</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2017.13">10.4230/OASIcs.ICLP.2017.13</a>
</li>
<li>
    <span class="authors">Jason Hemann, Daniel P. Friedman, William E. Byrd, and Matthew Might</span>
    <span class="title">A Simple Complete Search for Logic Programming</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2017.14">10.4230/OASIcs.ICLP.2017.14</a>
</li>
<li>
    <span class="authors">Nataliia Stulova</span>
    <span class="title">On Improving Run-time Checking in Dynamic Languages</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2017.15">10.4230/OASIcs.ICLP.2017.15</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