Accepted Full Papers
- Martin Gebser, Roland Kaminski and Torsten Schaub. Complex Optimization in Answer Set Programming
- Max Ostrowski, Torsten Schaub, Markus Durzinsky, Wolfgang Marwan and Annegret Wagler. Automatic Network Reconstruction using ASP
- Sergio Antoy. On the Correctness of Pull-Tabbing
- Rémy Haemmerlé. (Co-)Inductive Semantics for Constraint Handling Rules
- Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe and Luc De Raedt. The Magic of Logical Inference in Probabilistic Programming
- Jael Kriener and Andy King. RedAlert: Determinacy Inference for Prolog
- Ricardo Rocha and Miguel Areias. On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs
- Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi and Marco Franchini. Optimal Placement of Valves in a Water Distribution Network with CLP(FD)
- Paul Bone, Zoltan Somogyi and Peter Schachte. Estimating the overlap between dependent computations for automatic parallelization
- Yuliya Lierler and Miroslaw Truszczynski. Transition Systems for Model Generators --- A Unifying Approach
- Flavio Cruz and Ricardo Rocha. Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs
- Michael Leuschel and Stefan Hallerstede. Constraint-Based Deadlock Checking of High-Level Specifications
- Conrad Drescher and Michael Thielscher. ALPprolog --- A New Logic Programming Method for Dynamic Domains
- Dean Voets and Daniel De Schreye. Non-termination Analysis of Logic Programs with integer arithmetics
- António Porto. A Structured Alternative to Prolog with Simple Compositional Semantics
- Fabrizio Riguzzi and Terrance Swift. The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty
- Domenico Corapi, Alessandra Russo, Marina De Vos, Julian Padget and Ken Satoh. Normative Design using Inductive Learning
- Marco Comini, Laura Titolo and Alicia Villanueva. Abstract Diagnosis of Timed Concurrent Constraint programs
- Pablo Chico De Guzmán, Amadeo Casas, Manuel Carro and Manuel Hermenegildo. Parallel Backtracking with Answer Memoing for Independent And-Parallelism
- Amir M. Ben-Amram, Michael Codish, Carsten Fuhs, Jürgen Giesl and Igor Gonopolskiy. SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
- Rémy Haemmerlé. Observational equivalences for Linear Logic CC languages
- Martin Slota, Joao Leite and Terrance Swift. Splitting and Updating Hybrid Knowledge Bases
- Joost Vennekens. Actual causation in CP-logic
Accepted Technical Communications (short presentations)
- Paul Fodor and Michael Kifer. Transaction Logic with Defaults and Argumentation Theories
- Martin Gebser, Roland Kaminski, Benjamin Kaufmann and Torsten Schaub. Multi-Criteria Optimization in ASP and its Application to Linux Package Configuration
- Brandon Chisham, Enrico Pontelli, Tran Cao Son and Ben Wright. CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services
- Henning Christiansen, Christian Theil Have, Ole Torp Lassen and Matthieu Petit. Bayesian Annotation Networks for Complex Sequence Analysis
- Alexander Bochman and Vladimir Lifschitz. Yet another characterization of strong equivalence
- Leslie De Koninck, Sebastian Brand and Peter Stuckey. Constraints in non-Boolean contexts
- Peter Wang and Zoltan Somogyi. Minimizing the overheads of dependent AND-parallelism
- Grigoris Antoniou, Giorgos Flouris, Max Ostrowski and Torsten Schaub. Evolution of Ontologies using ASP
- Zsolt Zombori, Peter Szeredi and Janos Csorba. Static Type Checking for the Q Functional Language in Prolog
- Jiefei Ma, Alessandra Russo, Krysia Broda and Emil Lupu. Multi-agent Hypothetical Reasoning with Confidentiality
- Dalal Alrajeh, Jeff Kramer, Alessandra Russo and Sebastian Uchitel. An Inductive Approach for Modal Transition System Refinement
- Michael Eichberg. Compiling Prolog to Idiomatic Java
- Agostino Dovier, Andrea Formisano and Enrico Pontelli. BAAC: A Prolog System for Action Description and Agents Coordination
- Michael Hanus. Declarative Processing of Semistructured Web Data
- Colin Nicholson and Daniel De Schreye. Improving compositions of the Apopcaleaps music generation system by using Perlin Noise
- Cristian Molinaro, Amy Sliva and V.S. Subrahmanian. Abduction in Annotated Probabilistic Temporal Logic
- Lukas Bulwahn. Smart test data generators via logic programming
- Christian Drescher and Toby Walsh. Modelling GRAMMAR Constraints with Answer Set Programming
- Stefan Brass. Declarative Output by Ordering Text Pieces
- Michael Casolary and Joohyung Lee. Representing the Language of the Causal Calculator in Answer Set Programming
- Alex Brik and Jeffrey Remmel. Hybrid ASP
- Ethan Jackson, Nikolaj Bjørner and Wolfram Schulte. Canonical Regular Types
- Ángel Herranz and Julio Mariño. Synthesis of Logic Programs from Object-Oriented Formal Specifications