Abstract is missing.
- Methods for Solving Extremal Problems in PracticeMichael Frank. [doi]
- Inference in Probabilistic Logic Programs Using Lifted ExplanationsArun Nampally, C. R. Ramakrishnan. [doi]
- Testing of Concurrent ProgramsMiguel Isabel. [doi]
- Answer Set Solving with Generalized Learned ConstraintsMartin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero 0003, Torsten Schaub. [doi]
- Constraint Propagation and Explanation over Novel Types by Abstract CompilationGraeme Gange, Peter J. Stuckey. [doi]
- Front Matter, Table of Contents, Preface, List of Authors [doi]
- Grounded Fixpoints and Active Integrity ConstraintsLuís Cruz-Filipe. [doi]
- SMT-Based Constraint Answer Set Solver EZSMT (System Description)Benjamin Susman, Yuliya Lierler. [doi]
- Theory Solving Made Easy with Clingo 5Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko. [doi]
- The Functional Perspective on Advanced Logic ProgrammingAlexander Vandenbroucke. [doi]
- On the Expressiveness of Spatial Constraint SystemsMichell Guzmán, Frank D. Valencia. [doi]
- Automating Disease Management Using Answer Set ProgrammingZhuo Chen. [doi]
- Tabled CLP for Reasoning Over Stream DataJoaquín Arias. [doi]
- Controlled Natural Languages for Knowledge Representation and ReasoningTiantian Gao. [doi]
- P-rho-Log: Combining Logic Programming with Conditional Transformation SystemsBesik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer. [doi]
- Computing Diverse Optimal Stable ModelsJavier Romero 0003, Torsten Schaub, Philipp Wanko. [doi]
- Justifications and Blocking Sets in a Rule-Based Answer Set ComputationChristopher Béatrix, Claire Lefèvre, Laurent Garcia, Igor Stéphan. [doi]
- Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and ExperimentsChristopher Brenton, Wolfgang Faber, Sotiris Batsakis. [doi]
- Intelligent Instantiation and Supersafe RulesVladimir Lifschitz. [doi]
- Rewriting Optimization Statements in Answer-Set ProgramsJori Bomanson, Martin Gebser, Tomi Janhunen. [doi]
- An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by AgentsTran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini. [doi]
- Scalable Design Space Exploration via Answer Set ProgrammingPhilipp Wanko. [doi]
- Constraint CNF: SAT and CSP Language Under One RoofBroes de Cat, Yuliya Lierler. [doi]
- A Compositional Typed Higher-Order Logic with DefinitionsIngmar Dasseville, Matthias van der Hallen, Bart Bogaerts 0001, Gerda Janssens, Marc Denecker. [doi]