María Alpuente, Demis Ballis, Francisco Frechina and Julia Sapiña.
Assertion-based Analysis via Slicing with ABETS (System Description).
Mario Alviano and Carmine Dodaro.
Anytime answer set optimization via unsatisfiable core shrinking.
Bart Bogaerts, Tomi Janhunen and Shahab Tasharrofi.
Stable-Unstable Semantics: Beyond NP with Normal Logic Programs.
Manuel Bichler, Michael Morak and Stefan Woltran.
The Power of Non-Ground Rules in Answer Set Programming.
Stefania Costantini and Andrea Formisano.
Query Answering in Resource-Based Answer Set Semantics.
Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta and Lakshman Tamil.
A Physician Advisory System for Chronic Heart Failure Management Based on Knowledge Patterns.
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe and Marc Denecker.
On Local Domain Symmetry for Model Expansion.
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca and Kostyantyn Shchekotykhin.
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper).
Jorge Fandinno.
Deriving Conclusions From Non-Monotonic Cause-Effect Relations.
Pedro Cabalar and Jorge Fandinno.
Justifications for Programs with Disjunctive and Causal-choice Rules.
Michael Frank and Michael Codish.
Logic Programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description).
Isabel Garcia-Contreras, Jose F. Morales and Manuel V. Hermenegildo.
Semantic Code Browsing.
Laura Giordano and Daniele Theseider Duprè.
ASP for Minimal Entailment in a Rational Extension of SROEL.
Tiantian Gao, Paul Fodor and Michael Kifer.
Paraconsistency and Word Puzzles.
Amelia Harrison and Vladimir Lifschitz.
Stable Models for Infinitary Formulas with Extensional Atoms.
Amelia Harrison, Vladimir Lifschitz and Julian Michael.
Proving Infinitary Formulas.
Daniela Inclezan.
CoreALMlib: An ALM Library Translated from the Component Library.
Nikos Katzouris, Alexander Artikis and Georgios Paliouras.
Online Learning of Event Definitions.
Pedro Lopez-Garcia, Maximiliano Klemen, Umer Liqat and Manuel V. Hermenegildo.
A General Framework for Static Profiling of Parametric Resource Usage.
Amelia Harrison and Yuliya Lierler.
First-Order Modular Logic Programs and their Conservative Extensions.
Mark Law, Alessandra Russo and Krysia Broda.
Iterative Learning of Answer Set Programs with Context-Dependent Examples.
Christoph Redl.
The DLVHEX System for Knowledge Representation: Recent Advances (System Description).
João Santos and Ricardo Rocha.
On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores.
Amr Hany Saleh and Tom Schrijvers.
Efficient Algebraic Effect Handlers for Prolog.
K. Tuncay Tekle and Yanhong A. Liu.
Precise Complexity Guarantees for Pointer Analysis via Datalog with Extensions.
Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter and Tom Schrijvers.
Tabling with Sound Answer Subsumption.
Jan Wielemaker and Keri Harris.
Lock-free atom garbage collection for multi-threaded Prolog.
Accepted Technical Communications (published
in the OASIcs series)
Christopher Brenton, Wolfgang Faber and Sotiris Batsakis.
Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments.
Jori Bomanson, Martin Gebser and Tomi Janhunen.
Rewriting Optimization Statements in Answer-Set Programs.
Christopher Béatrix, Claire Lefèvre, Laurent Garcia and Igor Stéphan.
Justifications and Blocking Sets in a Rule-Based Answer Set Computation.
Luís Cruz-Filipe.
Grounded fixpoints and active integrity constraints.
Broes De Cat and Yuliya Lierler.
Constraint CNF: SAT and CSP Language Under One Roof.
Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens and Marc Denecker.
A Compositional Framework for Building Typed Higher-Order Logics.
Besik Dundua, Temur Kutsia and Klaus Reisenberger-Hagmayer.
PρLog: Combining Logic Programming with Conditional Transformation Systems (Tool Description).
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero and Torsten Schaub.
Answer Set Solving with Generalized Learned Constraints (System Description).
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub and Philipp Wanko.
Theory Solving made easy with Clingo 5 (System Description).
Graeme Gange and Peter J. Stuckey.
Constraint Propagation and Explanation over Novel Types by Abstract Compilation.
Vladimir Lifschitz.
Intelligent Instantiation and Supersafe Rules.
Arun Nampally and C. R. Ramakrishnan.
Inference in Probabilistic Logic Programs using Lifted Explanations.
Javier Romero, Torsten Schaub and Philipp Wanko.
Computing Diverse Optimal Stable Models (System Description).
Benjamin Susman and Yuliya Lierler.
SMT-based Constraint Answer Set Solver EZSMT (System Description).
Tran Son, Enrico Pontelli, Marcello Balduccini and Michael Gelfond.
An Answer Set Programming Framework for Reasoning about Truthfulness of Statements by Agents .
