<h2>LIPIcs, Volume 11, ICLP 2011</h2>
<ul>
<li>
<span class="authors">John P. Gallagher and Michael Gelfond</span>
<span class="title">LIPIcs, Volume 11, ICLP'11, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011">10.4230/LIPIcs.ICLP.2011</a>
</li>
<li>
<span class="authors">John P. Gallagher and Michael Gelfond</span>
<span class="title">Frontmatter, Table of Contents, Preface, Conference Organization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.i">10.4230/LIPIcs.ICLP.2011.i</a>
</li>
<li>
<span class="authors">Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub</span>
<span class="title">Multi-Criteria Optimization in Answer Set Programming</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.1">10.4230/LIPIcs.ICLP.2011.1</a>
</li>
<li>
<span class="authors">Alexander Bochman and Vladimir Lifschitz</span>
<span class="title">Yet Another Characterization of Strong Equivalence</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.11">10.4230/LIPIcs.ICLP.2011.11</a>
</li>
<li>
<span class="authors">Max Ostrowski, Giorgos Flouris, Torsten Schaub, and Grigoris Antoniou</span>
<span class="title">Evolution of Ontologies using ASP</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.16">10.4230/LIPIcs.ICLP.2011.16</a>
</li>
<li>
<span class="authors">Christian Drescher and Toby Walsh</span>
<span class="title">Modelling Grammar Constraints with Answer Set Programming</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.28">10.4230/LIPIcs.ICLP.2011.28</a>
</li>
<li>
<span class="authors">Alex Brik and Jeffrey B. Remmel</span>
<span class="title">Hybrid ASP</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.40">10.4230/LIPIcs.ICLP.2011.40</a>
</li>
<li>
<span class="authors">Michael Casolary and Joohyung Lee</span>
<span class="title">Representing the Language of the Causal Calculator in Answer Set Programming</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.51">10.4230/LIPIcs.ICLP.2011.51</a>
</li>
<li>
<span class="authors">Zsolt Zombori, János Csorba, and Péter Szeredi</span>
<span class="title">Static Type Checking for the Q Functional Language in Prolog</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.62">10.4230/LIPIcs.ICLP.2011.62</a>
</li>
<li>
<span class="authors">Ethan K. Jackson, Nikolaj Bjørner, and Wolfram Schulte</span>
<span class="title">Canonical Regular Types</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.73">10.4230/LIPIcs.ICLP.2011.73</a>
</li>
<li>
<span class="authors">Michael Eichberg</span>
<span class="title">Compiling Prolog to Idiomatic Java</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.84">10.4230/LIPIcs.ICLP.2011.84</a>
</li>
<li>
<span class="authors">Ángel Herranz and Julio Mariño</span>
<span class="title">Synthesis of Logic Programs from Object-Oriented Formal Specifications</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.95">10.4230/LIPIcs.ICLP.2011.95</a>
</li>
<li>
<span class="authors">Dalal Alrajeh, Jeff Kramer, Alessandra Russo, and Sebastian Uchitel</span>
<span class="title">An Inductive Approach for Modal Transition System Refinement</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.106">10.4230/LIPIcs.ICLP.2011.106</a>
</li>
<li>
<span class="authors">Leslie De Koninck, Sebastian Brand, and Peter J. Stuckey</span>
<span class="title">Constraints in Non-Boolean Contexts</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.117">10.4230/LIPIcs.ICLP.2011.117</a>
</li>
<li>
<span class="authors">Peter Wang and Zoltan Somogyi</span>
<span class="title">Minimizing the overheads of dependent {AND}-parallelism</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.128">10.4230/LIPIcs.ICLP.2011.128</a>
</li>
<li>
<span class="authors">Lukas Bulwahn</span>
<span class="title">Smart test data generators via logic programming</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.139">10.4230/LIPIcs.ICLP.2011.139</a>
</li>
<li>
<span class="authors">Stefan Brass</span>
<span class="title">Declarative Output by Ordering Text Pieces</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.151">10.4230/LIPIcs.ICLP.2011.151</a>
</li>
<li>
<span class="authors">Paul Fodor and Michael Kifer</span>
<span class="title">Transaction Logic with Defaults and Argumentation Theories</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.162">10.4230/LIPIcs.ICLP.2011.162</a>
</li>
<li>
<span class="authors">Jiefei Ma, Alessandra Russo, Krysia Broda, and Emil Lupu</span>
<span class="title">Multi-agent Confidential Abductive Reasoning</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.175">10.4230/LIPIcs.ICLP.2011.175</a>
</li>
<li>
<span class="authors">Agostino Dovier, Andrea Formisano, and Enrico Pontelli</span>
<span class="title">BAAC: A Prolog System for Action Description and Agents Coordination</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.187">10.4230/LIPIcs.ICLP.2011.187</a>
</li>
<li>
<span class="authors">Michael Hanus</span>
<span class="title">Declarative Processing of Semistructured Web Data</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.198">10.4230/LIPIcs.ICLP.2011.198</a>
</li>
<li>
<span class="authors">Brandon Chisham, Enrico Pontelli, Tran Cao Son, and Ben Wright</span>
<span class="title">CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.209">10.4230/LIPIcs.ICLP.2011.209</a>
</li>
<li>
<span class="authors">Henning Christiansen, Christian Theil Have, Ole Torp Lassen, and Matthieu Petit</span>
<span class="title">Bayesian Annotation Networks for Complex Sequence Analysis</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.220">10.4230/LIPIcs.ICLP.2011.220</a>
</li>
<li>
<span class="authors">Colin J. Nicholson, Danny De Schreye, and Jon Sneyers</span>
<span class="title">Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.231">10.4230/LIPIcs.ICLP.2011.231</a>
</li>
<li>
<span class="authors">Cristian Molinaro, Amy Sliva, and V. S. Subrahmanian</span>
<span class="title">Abduction in Annotated Probabilistic Temporal Logic</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.240">10.4230/LIPIcs.ICLP.2011.240</a>
</li>
<li>
<span class="authors">Paul Bone</span>
<span class="title">Automatic Parallelism in Mercury</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.251">10.4230/LIPIcs.ICLP.2011.251</a>
</li>
<li>
<span class="authors">Marco Bottalico</span>
<span class="title">Consistency Techniques for Hybrid Simulations</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.255">10.4230/LIPIcs.ICLP.2011.255</a>
</li>
<li>
<span class="authors">Alex Brik</span>
<span class="title">Extensions of Answer Set Programming</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.261">10.4230/LIPIcs.ICLP.2011.261</a>
</li>
<li>
<span class="authors">Paola Campli</span>
<span class="title">A Semiring-based framework for fair resources allocation</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.268">10.4230/LIPIcs.ICLP.2011.268</a>
</li>
<li>
<span class="authors">Thomas Krennwallner</span>
<span class="title">Promoting Modular Nonmonotonic Logic Programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.274">10.4230/LIPIcs.ICLP.2011.274</a>
</li>
<li>
<span class="authors">Jael Kriener</span>
<span class="title">Correct Reasoning about Logic Programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.280">10.4230/LIPIcs.ICLP.2011.280</a>
</li>
<li>
<span class="authors">Alexander Šimko</span>
<span class="title">Accepting the natural order of rules in a logic program with preferences</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.284">10.4230/LIPIcs.ICLP.2011.284</a>
</li>
<li>
<span class="authors">Walter W. Wilson</span>
<span class="title">Implementation of Axiomatic Language</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.290">10.4230/LIPIcs.ICLP.2011.290</a>
</li>
<li>
<span class="authors">Zsolt Zombori</span>
<span class="title">Two Phase Description Logic Reasoning for Efficient Information Retrieval</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2011.296">10.4230/LIPIcs.ICLP.2011.296</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
Feedback for Dagstuhl Publishing