08:30 - 10:30 ICLP Doctoral Consortium (Room MT10, info)

10:30 - 11:00 Coffee Break

11:00 - 12:00 ICLP Doctoral Consortium (Room MT10, info) 

12:00 - 13:00 Autumn School of Logic Programming (Room MT10, info)

Mario Alviano (University of Calabria):  Programming with Templates and LLMs: The ASP Chef Approach

13:00 - 14:00 Lunch Break

14:00 - 15:00 Autumn School of Logic Programming (Room MT10, info)

Pedro Cabalar (Universidade da Coruña, Spain): A tour around Here and There

15:00 - 16:30 ICLP Workshops: 

• RCRA (Room MT10, info)

• LPLR+CARLA (Room MT11, LPLR info, CARLA info)

16:30 - 17:00 Coffee Break

17:00 - 19:30 ICLP Workshops: 

• RCRA (Room MT10, info)

• LPLR+CARLA (Room MT11, LPLR info, CARLA info)

• PIP (Room MT12, info)

08:30 - 10:30 ICLP Doctoral Consortium (Room MT10, info) & ICLP Workshop PEG (Room MT13, info)

10:30 - 11:00 Coffee Break

11:00 - 12:00 ICLP Doctoral Consortium (Room MT10, info) & ICLP Workshop PEG (Room MT13, info)

12:00 - 13:00 Autumn School of Logic Programming (Room MT10, info)

Fred Mesnard (Universite de la Réunion, France): Interactive proofs for logic programs

13:00 - 14:00 Lunch Break

14:00 - 15:00 Autumn School of Logic Programming (Room MT10, info)

Włodek Drabent (Polish Academy of Science, Poland): It is declarative

15:00 - 16:30 ICLP Workshops: 

• AI^3 (Room MT10, info)

• ASPOCP (Room MT11, info) 

• PEG (Room MT13, info)

16:30 - 17:00 Coffee Break

17:00 - 19:30 ICLP Workshops: 

• AI^3 (Room MT10, info)

• ASPOCP (Room MT11, info)

• PLP (Room MT12, info) 

• PEG (Room MT13, info)

Social Event: Excursion on the seaside (details will be available soon)

09:00 - 10:00 ICLP Main Registration

10:00 - 10:30 Opening

10:30 - 11:00 Coffee Break

11:00 - 12:00 Invited Speaker : Vladimir Lifschitz - Reasoning about Programs and User Guides (info)
Session Chair: Pedro Cabalar

12:00 - 13:00 ICLP25 Awards: Best Paper & Best Student Paper
Session Chair: Martin Gebser

13:00 - 14:30 Lunch Break

14:30 - 16:30 Theory & Semantics (TPLP Papers)
Session Chair: Vladimir Lifschitz

• Felicidad Aguado, Pedro Cabalar, Brais Muñiz Castro, Gilberto Pérez and Concepcion Vidal.
  Comparing Non-minimal Semantics for Disjunction in Answer Set Programming
  
  

• Rachel Ben-Eliyahu-Zohary.
  Splitting a Disjunctive Logic Program
  
  

• Pedro Cabalar, Martín Diéguez, François Olivier, Torsten Schaub and Igor Stéphan.
  Towards Constraint Temporal Answer Set Programming
  
  

• Wlodek Drabent.
  Systematic construction of correct logic programs

16:30 - 17:00 Coffee Break

17:00 - 19:00 Applications (TPLP Papers)
Session Chair: Esra Erdem

• Damiano Azzolini, Marco Duca, Stefano Forti, Francesco Gallo and Antonio Ielo.
  Application Placement with Constraints Relaxation
  
  

• Lucia Balažová, Richard Comploi-Taupe, Susana Hahn, Nicolas Rühling and Gottfried Schenner.
  Smart Expansion Techniques for ASP-based Interactive Configuration
  
  

• Alessandro Bertagnon, Marcello Dalpasso, Michele Favalli and Marco Gavanelli.
  Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
  
  

• Alice Tarzariol, Marco Maratea and Mauro Vallati.
  A CASP-based Solution for Traffic Signal Optimisation
  
  

19:30 - 21:00 Welcome Reception (info)

09:00 - 10:30 Probabilistic LP, Uncertainty & Abduction (TC and RPR Papers)
Session Chair: Jesse Heyninck

• Michela Vespa, Elena Bellodi, Marco Gavanelli and Evelina Lamma.
  SCIFFprob: A Probabilistic Abductive Framework for Compliance Verification
  
  

• Sanderson Molick and Vaishak Belle.
  Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
  
  

• Md Mohimenul Kabir and Kuldeep S Meel.
  An ASP-Based Framework for MUSes
  
  

• Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca and Fabrizio Riguzzi.
  Most Probable Explanation in Probabilistic Answer Set Programming (RPR Track)
  
  

• Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini, Marco Gavanelli and Riccardo Zese.
  Probabilistic Traces in Declarative Process Mining (RPR Track)
  
  

• Michela Vespa, Francesca Remelli, Elena Bellodi and Raffaele Antonelli Incalzi. Discovery of logic-probabilistic rules from COVID-19 vaccine antibody response in older people: results from the GeroCovid VAX Study (RPR Track)
  
  

