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