LIPIcs, Volume 11, ICLP 2011

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