10:30 - 11:00 Coffee Break

11:00 - 12:00 Invited Speaker: Esra Erdem - Applications of ASP in robotic construction (info)
Session Chair: Thomas Eiter

12:00 - 13:00 ICLP25 Awards: 20 Years Test-of-Time & Awards: 10 Years Test-of-Time
Session Chair: Daniela Inclezan

13:00 - 14:30 Lunch Break

14:30 - 16:00 Techniques & Frameworks (TPLP Papers)
Session Chair: Richard Comploi-Taupe

• Mohimenul Kabir, Supratik Chakraborty and Kuldeep S Meel.
  Counting Answer Sets of Disjunctive Answer Set Programs
  
  

• Etienne Payet.
  Non-Termination of Logic Programs Using Patterns
  
  

• Aysu Bogatarkan and Esra Erdem.
  A General Framework for Dynamic MAPF using Multi-Shot ASP and Tunnels
  
  

16:00 - 16:30 Autonomous Agents (TC Papers)
Session Chair: Son Tran

• Keegan Kimbrell, Tianhao Wang, Feng Chen and Gopal Gupta.
  Correcting Autonomous Driving Object Detection Misclassifications with Automated Commonsense Reasoning
  
  

• Fengming Zhu, Weijia Xu, Yifei Guo and Fangzhen Lin.
  The Combined Problem of Online Task Assignment and Lifelong Path Finding in Logistics Warehouses: Rule-Based Systems Matter
  
  

16:30 - 17:00 Coffee Break

17:00 - 18:30 Neuro-Symbolic AI  (TC Papers)
Session Chair: Konstantin Schekotihin

• Dyuman Aditya, Colton Payne, Mario Alejandro Leiva and Paulo Shakarian.
  Machine Learning Model Integration with Open World Temporal Logic for Process Automation
  
  

• Benjamin Callewaert, Simon Vandevelde and Joost Vennekens.
  VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning
  
  

• Trang Tran, Trung Le, Huiping Cao and Tran Cao Son.
  An LLM + ASP Workflow for Joint Entity-Relation Extraction
  
  

• Alexis Tudor, Joaquín Arias and Gopal Gupta.
  VECSR: Virtually Embodied Common Sense Reasoning System
  
  

• Nijesh Upreti and Vaishak Belle.
  Logic Tensor Network-Enhanced Generative Adversarial Network
  
  

• Sanne Wielinga and Jesse Heyninck.
  Interpretable Hybrid Machine Learning Models Using FOLD-R++ and Answer Set Programming
  
  

18:30 - 19:00 Systems (TPLP Papers)
Session Chair: Konstantin Schekotihin

• • • • • Mario Alviano, Wolfgang Faber and Luis Angel Rodriguez Reiners.
          ASP Chef grows Mustache to look better
          
          
          

09:00 - 10:30 ASP Frameworks, Tools & Techniques (TC and RPR Papers)
Session Chair: Wolfgang Faber

• Mario Alviano, Laura Giordano and Daniele Theseider Dupre.
  A framework for Conditional Reasoning in Answer Set Programming
  
  

• Andrea Cuteri, Giuseppe Mazzotta and Francesco Ricca.
  Enhancing compilation-based ASP through lazy atom discovery
  
  

• Racquel Dennison, Jesse Heyninck and Tommie Meyer.
  Defeasible Conditionals in Answer Set Programming
  
  

• Martín Diéguez and Igor Stéphan.
  Extracting Policies from Quantified Answer Set Programs
  
  

• Mohimenul Kabir and Kuldeep S Meel.
  A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
  
  

• Alessandro Bertagnon and Marco Gavanelli.
  ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex
  
  

10:30 - 11:00 Coffee Break

11:00 - 12:00 Invited Speaker: Stefania Costantini - Paso Double between Logic Programming and Epistemic Logics (info)
Session Chair: Andrea Formisano

12:00 - 12:45 ICLP25 Awards: Alain Colmerauer Prize & Best DC Paper
Session Chairs: Daniela Inclezan, Alice Tarzariol, Markus Hecher

12:45 - 13:00 Technical Communication Paper:  
Session Chair: Martin Gebser

• Fengming Zhu and Fangzhen Lin.
  Computing Universal Plans for Partially Observable Multi-Agent Routing Using Answer Set Programming
  
  

13:00 - 14:30 Lunch Break

14:30 - 16:30 Solving Techniques & Optimization (TPLP Papers)
Session Chair: Mauro Vallati

• • • • Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch and Tobias Kaminski.
        ASP-FZN: A Translation-based Constraint Answer Set Solver
        
        

      • Enrico Santi, Fabio Tardivo, Agostino Dovier and Andrea Formisano.
        GPU Accelerated Compact-Table Propagation
        
        

      • Müge Fidan and Esra Erdem.
        Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems
        
        

      • Baturay Yılmaz and Esra Erdem.
        Generating Solvable Benchmark Instances for Stable Roommates Problems with Optimization
        
        

16:30 - 17:00 Coffee Break

17:00 - 18:00 Theory & Semantics (TC Papers)
Session Chair: Giuseppe Mazzotta

