Accepted Papers

Main Track

Regular Papers

• "Modelling Multi-Agent Epistemic Planning in ASP" - Alessandro Burigana, Francesco Fabiano, Agostino Dovier and Enrico Pontelli
• "Modular Constraint Solver Cooperation via Abstract Interpretation" - Pierre Talbot, Eric Monfroy and Charlotte Truchet
• "Towards Metric Temporal Answer Set Programming" - Pedro Cabalar, Martín Diéguez, Torsten Schaub and Anna Schuhmann
• "A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming" - George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano and Emmanuel Papadakis
• "Verifying Tight Logic Programs with anthem and Vampire" - Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne and Torsten Schaub
• "MAP Inference for Probabilistic Logic Programming" - Elena Bellodi, Marco Alberti, Fabrizio Riguzzi and Riccardo Zese
• "Incremental maintenance of overgrounded logic programs with tailored simplifications" - Giovambattista Ianni, Francesco Pacenza and Jessica Zangari
• "Flexible coinductive logic programming" - Francesco Dagnino, Davide Ancona and Elena Zucca
• "Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints" - Richard Taupe, Antonius Weinzierl and Gerhard Friedrich
• "ASP(AC): Answer Set Programming with Algebraic Constraints" - Thomas Eiter and Rafael Kiesel
• "Advancing Lazy-Grounding ASP Solving Techniques -- Restarts, Phase Saving, Heuristics, and More" - Antonius Weinzierl, Richard Taupe and Gerhard Friedrich
• "Modular Answer Set Programming as a Formal Specification Language" - Pedro Cabalar, Jorge Fandinno and Yuliya Lierler
• "Managing caching strategies for stream reasoning with reinforcement learning" - Carmine Dodaro, Thomas Eiter, Paul Ogris and Konstantin Schekotihin
• "On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach" - Gianvincenzo Alfano, Sergio Greco, Francesco Parisi and Irina Trubitsyna
• "eclingo: a Solver for Epistemic Logic Programs" - Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero and Torsten Schaub
• "An ASP approach for reasoning in a concept-aware multipreferential lightweight DL" - Laura Giordano and Daniele Theseider Dupre'
• "Exploiting Game Theory for Analysing Justifications" - Simon Marynissen, Bart Bogaerts and Marc Denecker
• "A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification" - Roberta Costabile, Gelsomina Catalano, Bernardo Cuteri, Maria Concetta Morelli, Nicola Leone and Marco Manna
• "Concolic Testing in CLP" - Fred Mesnard, Etienne Payet and German Vidal
• "White-box Induction From SVM Models" - Farhad Shakerin and Gopal Gupta

Technical Communications

• "A Hybrid Neuro-Symbolic Approach for Complex Event Processing (Extended Abstract)" - Marc Roig Vilamala, Harrison Taylor, Tianwei Xing, Luis Garcia, Mani Srivastava, Lance Kaplan, Alun Preece, Angelika Kimming and Federico Cerutti
• "A Logic Programming Approach to Regression Based Repair of Incorrect Intial Belief States (Extended Abstract)" - Loc Pham, Enrico Pontelli, Fabio Tardivo and Tran Cao Son
• "Datalog-based systems can use incremental SMT Solving (Extended Abstract)" - Aaron Bembenek, Michael Ballantyne, Michael Greenberg and Nada Amin
• "Data validation for Answer Set Programming (Extended Abstract)" - Mario Alviano and Carmine Dodaro
• "Recursive Rules with Aggregation: A Simple Unified Semantics (Extended Abstract)" - Yanhong Annie Liu and Scott D. Stoller
• "Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach" - Esra Erdem and Andreas Herzig
• "LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories" - Wolf De Wulf and Bart Bogaerts
• "Cardinality-Based Semantics and Scalability for Datalog with Aggregates (Extended Abstract)" - Carlo Zaniolo, Ariyam Das, Youfu Li, Mingda Li and Jin Wang
• "Tabling Optimization for Contextual Abduction" - Ridhwan Dewoprabowo and Ari Saptawijaya
• "Automated Aggregator - Rewriting with the Counting Aggregate" - Michael Dingess and Mirek Truszczynski
• "Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation" - Tuan Nguyen, Katsumi Inoue and Chiaki Sakama
• "Splitting a Hybrid ASP Program" - Alex Brik
• "Continuous Reasoning for Managing Next-Gen Distributed Applications" - Stefano Forti and Antonio Brogi
• "Justifications for Goal-Directed Constraint Answer Set Programming" - Joaquin Arias, Manuel Carro, Zhuo Chen and Gopal Gupta
• "Deriving Theorems in Implicational Linear Logic, Declaratively" - Paul Tarau and Valeria de Paiva
• "Burden of Persuation in Argumentation" - Roberta Calegari and Giovanni Sartor
• "A System for Explainable Answer Set Programming" - Pedro Cabalar, Brais Muñiz Castro and Jorge Fandinno
• "SQuARE: Semantics-based Question Answering and Reasoning Engine" - Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin and Gopal Gupta
• "Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics" - Tobias Geibinger and Hans Tompits
• "Variant-based Equational Unification under Constructor Symbols" - Damian Aparicio, Santiago Escobar and Julia Sapiña

