HTML Export for ICLP 2016 TCs

Copy to Clipboard Download

<h2>OASIcs, Volume 52, ICLP 2016 TCs</h2>
<ul>
<li>
    <span class="authors">Manuel Carro, Andy King, Neda Saeedloei, and Marina De Vos</span>
    <span class="title">OASIcs, Volume 52, ICLP&#039;16, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016">10.4230/OASIcs.ICLP.2016</a>
</li>
<li>
    <span class="authors">Manuel Carro, Andy King, Neda Saeedloei, and Marina De Vos</span>
    <span class="title">Front Matter, Table of Contents, Preface, List of Authors</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.0">10.4230/OASIcs.ICLP.2016.0</a>
</li>
<li>
    <span class="authors">Benjamin Susman and Yuliya Lierler</span>
    <span class="title">SMT-Based Constraint Answer Set Solver EZSMT (System Description)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.1">10.4230/OASIcs.ICLP.2016.1</a>
</li>
<li>
    <span class="authors">Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, and Philipp Wanko</span>
    <span class="title">Theory Solving Made Easy with Clingo 5</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.2">10.4230/OASIcs.ICLP.2016.2</a>
</li>
<li>
    <span class="authors">Javier Romero, Torsten Schaub, and Philipp Wanko</span>
    <span class="title">Computing Diverse Optimal Stable Models</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.3">10.4230/OASIcs.ICLP.2016.3</a>
</li>
<li>
    <span class="authors">Christopher Brenton, Wolfgang Faber, and Sotiris Batsakis</span>
    <span class="title">Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.4">10.4230/OASIcs.ICLP.2016.4</a>
</li>
<li>
    <span class="authors">Jori Bomanson, Martin Gebser, and Tomi Janhunen</span>
    <span class="title">Rewriting Optimization Statements in Answer-Set Programs</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.5">10.4230/OASIcs.ICLP.2016.5</a>
</li>
<li>
    <span class="authors">Christopher Béatrix, Claire Lefèvre, Laurent Garcia, and Igor Stéphan</span>
    <span class="title">Justifications and Blocking Sets in a Rule-Based Answer Set Computation</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.6">10.4230/OASIcs.ICLP.2016.6</a>
</li>
<li>
    <span class="authors">Vladimir Lifschitz</span>
    <span class="title">Intelligent Instantiation and Supersafe Rules</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.7">10.4230/OASIcs.ICLP.2016.7</a>
</li>
<li>
    <span class="authors">Tran Cao Son, Enrico Pontelli, Michael Gelfond, and Marcello Balduccini</span>
    <span class="title">An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.8">10.4230/OASIcs.ICLP.2016.8</a>
</li>
<li>
    <span class="authors">Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero, and Torsten Schaub</span>
    <span class="title">Answer Set Solving with Generalized Learned Constraints</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.9">10.4230/OASIcs.ICLP.2016.9</a>
</li>
<li>
    <span class="authors">Besik Dundua, Temur Kutsia, and Klaus Reisenberger-Hagmayer</span>
    <span class="title">P-rho-Log: Combining Logic Programming with Conditional Transformation Systems</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.10">10.4230/OASIcs.ICLP.2016.10</a>
</li>
<li>
    <span class="authors">Luís Cruz-Filipe</span>
    <span class="title">Grounded Fixpoints and Active Integrity Constraints</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.11">10.4230/OASIcs.ICLP.2016.11</a>
</li>
<li>
    <span class="authors">Broes De Cat and Yuliya Lierler</span>
    <span class="title">Constraint CNF: SAT and CSP Language Under One Roof</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.12">10.4230/OASIcs.ICLP.2016.12</a>
</li>
<li>
    <span class="authors">Graeme Gange and Peter J. Stuckey</span>
    <span class="title">Constraint Propagation and Explanation over Novel Types by Abstract Compilation</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.13">10.4230/OASIcs.ICLP.2016.13</a>
</li>
<li>
    <span class="authors">Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, and Marc Denecker</span>
    <span class="title">A Compositional Typed Higher-Order Logic with Definitions</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.14">10.4230/OASIcs.ICLP.2016.14</a>
</li>
<li>
    <span class="authors">Arun Nampally and C. R. Ramakrishnan</span>
    <span class="title">Inference in Probabilistic Logic Programs Using Lifted Explanations</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.15">10.4230/OASIcs.ICLP.2016.15</a>
</li>
<li>
    <span class="authors">Michell Guzmán and Frank D. Valencia</span>
    <span class="title">On the Expressiveness of Spatial Constraint Systems</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.16">10.4230/OASIcs.ICLP.2016.16</a>
</li>
<li>
    <span class="authors">Joaquín Arias</span>
    <span class="title">Tabled CLP for Reasoning Over Stream Data</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.17">10.4230/OASIcs.ICLP.2016.17</a>
</li>
<li>
    <span class="authors">Miguel Isabel</span>
    <span class="title">Testing of Concurrent Programs</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.18">10.4230/OASIcs.ICLP.2016.18</a>
</li>
<li>
    <span class="authors">Tiantian Gao</span>
    <span class="title">Controlled Natural Languages for Knowledge Representation and Reasoning</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.19">10.4230/OASIcs.ICLP.2016.19</a>
</li>
<li>
    <span class="authors">Alexander Vandenbroucke</span>
    <span class="title">The Functional Perspective on Advanced Logic Programming</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.20">10.4230/OASIcs.ICLP.2016.20</a>
</li>
<li>
    <span class="authors">Michael Frank</span>
    <span class="title">Methods for Solving Extremal Problems in Practice</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.21">10.4230/OASIcs.ICLP.2016.21</a>
</li>
<li>
    <span class="authors">Zhuo Chen</span>
    <span class="title">Automating Disease Management Using Answer Set Programming</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.22">10.4230/OASIcs.ICLP.2016.22</a>
</li>
<li>
    <span class="authors">Philipp Wanko</span>
    <span class="title">Scalable Design Space Exploration via Answer Set Programming</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.ICLP.2016.23">10.4230/OASIcs.ICLP.2016.23</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