• • • • Ivan Perez and Ángel Herranz.
        Logic Programming with Extensible Types
        
        

      • Samuele Pollaci.
        Fixpoint Semantics for DatalogMTL with Negation
        
        

      • Sascha Rechenberger and Thom Frühwirth.
        A refined operational semantics for FreeCHR
        
        

      • Van-Giang Trinh, Sylvain Soliman, François Fages and Belaid Benhamou.
        On the Trap Space Semantics of Normal Logic Programs
        
        

18:00 - 21:00 LP Contest (DEMACS, Cubo 30B, "Aula Collaborativa", web page )

18:00 - 19:00 ALP Board Meeting

09:00 - 10:30 Applications (TC Papers)
Session Chair: Agostino Dovier

• Ondřej Vašíček, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian R Larson and Tomas Vojnar.
  On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
  
  

• Jaikrishna Manojkumar Patil, Adam Chapman, Richard Knuszka, John Chapman and Paulo Shakarian.
  Reasoning about Medical Triage Optimization with Logic Programming
  
  

• Hidetomo Nabeshima, Mutsunori Banbara, Torsten Schaub and Takehide Soh.
  The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital
  
  

• Arun Raveendran Nair Sheela, Florence De Grancey, Christophe Rey and Victor Charpenay.
  Hybrid-MKNF for Aeronautics Applications: Usage and Heuristics
  
  

• Alina Vozna, Andrea Monaldini, Stefania Costantini, Valentina Pitoni and Dawid Pado.
  An ASP-based Solution to the Medical Appointment Scheduling Problem
  
  

10:30 - 11:00 Coffee Break

11:00 - 12:00 Invited Speaker: Georg Gottlob - Using LLMs for Knowledge Base Construction and Curation (info)
Session Chair: Torsten Schaub

12:00 - 13:00 Neuro-symbolic AI (TPLP Papers)
Session Chair: Simon Vandevelde

• Pierangela Bruno, Carmine Dodaro, Giuseppe Galatà, Marco Maratea and Marco Mochi.
  Improving ASP-based ORS Schedules through Machine Learning Predictions
  
  

• Parth Padalkar and Gopal Gupta.
  Symbolic Rule Extraction from Attention-Guided Sparse Representations in Vision Transformers
  
  

13:00 - 14:30 Lunch Break

14:30 - 16:30 Beliefs, Explanations &Higher-Order Logic (TPLP Papers)
Session Chair: Marco Gavanelli

• Damiano Azzolini, Fabrizio Riguzzi and Theresa Swift.
  Integrating Belief Domains into Probabilistic Logic Programming
  
  

• Johannes Schmidt, Mohamed Maizia, Victor Lagerkvist and Johannes K. Fichte.
  Complexity of Faceted Explanations in Propositional Abduction
  
  

• Angelos Charalambidis, Babis Kostopoulos, Christos Nomikos and Panos Rondogiannis.
  The Power of Negation in Higher-Order Datalog
  
  

• Marco Ciccalè, Daniel Jurjo, Jose F. Morales, Pedro Lopez-Garcia and Manuel V. Hermenegildo.
  Hiord^#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
  
  

16:30 - Break

17:00 - 18:00 ALP General Assembly (google meet url)

18:00 - 23:59 Excursion & Social Dinner - Details available here

Baquet Speaker: Domenico Saccà

09:00 - 10:30 Law, Explanations & Trust (TC Papers)
Session Chair: Stefania Costantini

• Luís Cruz-Filipe and Jonas Vistrup.
  FÆRDXEL: An Expert System for Danish Traffic Law
  
  

• Talissa Dreossi, Agostino Dovier, Francesca Corte Pause, Susy Urli and Martina Crociati.
  Explainable AI for Sperm Morphology: Integrating YOLO with FastLAS
  
  

• Talissa Dreossi, Agostino Dovier, Andrea Formisano and Benedetta Strizzolo.
  XAI-LAW A logic programming tool for modeling, explaining, and learning legal decisions
  
  

• Akihiro Takemura, Masayuki Otani and Katsumi Inoue.
  Formally Explaining Decision Tree Models with Answer Set Programming
  
  

• Ly Ly Trieu and Tran Cao Son.
  xDNN(ASP): Explanation Generation System for Deep Neural Networks powered by Answer Set Programming
  
  

10:30 - 11:00 Coffee Break

11:00 - 12:30 Foundation (TC Papers)
Session Chair: Tobias Geibinger

• Jens Otten and Torsten Schaub.
  Implementing the First-Order Logic of Here and There
  
  

• Fred Mesnard, Thierry Marianne and Etienne Payet.
  Automated Theorem Proving for  Prolog Verification
  
  

• Veronika Semmelrock and Gerhard Friedrich.
  Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing
  
  

• Ziyi Yang, George Pîrlea and Ilya Sergey.
  Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference
  
  

• Neng-Fa Zhou, Cristian Grozea, Håkan Kjellerstrand and Oisín Mac Fhearaí.
  Picat Through the Lens of Advent of Code
  
  

12:30 - 14:30 Closing & Lunch