ICLP — PROGRAM

Days: Monday, 20 July 2026 Tuesday, 21 July 2026 Wednesday, 22 July 2026 Thursday, 23 July 2026

Monday, 20 July 2026
10:00-10:30 Coffee Break ICLP
Location: B2.04
10:30-11:00 Opening ICLP
Location: B2.04
11:00-12:30 Block 1 (3 TPLP) ICLP
Location: B2.04
11:00-11:30
2-ASP(Q) programs with weak constraints: Complexity and efficient implementation (abstract) 30 min
Andrea Cuteri1, Giuseppe Mazzotta1, Francesco Ricca1
1 University of Calabria
11:30-12:00
Parametric Modular Answer Set Programs Made Declarative (abstract) 30 min
Jorge Fandinno1, Yuliya Lierler1, Torsten Schaub2
1 University of Nebraska Omaha
2 University of Postdam
12:00-12:30
flingo - Instilling ASP Expressiveness into Linear Integer Constraints (abstract) 30 min
Jorge Fandinno1, Pedro Cabalar2, Torsten Schaub3, Philipp Wanko3
1 University of Nebraska Omaha
2 University of A Coruña
3 University of Potsdam
12:30-14:00 Lunch ICLP
Location: B2.04
14:00-15:30 Block 2 (6 TC) ICLP
Location: B2.04
14:00-14:15
Representative Sets in Propositional Abduction (abstract) 15 min
Mohamed Maizia1, Victor Lagerkvist2, Johannes Schmidt3, Johannes Fichte2
1 Linköping University, Jönköping University
2 Linköping University
3 Jönköping University
14:15-14:30
Explaining Weather Bulletins via ILP (abstract) 15 min
Enrico Santi1, Alessandro Dal Palù2, Agostino Dovier1, Talissa Dreossi1, Andrea Formisano1
1 University of Udine
2 University of Parma
14:30-14:45
Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems (abstract) 15 min
Akihiro Takemura1, Katsumi Inoue1
1 National Institute of Informatics
14:45-15:00
On the (Intuitionistic) Logic of Next-Token Prediction (abstract) 15 min
Paul Tarau1
1 University of North Texas
15:00-15:15
Case study: proving sqrt(2) irrational with LPTP and an LLM (abstract) 15 min
Fred Mesnard1, Etienne Payet1, Wim Vanhoof2
1 Université de La Réunion
2 Université de Namur
15:15-15:30
Identifying Good Rules for Efficient SAT Encodings of Single-Constant Multiplication Using Machine Learning (abstract) 15 min
Chufeng Jiang1, Neng-Fa Zhou1
1 City University of New York
15:30-16:00 Coffee Break ICLP
Location: B2.04
16:00-17:15 Block 3 (Best DC + 4 RPR) ICLP
Location: B2.04
16:00-16:15
Best DC contribution (abstract) 15 min
Alice Tarzariol1, Markus Hecher2
1 University of Klagenfurt
2 CRIL
16:15-16:30
New Encodings of the (Euclidean) Traveling Salesperson Problem in Constraint Answer Set Programming on Difference Logic (abstract) 15 min
Alessandro Bertagnon1, Marco Gavanelli1
1 University of Ferrara
16:30-16:45
Relational Programming in Rel (abstract) 15 min
Leonid Libkin1, Molham Aref2, Wim Martens3, Cristina Sirangelo4, Domagoj Vrgoc5, Filip Murlak6, David Zhao2, Abdul Zreika2, George Kastrinis2, Allison Rogers2, Nathaniel Nystrom, Paolo Guagliardo7, Victor Marsault8, Liat Peterfreund9, Mary McGrath2
1 RelationalAI and Univ of Edinburgh
2 RelationalAI
3 RelationalAI and U Bayreuth
4 U Paris Cite
5 PUC
6 U Warsaw
7 U Edinburgh
8 U Paris Est
9 Hebrew U
16:45-17:00
Contrast Sequential Pattern Mining with Answer Set Solving (abstract) 15 min
Gioacchino Sterlicchio1, Francesca Alessandra Lisi2
1 Polytechnic University of Bari
2 University of Bari Aldo Moro
17:00-17:15
ASP-Bench: From Natural Language to Logic Programs (abstract) 15 min
Stefan Szeider1
1 Technical University of Vienna
Tuesday, 21 July 2026
09:00-10:00 Invited Talk 1 ICLP
Location: B2.04
09:00-10:00
ASP in the Loop: From Structured Prompting to Agentic Logic Programming (abstract) 60 min
Mario Alviano1
1 University of Calabria, Italy
10:00-10:30 Coffee Break ICLP
Location: B2.04
10:30-12:30 Block 4 (4 TPLP) ICLP
Location: B2.04
10:30-11:00
Answer-Set-Programming-based Abstractions for Reinforcement Learning (abstract) 30 min
Rafael Bankosegger1, Thomas Eiter2, Johannes Oetsch3
1 Siemens AG Österreich, Vienna, Austria
2 TU Wien, Austria
3 Jönköping University, Sweden
11:00-11:30
Logic-Guided Data Extraction with Answer Set Programming and Large Language Models (abstract) 30 min
Mario Alviano1, Lorenzo Grillo1, Nicola Leone1, Fabrizio Lo Scudo1
1 University of Calabria
11:30-12:00
Accelerating NeurASP with vectorization and caching (abstract) 30 min
Alexander Philipp Rader1, Alessandra Russo2
1 Imperial College London
2 Imperial College, London
12:00-12:30
From Reasoning to Code: GRPO Optimization for Underrepresented Languages (abstract) 30 min
Federico Pennino1, Bianca Raimondi1, Massimo Rondelli1, Andrea Gurioli1, Maurizio Gabbrielli1
1 Università di Bologna
12:30-14:00 Lunch ICLP
Location: B2.04
14:00-14:30 20 Years Test of Time Award ICLP
Location: B2.04
14:30-15:30 Block 5 (2 TPLP) ICLP
Location: B2.04
14:30-15:00
Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs (abstract) 30 min
Angelos Charalambidis1, Giannos Chatziagapis2, Babis Kostopoulos1, Panos Rondogiannis2
1 Harokopio University of Athens
2 National and Kapodistrian University of Athens
15:00-15:30
Event Calculus Meets Hybrid ASP (abstract) 30 min
Ondřej Vašíček1, Joaquín Arias2, Javier Romero Davíla3, Jan Fiedor4, Gopal Gupta5, Bohuslav Křena1, Jakub Němec6, Tomáš Vojnar7
1 Brno University of Technology
2 Universidad Rey Juan Carlos
3 University of Potsdam
4 Brno University of Technology and Honeywell International s.r.o.
5 University of Texas at Dallas
6 Masaryk University
7 Masaryk University and Brno University of Technology
15:30-16:00 Coffee Break ICLP
Location: B2.04
16:00-18:00 Block 6 (8 TC) ICLP
Location: B2.04
16:00-16:15
GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language (abstract) 15 min
Ehud Shapiro1
1 London School of Economics
16:15-16:30
Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB (abstract) 15 min
Katharina Engels1, Jan Gruteser1, Michael Leuschel1
1 University of Düsseldorf
16:30-16:45
Animation, Verification and Visualisation of Prolog Transition Systems with ProB (abstract) 15 min
Jan Gruteser1, Michael Leuschel1, Katharina Engels1, Fabian Vu1
1 University of Düsseldorf
16:45-17:00
What Bugs Do Prolog Students Write? An Empirical Taxonomy and Data-Driven Mutation Framework (abstract) 15 min
Ricardo Brancas1,4, Pedro Orvalho2, Carolina Carreira3,1,4, Vasco Manquinho1,4, Ruben Martins3
1 INESC-ID
2 Artificial Intelligence Research Institute, Consejo Superior de Investigaciones Científicas
3 Carnegie Mellon University
4 Instituto Superior Técnico
17:00-17:15
Can Automated Feedback Turn Students into Happy Prologians? (abstract) 15 min
Ricardo Brancas1,4, Pedro Orvalho2, Carolina Carreira3,1,4, Vasco Manquinho1,4, rubenm@andrew.cmu.edu
1 INESC-ID
2 Artificial Intelligence Research Institute, Consejo Superior de Investigaciones Científicas
3 Carnegie Mellon University
4 Instituto Superior Técnico
17:15-17:30
chess db: A framework for working with large chess game datasets (abstract) 15 min
Nicos Angelopoulos1, Jan Wielemaker2
1 Imperial College London
2 SWI-Prolog Solutions
17:30-17:45
Case study: solving P-99 with LPTP and an LLM (abstract) 15 min
Fred Mesnard1, Thierry Marianne1, Etienne Payet1, Wim Vanhoof2
1 Université de La Réunion
2 Université de Namur
17:45-18:00
Towards Relating Ciao Assertions and LPTP Theorems (abstract) 15 min
Marco Pérez1, Pedro López-García2, Jose F. Morales1, Manuel V. Hermenegildo1, Fred Mesnard3
1 UPM, IMDEA
2 CSIC, IMDEA
3 Université de La Réunion
Wednesday, 22 July 2026
10:00-10:30 Coffee Break ICLP
Location: B2.04
10:30-12:30 Block 7 (4 TPLP) ICLP
Location: B2.04
10:30-11:00
Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics (abstract) 30 min
Martin Diéguez1, Susana Hahn2, Torsten Schaub2, Igor Stéphan1
1 University of Angers
2 University of Potsdam
11:00-11:30
Meta Programming for Linear-time Temporal Answer Set Programming (abstract) 30 min
Susana Hahn1, Amade Nemes1, Javier Romero1, Torsten Schaub1
1 University of Potsdam
11:30-12:00
Long-term Power Grid Planning via Answer Set Programming (abstract) 30 min
Antonio Ielo1, Francesco Doria1, Sandra Castellanos-Paez2, Marco Maratea1, Francesco Percassi2, Mauro Vallati2
1 University of Calabria
2 University of Huddersfield
12:00-12:30
From Time to Space: The Impact of Linearity in Higher-Order Datalog (abstract) 30 min
Angelos Charalambidis1, Babis Kostopoulos1, Panos Rondogiannis2
1 Harokopio University of Athens
2 National and Kapodistrian University of Athens
12:30-14:00 Lunch ICLP
Location: B2.04
14:00-14:30 10 Years Test of Time Award ICLP
Location: B2.04
14:30-15:30 Block 8 (2 TPLP) ICLP
Location: B2.04
14:30-15:00
Experimental evaluation of optimal abstract operators for sharing and linearity analysis (abstract) 30 min
Gianluca Amato1, Francesca Scozzari1
1 University of Chieti-Pescara
15:00-15:30
Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks (abstract) 30 min
Daniel Jurjo-Rivas1, Daniela Ferreiro1, Marco Ciccalè1, Jose F. Morales1, Pedro López-García2, Manuel Hermenegildo1
1 Instituto IMDEA Software & UPM
2 Instituto IMDEA Software & CSIC
15:30-16:00 Coffee Break ICLP
Location: B2.04
16:00-18:00 Block 9 (8 TC) ICLP
Location: B2.04
16:00-16:15
Streamliners for Answer Set Programming (abstract) 15 min
Florentina Voboril1, Martin Gebser2, Stefan Szeider1, Alice Tarzariol2
1 Technical University of Vienna
2 University of Klagenfurt
16:15-16:30
Declarative Problem Solving in UAM Strategic Deconfliction (abstract) 15 min
Gioacchino Sterlicchio1, Angelo Oddi2, Riccardo rasconi2, Francesca Alessandra Lisi3
1 Polytechnic University of Bari
2 Institute of Cognitive Sciences and Technologies, National Research Council
3 University of Bari "Aldo Moro"
16:30-16:45
ASPIC: Proof-of-Concept ASP to Picat Transpiler (abstract) 15 min
Cristian Grozea1, Marius Popescu2
1 Fraunhofer
2 University of Bucharest
16:45-17:00
EZASP - Facilitating the usage of ASP (abstract) 15 min
Rafael Martins1, Matthias Knorr2, Ricardo Gonçalves3
1 Universidade Nova de Lisboa - Faculdade de Ciências e Tecnologia
2 NOVA FCT Lisbon
3 NOVA University Lisbon
17:00-17:15
Walk-In Multi-Stage Patient Flow Scheduling: An ASP Model with DES-Based Evaluation (abstract) 15 min
Ngoc-Mai Pham1, Trang-Linh Nguyen1, Thi-Hai-Yen Vuong1, Ha-Thanh Nguyen2, Van-Giang Trinh3
1 Knowledge Technology Laboratory, Faculty of Information Technology, VNU University of Engineering and Technology, Hanoi, Vietnam
2 National Institute of Informatics, Tokyo, Japan
3 Faculty of Computer Science and Engineering, Ho Chi Minh City University of Technology (HCMUT), VNU-HCM, Ho Chi Minh City, Vietnam
17:15-17:30
Towards a Certifying Grounder (abstract) 15 min
Daimy Van Caudenberg1, Alexander Ek1, Carlos Cantero1, Bart Bogaerts1
1 KU Leuven
17:30-17:45
Modeling Deontic Modal Logic in ASP (abstract) 15 min
Gopal Gupta1, Alexis Tudor1, Joaquín Arias2, Elmer Salazar1, Abhiramon.Rajasekharan@UTDallas.edu
1 University of Texas at Dallas
2 Universidad Rey Juan Carlos
17:45-18:00
An Approach to the Abstract Interpretation of Goal-Directed Answer Set Programming (abstract) 15 min
Daniel Jurjo-Rivas1, Joaquín Arias2, Gopal Gupta3, Jose F. Morales1, Pedro López-García4, Manuel V. Hermenegildo1
1 Instituto IMDEA Software & UPM
2 Universidad Rey Juan Carlos
3 University of Texas at Dallas
4 Instituto IMDEA Software & CSIC
Thursday, 23 July 2026
09:00-10:00 Invited Talk 2 ICLP
Location: B2.04
09:00-10:00
From CLP(R) to MiniZinc: There and Back Again (abstract) 60 min
Peter Stuckey1
1 Monash University, Australia
10:00-10:30 Coffee Break ICLP
Location: B2.04
10:30-12:30 Block 10 (4 TPLP) ICLP
Location: B2.04
10:30-11:00
ProDebug: An Automated Debugging System for Prolog (abstract) 30 min
Ricardo Brancas1,5, Vasco Manquinho3,4, Ruben Martins2
1 INESC-ID
2 Carnegie Mellon University, USA
3 NESC-ID
4 Instituto Superior Técnico, Universidade de Lisboa, Portugal
5 Instituto Superior Técnico
11:00-11:30
Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference (abstract) 30 min
Annie Liu1, John Idogun1, Scott D. Stoller1, Yi Tong1
1 Stony Brook University
11:30-12:00
Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica (abstract) 30 min
Evgeny Skvortsov1, Yilin Xia2, Shawn Bowers3, Ojaswa Garg1, Bertram Lud\"{a}scher2
1 Google
2 University of Illinois Urbana-Champaign
3 Gonzaga University
12:00-12:30
A Datalog Framework for Conflict-Free Replicated Data Types (abstract) 30 min
Elena Yanakieva1, Annette Bieniusa1, Stefania Dumbrava2
1 RPTU University Kaiserslautern-Landau
2 ENSIIE, INRIA Paris, SAMOVAR (Télécom SudParis)
12:30-14:00 Lunch ICLP
Location: B2.04
14:00-15:30 Block 11 (6 TC) ICLP
Location: B2.04
14:00-14:15
Bound-Founded Semantics for Answer Set Programming with Difference Constraints (abstract) 15 min
Pedro Cabalar1, Jorge Fandinno2, Nicolas Ruehling3, Torsten Schaub3, Sebastian Schellhorn3, Philipp Wanko3
1 University of A Coruña
2 University of Nebraska Omaha
3 University of Potsdam
14:15-14:30
hMKNGneg: Hybrid MKNF with Classical Negation (abstract) 15 min
Arun Raveendran Nair Sheela1, Christophe REY2, DE GRANCEY Florence3
1 Université Clermont Auvergne, LIMOS, Thales
2 Université Clermont Auvergne, LIMOS, CNRS, France
3 Thales
14:30-14:45
A New Well-Supported Semantics for Description Logic Programs (abstract) 15 min
Spencer Killen1, Jia-Huai You1
1 University of Alberta
14:45-15:00
chrKanren: Constraint Handling Rules in a Relational Language (abstract) 15 min
Rafaello Sanna1, William E. Byrd2, Nada Amin1
1 Harvard University
2 University of Alabama at Birmingham
15:00-15:15
Delayed Constraints in Narrowing for the Logic-Based Analyses of Real-Time Systems (abstract) 15 min
Santiago Escobar1, Raúl López-Rueda1, Carlos Olarte2
1 Universitat Politècnica de València
2 Université Sorbonne Paris Nord
15:15-15:30
CaVE: A Constraint Storage Approach to Handling Integrity Constraints (abstract) 15 min
Xiangyu Guo1, Ajay Bansal1
1 Arizona State University
15:30-16:00 Coffee Break ICLP
Location: B2.04
16:00-17:45 Block 12 (1 RPR + 6 TC) ICLP
Location: B2.04
16:00-16:15
Learning from Answer Sets via Single-Shot Disjunctive ASP Encoding (abstract) 15 min
Roberto Borelli1, Agostino Dovier2
1 University of Padova
2 University of Udine
16:15-16:30
A ProbLog program to infer individual genotypes from familial phenotypes in autosomal, X-linked, and Y-linked Mendelian disorders (abstract) 15 min
Maxime Mahout1
1 Inria Saclay, EPI Lifeware, 91120, Palaiseau, France
16:30-16:45
How Rules Represent Causal Knowledge: Causal Modeling with Probabilistic Logic Programming (abstract) 15 min
Kilian Rückschloß1, Felix Weitkämper2
1 Universität Tübingen
2 German University of Digital Science
16:45-17:00
Logic programming semantics for causal processes (abstract) 15 min
Felix Weitkämper1
1 German University of Digital Science
17:00-17:15
A Counterfactual Cause in Situation Calculus (abstract) 15 min
Daxin Liu1, Vaishak Belle2
1 Nanjing University
2 The University of Edinburgh
17:15-17:30
Explainability Framework for Policy-Aware Autonomous Agents (abstract) 15 min
Heather Merhout1, Daniela Inclezan1
1 Miami University
17:30-17:45
Explainable Belief Harmonization under Dynamic Epistemic Partitions (abstract) 15 min
Adam Kostka1, Jarosław A. Chudziak1
1 Warsaw University of Technology
17:30-17:45 Closing ICLP
Location: B2.04
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