Accepted Papers
Bart Bogaerts, Maxime Jakubowski and Jan Van den Bussche
SHACL: A Description Logic in Disguise
Zachary Hansen and Yuliya Lierler
Semantics for Conditional Literals via the SM Operator
Dieter Vandesande, Wolf De Wulf and Bart Bogaerts
QMaxSATpb: A Certified MaxSAT Solver
Susana Hahn, Orkunt Sabuncu, Torsten Schaub and Tobias Stolzmann
clingraph: ASP-based Visualization
Davide Beretta, Stefania Monica and Federico Bergenti
A Comparative Study of Three Neural-Symbolic Approaches to Inductive Logic Programming
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez and Concepcion Vidal
Syntactic ASP Forgetting with Forks
Chiaki Sakama and Son Tran
Interlinking Logic Programs and Argumentation Frameworks
Jorge Fandinno, Zachary Hansen and Yuliya Lierler
Arguing Correctness of ASP Programs with Aggregates
Simon Vandevelde, Jeroen Jordens, Bart Van Doninck, Maarten Witters and Joost Vennekens
Knowledge-Based Support for Adhesive Selection
Ridhwan Dewoprabowo, Johannes K. Fichte, Piotr Jerzy Gorczyca and Markus Hecher
A Practical Account into Counting Dung's Extensions by Dynamic Programming
Mario Alviano, Sotiris Batsakis and George Baryannis
Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds
Andre Thevapalan, Konstantin Haupt and Gabriele Kern-Isberner
Towards Causality-Based Conflict Resolution in Answer Set Programs
Damiano Azzolini, Elena Bellodi and Fabrizio Riguzzi
Statistical Statements in Probabilistic Logic Programming
Antonino Rotolo, Guido Governatori, Matteo Cristani and Francesco Olivieri
From Defeasible Logic to Counterfactual Reasoning
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac and Johannes P. Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
Masood Feyzbakhsh Rankooh and Tomi Janhunen
Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination
Rafael Peñaloza and Francesco Ricca
Pinpointing Axioms in Ontologies via ASP
Johannes K. Fichte, Sarah Alice Gaggl, Markus Hecher and Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Mark Law, Theophile Sautory, Ludovico Mitchener, Kari Davies, Matthew Tonkin, Jessica Woodhams and Dalal Alrajeh
Learning to Rank the Distinctiveness of Behaviour in Serial Offending
Andreas Niskanen, Jere Mustonen, Jeremias Berg and Matti Järvisalo
Computing Smallest MUSes of Quantified Boolean Formulas
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti and Francesco Ricca
Enumeration of minimal models and MUSes in WASP
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali and Sergio Tessaris
Optimising Business Process Discovery using Answer Set Programming
Carmine Dodaro, Davide Ilardi, Luca Oneto and Francesco Ricca
Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring
Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves and Joao Leite
Towards Provenance in Heterogeneous Knowledge Bases
Liu Liu, Miroslaw Truszczynski and Yuliya Lierler
A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection
Elisa Böhl and Sarah Alice Gaggl
Tunas - Fishing for diverse Answer Sets: a Multi-Shot Trade up Strategy
Pierangela Bruno, Francesco Calimeri and Cinzia Marte
DeduDeep: an Extensible Framework for Combining Deep Learning and ASP-based Models
Stefano Bistarelli and Francesco Santini
A Definition of Sceptical Semantics in the Constellations Approach
Pedro Cabalar, Martín Diéguez, Torsten Schaub and Anna Schuhmann
Metric Temporal Answer Set Programming over Timed Traces
Yusuf Izmirlioglu, Loc Pham, Tran Cao Son and Enrico Pontelli
State Transition in Multi-agent Epistemic Domains using Answer Set Programming
Giovanni Amendola, Bernardo Cuteri, Francesco Ricca and Mirek Truszczynski
Solving Problems in the Polynomial Hierarchy with ASP(Q)
Stefania Costantini and Andrea Formisano
Epistemic Logic Programs: a study of some properties
Laura Giordano, Alberto Martelli and Daniele Theseider Dupre
Reasoning about actions with EL ontologies and temporal answer sets for DLTL
Akihiro Takemura and Katsumi Inoue
Gradient-Based Supported Model Computation in Vector Spaces
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonáš and Greg Kimberly
Analysis of Cyclic Fault Propagation via ASP
Benjamin Callewaert and Joost Vennekens
ASP for flexible payroll management
Ly Ly Trieu, Tran Cao Son and Marcello Balduccini
xASP: An Explanation Generation System for Answer Set Programming
Patrik Schneider and Thomas Eiter
A Qualitative Temporal Extension of Here-and-There Logic
Guido Governatori, Francesco Olivieri, Antonino Rotolo and Matteo Cristani
Inference to the Stable Explanations
Andreas Brännström and Juan Carlos Nieves
Emotional Reasoning in an Action Language for Emotion-Aware Planning