The 36th International Conference on Logic Programming
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