27. ICLP 2011:
Lexington,
Kentucky,
USA
John P. Gallagher, Michael Gelfond (Eds.):
Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA.
LIPIcs 11 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011, ISBN 978-3-939897-31-6 
The regular papers of this conference are published in Theory and Practice of Logic Programming,
Volume 11 (4-5)
- John P. Gallagher, Michael Gelfond:
Frontmatter, Table of Contents, Preface, Conference Organization.
- Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub:
Multi-Criteria Optimization in Answer Set Programming.
1-10
- Alexander Bochman, Vladimir Lifschitz:
Yet Another Characterization of Strong Equivalence.
11-15
- Max Ostrowski, Giorgos Flouris, Torsten Schaub, Grigoris Antoniou:
Evolution of Ontologies using ASP.
16-27
- Christian Drescher, Toby Walsh:
Modelling Grammar Constraints with Answer Set Programming.
28-39
- Alex Brik, Jeffrey B. Remmel:
Hybrid ASP.
40-50
- Michael Casolary, Joohyung Lee:
Representing the Language of the Causal Calculator in Answer Set Programming.
51-61
- Zsolt Zombori, János Csorba, Péter Szeredi:
Static Type Checking for the Q Functional Language in Prolog.
62-72
- Ethan K. Jackson, Nikolaj Bjørner, Wolfram Schulte:
Canonical Regular Types.
73-83
- Michael Eichberg:
Compiling Prolog to Idiomatic Java.
84-94
- Ángel Herranz-Nieva, Julio Mariño:
Synthesis of Logic Programs from Object-Oriented Formal Specifications.
95-105
- Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
An Inductive Approach for Modal Transition System Refinement.
106-116
- Leslie De Koninck, Sebastian Brand, Peter J. Stuckey:
Constraints in Non-Boolean Contexts.
117-127
- Peter Wang, Zoltan Somogyi:
Minimizing the overheads of dependent {AND}-parallelism.
128-138
- Lukas Bulwahn:
Smart test data generators via logic programming.
139-150
- Stefan Brass:
Declarative Output by Ordering Text Pieces.
151-161
- Paul Fodor, Michael Kifer:
Transaction Logic with Defaults and Argumentation Theories.
162-174
- Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu:
Multi-agent Confidential Abductive Reasoning.
175-186
- Agostino Dovier, Andrea Formisano, Enrico Pontelli:
BAAC: A Prolog System for Action Description and Agents Coordination.
187-197
- Michael Hanus:
Declarative Processing of Semistructured Web Data.
198-208
- Brandon Chisham, Enrico Pontelli, Tran Cao Son, Ben Wright:
CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services.
209-219
- Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit:
Bayesian Annotation Networks for Complex Sequence Analysis.
220-230
- Colin J. Nicholson, Danny De Schreye, Jon Sneyers:
Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise.
231-239
- Cristian Molinaro, Amy Sliva, V. S. Subrahmanian:
Abduction in Annotated Probabilistic Temporal Logic.
240-250
- Paul Bone:
Automatic Parallelism in Mercury.
251-254
- Marco Bottalico:
Consistency Techniques for Hybrid Simulations.
255-260
- Alex Brik:
Extensions of Answer Set Programming.
261-267
- Paola Campli:
A Semiring-based framework for fair resources allocation.
268-273
- Thomas Krennwallner:
Promoting Modular Nonmonotonic Logic Programs.
274-279
- Jael Kriener:
Correct Reasoning about Logic Programs.
280-283
- Alexander Simko:
Accepting the natural order of rules in a logic program with preferences.
284-289
- Walter W. Wilson:
Implementation of Axiomatic Language.
290-295
- Zsolt Zombori:
Two Phase Description Logic Reasoning for Efficient Information Retrieval.
296-300
Last update Fri May 25 08:19:41 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
