<h2>LIPIcs, Volume 7, ICLP 2010</h2>
<ul>
<li>
<span class="authors">Manuel Hermenegildo and Torsten Schaub</span>
<span class="title">LIPIcs, Volume 7, ICLP'10, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010">10.4230/LIPIcs.ICLP.2010</a>
</li>
<li>
<span class="authors">Manuel Hermenegildo and Torsten Schaub</span>
<span class="title">Titlepage, Table of Contents, Conference Organization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.i">10.4230/LIPIcs.ICLP.2010.i</a>
</li>
<li>
<span class="authors">Manuel Hermenegildo and Torsten Schaub</span>
<span class="title">Introduction to the Technical Communications of the 26th International Conference on Logic Programming</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.XI">10.4230/LIPIcs.ICLP.2010.XI</a>
</li>
<li>
<span class="authors">Molham Aref</span>
<span class="title">Datalog for Enterprise Software: from Industrial Applications to Research (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.1">10.4230/LIPIcs.ICLP.2010.1</a>
</li>
<li>
<span class="authors">François Fages</span>
<span class="title">A Logical Paradigm for Systems Biology (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.2">10.4230/LIPIcs.ICLP.2010.2</a>
</li>
<li>
<span class="authors">Marco Alberti, Marco Gavanelli, and Evelina Lamma</span>
<span class="title">Runtime Addition of Integrity Constraints in an Abductive Proof Procedure</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.4">10.4230/LIPIcs.ICLP.2010.4</a>
</li>
<li>
<span class="authors">Marcello Balduccini</span>
<span class="title">Learning Domain-Specific Heuristics for Answer Set Solvers</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.14">10.4230/LIPIcs.ICLP.2010.14</a>
</li>
<li>
<span class="authors">Selen Basol, Ozan Erdem, Michael Fink, and Giovambattista Ianni</span>
<span class="title">HEX Programs with Action Atoms</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.24">10.4230/LIPIcs.ICLP.2010.24</a>
</li>
<li>
<span class="authors">Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, and Martine De Cock</span>
<span class="title">Communicating Answer Set Programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.34">10.4230/LIPIcs.ICLP.2010.34</a>
</li>
<li>
<span class="authors">Stefan Brass</span>
<span class="title">Implementation Alternatives for Bottom-Up Evaluation</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.44">10.4230/LIPIcs.ICLP.2010.44</a>
</li>
<li>
<span class="authors">Domenico Corapi, Alessandra Russo, and Emil Lupu</span>
<span class="title">Inductive Logic Programming as Abductive Search</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.54">10.4230/LIPIcs.ICLP.2010.54</a>
</li>
<li>
<span class="authors">Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis, and Martine De Cock</span>
<span class="title">Efficient Solving of Time-dependent Answer Set Programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.64">10.4230/LIPIcs.ICLP.2010.64</a>
</li>
<li>
<span class="authors">Daan Fierens</span>
<span class="title">Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.74">10.4230/LIPIcs.ICLP.2010.74</a>
</li>
<li>
<span class="authors">Nicolas Guenot</span>
<span class="title">Focused Proof Search for Linear Logic in the Calculus of Structures</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.84">10.4230/LIPIcs.ICLP.2010.84</a>
</li>
<li>
<span class="authors">Tomi Janhunen</span>
<span class="title">Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.94">10.4230/LIPIcs.ICLP.2010.94</a>
</li>
<li>
<span class="authors">Pedro Lopez-Garcia, Luthfi Darmawan, and Francisco Bueno</span>
<span class="title">A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.104">10.4230/LIPIcs.ICLP.2010.104</a>
</li>
<li>
<span class="authors">Michael J. Maher</span>
<span class="title">Contractibility and Contractible Approximations of Soft Global Constraints</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.114">10.4230/LIPIcs.ICLP.2010.114</a>
</li>
<li>
<span class="authors">Theofrastos Mantadelis and Gerda Janssens</span>
<span class="title">Dedicated Tabling for a Probabilistic Setting</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.124">10.4230/LIPIcs.ICLP.2010.124</a>
</li>
<li>
<span class="authors">Luis Moniz Pereira and Alexandre Miguel Pinto</span>
<span class="title">Tight Semantics for Logic Programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.134">10.4230/LIPIcs.ICLP.2010.134</a>
</li>
<li>
<span class="authors">Joseph P. Near</span>
<span class="title">From Relational Specifications to Logic Programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.144">10.4230/LIPIcs.ICLP.2010.144</a>
</li>
<li>
<span class="authors">Johannes Oetsch, Jörg Pührer, and Hans Tompits</span>
<span class="title">Methods and Methodologies for Developing Answer-Set Programs - Project Description</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.154">10.4230/LIPIcs.ICLP.2010.154</a>
</li>
<li>
<span class="authors">Fabrizio Riguzzi and Terrance Swift</span>
<span class="title">Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.162">10.4230/LIPIcs.ICLP.2010.162</a>
</li>
<li>
<span class="authors">Jose Santos and Stephen Muggleton</span>
<span class="title">Subsumer: A Prolog theta-subsumption engine</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.172">10.4230/LIPIcs.ICLP.2010.172</a>
</li>
<li>
<span class="authors">Paulo Shakarian, V.S. Subrahmanian, and Maria Luisa Sapino</span>
<span class="title">Using Generalized Annotated Programs to Solve Social Network Optimization Problems</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.182">10.4230/LIPIcs.ICLP.2010.182</a>
</li>
<li>
<span class="authors">Gerardo Simari and V.S. Subrahmanian</span>
<span class="title">Abductive Inference in Probabilistic Logic Programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.192">10.4230/LIPIcs.ICLP.2010.192</a>
</li>
<li>
<span class="authors">Christoph Wernhard</span>
<span class="title">Circumscription and Projection as Primitives of Logic Programming</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.202">10.4230/LIPIcs.ICLP.2010.202</a>
</li>
<li>
<span class="authors">Neda Saeedloei and Gopal Gupta</span>
<span class="title">Timed Definite Clause Omega-Grammars</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.212">10.4230/LIPIcs.ICLP.2010.212</a>
</li>
<li>
<span class="authors">Abdulla Alqaddoumi</span>
<span class="title">Towards a Parallel Virtual Machine for Functional Logic Programming</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.222">10.4230/LIPIcs.ICLP.2010.222</a>
</li>
<li>
<span class="authors">Mario Alviano</span>
<span class="title">Dynamic Magic Sets for Disjunctive Datalog Programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.226">10.4230/LIPIcs.ICLP.2010.226</a>
</li>
<li>
<span class="authors">Andres A. Aristizabal P.</span>
<span class="title">Bisimilarity in Concurrent Constraint Programming</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.236">10.4230/LIPIcs.ICLP.2010.236</a>
</li>
<li>
<span class="authors">Celine Dandois</span>
<span class="title">Program analysis for code duplication in logic programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.241">10.4230/LIPIcs.ICLP.2010.241</a>
</li>
<li>
<span class="authors">Romain Demeyer</span>
<span class="title">Program Analysis to Support Concurrent Programming in Declarative Languages</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.248">10.4230/LIPIcs.ICLP.2010.248</a>
</li>
<li>
<span class="authors">Christian Drescher</span>
<span class="title">Constraint Answer Set Programming Systems</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.255">10.4230/LIPIcs.ICLP.2010.255</a>
</li>
<li>
<span class="authors">Sarah Alice Gaggl</span>
<span class="title">Towards a General Argumentation System based on Answer-Set Programming</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.265">10.4230/LIPIcs.ICLP.2010.265</a>
</li>
<li>
<span class="authors">Hugo A. Lopez</span>
<span class="title">Models for Trustworthy Service and Process Oriented Systems</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.270">10.4230/LIPIcs.ICLP.2010.270</a>
</li>
<li>
<span class="authors">Thierry Martinez</span>
<span class="title">Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.277">10.4230/LIPIcs.ICLP.2010.277</a>
</li>
<li>
<span class="authors">Niels Pahlavi</span>
<span class="title">Higher-order Logic Learning and lambda-Progol</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.281">10.4230/LIPIcs.ICLP.2010.281</a>
</li>
<li>
<span class="authors">Fabio Parisini</span>
<span class="title">Local Branching in a Constraint Programming Framework</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.286">10.4230/LIPIcs.ICLP.2010.286</a>
</li>
<li>
<span class="authors">Neda Saeedloei</span>
<span class="title">Logic Programming Foundations of Cyber-Physical Systems</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.289">10.4230/LIPIcs.ICLP.2010.289</a>
</li>
<li>
<span class="authors">Zachary Snow</span>
<span class="title">Realizing the Dependently Typed Lambda Calculus</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.294">10.4230/LIPIcs.ICLP.2010.294</a>
</li>
<li>
<span class="authors">Mauricio Toro-Bermudez</span>
<span class="title">Structured Interactive Musical Scores</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.300">10.4230/LIPIcs.ICLP.2010.300</a>
</li>
<li>
<span class="authors">Jakob Zwirchmayr</span>
<span class="title">Cutting-Edge Timing Analysis Techniques</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ICLP.2010.303">10.4230/LIPIcs.ICLP.2010.303</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