Accepted Papers
The TPLP papers of ICLP 2022 are online and available here.
The EPTCS volume with the Technical Communications and the Doctoral Consortium papers of ICLP 2022 is online and available here.
Simon Marynissen and Bart Bogaerts
Tree-Like Justification Systems are Consistent
Paul Tarau
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
Marco Alberti, Riccardo Zese, Fabrizio Riguzzi and Evelina Lamma
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
Simon Marynissen, Bart Bogaerts, Marc Denecker and Jesse Heyninck
Nested Justification Systems
Periklis Mantenoglou, Manolis Pitsikalis and Alexander Artikis
Stream Reasoning with Deadlines
Mohammed El-Kholany, Martin Gebser and Konstantin Schekotihin
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
Rafael Kiesel, Pietro Totis and Angelika Kimmig
Efficient Knowledge Compilation Beyond Weighted Model Counting
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin and Mark Law
Efficient lifting of symmetry breaking constraints for complex combinatorial problems
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
Linde Vanbesien, Maurice Bruynooghe and Marc Denecker
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
Angelos Charalambidis, Christos Nomikos and Panos Rondogiannis
Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective
Laura Giordano and Daniele Theseider Dupré
An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases
Michael Hanus
From Logic to Functional Logic Programs
Georg Gottlob, Matthias Lanzinger and Stefano Sferrazza
MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations
Giovanni Amendola, Bernardo Cuteri, Francesco Ricca and Mirek Truszczynski
Solving Problems in PH with ASP(Q)
Joachim Niehren, Rustam Azimov and Sylvain Salvati
Jumping Evaluation of Nested Regular Path Queries
Huaduo Wang and Gopal Gupta
FOLD-RM: A Scalable and Efficient Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
Spencer Killen and Jia-Huai You
A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases
Vladimir Lifschitz
Strong Equivalence of Logic Programs with Counting
Zach Hansen, Hanxiang Du, Rory Eckel, Justin Lugo, Wanli Xing and Yuanlin Zhang
A Preliminary Data-driven Analysis of Common Errors Encountered by Novice Answer Set Programmers
Ho Tuan Dung and Tran Cao Son
On Model Reconciliation: How to Reconcile When Robot Does not Know Human’s Model?
Paul Tarau
A Gaze into the Internal Logic of Graph Neural Networks, with Logic
David Geleßus and Michael Leuschel
Making ProB compatible with SICStus and SWI-Prolog
Thomas Eiter, Nelson Higuera, Johannes Oetsch and Michael Pritz
A Neuro-Symbolic ASP Pipeline for Visual Question Answering
Joaquin Arias, Seppo Törmá, Manuel Carro and Gopal Gupta
Building Information Modeling using Constraint Logic Programming
Yuheng Wang, Giorgian Borca-Tasciuc, Nikhil Goel, Paul Fodor and Michael Kifer
Knowledge Authoring with Factual English
Joaquin Arias, Manuel Carro, Zhuo Chen and Gopal Gupta
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Extended Abstract)
Michele Fraccaroli, Evelina Lamma and Fabrizio Riguzzi
Exploiting Parameters Learning for Hyper-parameters Optimization in Deep Neural Networks
Markus Hecher
Treewidth-aware Reductions of Normal ASP to SAT– Is Normal ASP Harder than SAT after All?
Mohimenul Kabir, Flavio Everardo, Ankit Shukla, Johannes K. Fichte, Markus Hecher and Kuldeep S. Meel
ApproxASP – A Scalable Approximate Answer Set Counter
Damiano Azzolini, Elena Bellodi, Stefano Ferilli, Fabrizio Riguzzi and Riccardo Zese
Abduction in Probabilistic Logic Programs
Vladimir Lifschitz
Transforming Gringo Rules into Formulas in a Natural Way
Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang and Hai Wan
Efficient Datalog Rewriting for Query Answering in TGD Ontologies
Rocio Gomez, Heather Riley and Mohan Sridharan
What do you really want to do? Towards a Theory of Intentions for Human-Robot Collaboration
Kristian Reale, Francesco Calimeri, Nicola Leone, Simona Perri and Francesco Ricca
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning
Pierre Tassel and Mohamed Rbaia
A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem
Nicolas Schwind, Sebastien Konieczny and Ramon Pino Perez
On Paraconsistent Belief Revision: the Case of Priest’s Logic of Paradox
Tran Cao Son, Van Nguyen, Stylianos Loukas Vasileiou and William Yeoh
Model Reconciliation in Logic Programs
Fang Li, Elmer Salazar and Gopal Gupta
Graph-based Interpretation of Normal Logic Programs
Francesco Chiariello, Fabrizio Maria Maggi and Fabio Patrizi
ASP-Based Declarative Process Mining
Tomi Janhunen
Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo
Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr and João Leite
Tractable Reasoning using Logic Programs with Intensional Concepts
Wolfgang Faber, Michael Morak and Lukáš Chrpa
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers
Joaquin Arias, Manuel Carro and Gopal Gupta
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming
Giulia Francescutto, Konstantin Schekotihin and Mohammed M. S. El-Kholany
Solving a Multi-resource Partial-ordering Flexible Variant of the Job-shop Scheduling Problem with Hybrid ASP
Johannes Klaus Fichte, Sarah Alice Gaggl and Dominik Rusovac
Rushing and Strolling among Answer Sets – Navigation Made Easy
Thomas Winters, Giuseppe Marra, Robin Manhaeve and Luc De Raedt
DeepStochLog: Neural Stochastic Logic Programming
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch and Daria Stepanova
Large-Neighbourhood Search for ASP Optimisation
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr and João Leite
On Syntactic Forgetting under Uniform Equivalence
Victor Verreet, Vincent Derkinderen, Pedro Zuidberg Dos Martires and Luc De Raedt