Abstract is missing.
- Frontmatter, Table of Contents, Preface, Conference OrganizationJohn P. Gallagher, Michael Gelfond. [doi]
- Multi-Criteria Optimization in Answer Set ProgrammingMartin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub. 1-10 [doi]
- Yet Another Characterization of Strong EquivalenceAlexander Bochman, Vladimir Lifschitz. 11-15 [doi]
- Evolution of Ontologies using ASPMax Ostrowski, Giorgos Flouris, Torsten Schaub, Grigoris Antoniou. 16-27 [doi]
- Modelling Grammar Constraints with Answer Set ProgrammingChristian Drescher, Toby Walsh. 28-39 [doi]
- Hybrid ASPAlex Brik, Jeffrey B. Remmel. 40-50 [doi]
- Representing the Language of the Causal Calculator in Answer Set ProgrammingMichael Casolary, Joohyung Lee. 51-61 [doi]
- Static Type Checking for the Q Functional Language in PrologZsolt Zombori, János Csorba, Péter Szeredi. 62-72 [doi]
- Canonical Regular TypesEthan K. Jackson, Nikolaj Bjørner, Wolfram Schulte. 73-83 [doi]
- Compiling Prolog to Idiomatic JavaMichael Eichberg. 84-94 [doi]
- Synthesis of Logic Programs from Object-Oriented Formal SpecificationsÁngel Herranz-Nieva, Julio Mariño. 95-105 [doi]
- An Inductive Approach for Modal Transition System RefinementDalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel. 106-116 [doi]
- Constraints in Non-Boolean ContextsLeslie De Koninck, Sebastian Brand, Peter J. Stuckey. 117-127 [doi]
- Minimizing the overheads of dependent {AND}-parallelismPeter Wang, Zoltan Somogyi. 128-138 [doi]
- Smart test data generators via logic programmingLukas Bulwahn. 139-150 [doi]
- Declarative Output by Ordering Text PiecesStefan Brass. 151-161 [doi]
- Transaction Logic with Defaults and Argumentation TheoriesPaul Fodor, Michael Kifer. 162-174 [doi]
- Multi-agent Confidential Abductive ReasoningJiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu. 175-186 [doi]
- BAAC: A Prolog System for Action Description and Agents CoordinationAgostino Dovier, Andrea Formisano, Enrico Pontelli. 187-197 [doi]
- Declarative Processing of Semistructured Web DataMichael Hanus. 198-208 [doi]
- CDAOStore: A Phylogenetic Repository Using Logic Programming and Web ServicesBrandon Chisham, Enrico Pontelli, Tran Cao Son, Ben Wright. 209-219 [doi]
- Bayesian Annotation Networks for Complex Sequence AnalysisHenning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit. 220-230 [doi]
- Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin NoiseColin J. Nicholson, Danny De Schreye, Jon Sneyers. 231-239 [doi]
- Abduction in Annotated Probabilistic Temporal LogicCristian Molinaro, Amy Sliva, V. S. Subrahmanian. 240-250 [doi]
- Automatic Parallelism in MercuryPaul Bone. 251-254 [doi]
- Consistency Techniques for Hybrid SimulationsMarco Bottalico. 255-260 [doi]
- Extensions of Answer Set ProgrammingAlex Brik. 261-267 [doi]
- A Semiring-based framework for fair resources allocationPaola Campli. 268-273 [doi]
- Promoting Modular Nonmonotonic Logic ProgramsThomas Krennwallner. 274-279 [doi]
- Correct Reasoning about Logic ProgramsJael Kriener. 280-283 [doi]
- Accepting the natural order of rules in a logic program with preferencesAlexander Simko. 284-289 [doi]
- Implementation of Axiomatic LanguageWalter W. Wilson. 290-295 [doi]
- Two Phase Description Logic Reasoning for Efficient Information RetrievalZsolt Zombori. 296-300 [doi]