Applications Track

Regular Papers

• "Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming" - Yusuf Izmirlioglu and Esra Erdem
• "A General Framework for Stable Roommates Problems using Answer Set Programming" - Esra Erdem, Müge Fidan, David Manlove and Patrick Prosser
• "An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario" - Botros N. Hanna, Ly Ly Thi Trieu, Tran Cao Son and Nam T. Dinh

Technical Communications

• "Dynamic Multi-Agent Path Finding based on Conflict Resolution using Answer Set Programming" - Basem Atiq, Volkan Patoglu and Esra Erdem
• "Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns" - Yuri Gil Dantas, Antoaneta Kondeva and Vivek Nigam
• "Microservices in Answer Set Programming" - Stefania Costantini and Lorenzo De Lauretis

Women in Logic Programming

Regular Papers

• "The New Normal: We Cannot Eliminate the Cuts, but We Can Explore Them" - Ekaterina Komendantskaya, Henning Basold and Dmitri Rozplokhas
• "Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach" - Momina Rizwan, Volkan Patoglu and Esra Erdem
• "DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries" - Alessio Fiorentino, Jessica Zangari and Marco Manna
• "Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming" - Aysu Bogatarkan and Esra Erdem

Technical Communications

• "Modeling Bitcoin Lightning Network by Logic Programming (Extended Bastract)" - Damiano Azzolini, Elena Bellodi, Alessandro Brancaleoni, Fabrizio Riguzzi and Evelina Lamma
• "Logical Judges Challenge Human Judges on the Strange Case of B.C.Valjean" - Viviana Mascardi and Domenico Pellegrini
• "A Machine Learning guided Rewriting Approach for ASP Logic Programs" - Elena Mastria, Jessica Zangari, Simona Perri and Francesco Calimeri

Sister Conferences and Journal Presentation Track

Technical Communications

• "Report: Datalog with Recursive Aggregation for Incremental Program Analyses (Extended Abstract)" - Tamás Szabó, Gábor Bergmann, Sebastian Erdweg and Markus Voelter
• "Accountable Protocols in Abductive Logic Programming (Extended Abstract)" - Marco Gavanelli, Marco Alberti and Evelina Lamma
• "A Simple Extension of Answer Set Programs To Embrace Neural Networks (Extended Abstract)" - Zhun Yang, Adam Ishay and Joohyung Lee
• "Sampling-Based SAT/ASP Multi-Model Optimization as a Framework for Probabilistic Inference (Extended Abstract)" - Matthias Nickles
• "Knowledge of Uncertain Worlds: Programming with Logical Constraints (Extended Abstract)" - Yanhong Liu and Scott Stoller
• "Neural-Symbolic Argumentation Mining: An Argument in Favor of Deep Learning and Reasoning (Only presentation)" - Andrea Galassi, Kristian Kersting, Marco Lippi, Xiaoting Shao and Paolo Torroni

Research Challenges in Logic Programming Track

• "Proof, Implementation, and CAD-Application Challenges of Axiomatic Language (Only presentation)" - Walter Wilson
• "An ASP-Based Approach for Fake Reviews Detection (Only presentation)" - Nour Jnoub and Wolfgang Klas