International Conference on Logic Programming

Conference Program

Program Outline

October 11, Friday

October 12, Saturday

October 13, Sunday

October 14, Monday

October 15, Tuesday

October 16, Wednesday

October 17, Thursday

Detailed Conference Program

Monday, October 14

Time Session
07:30 Breakfast (7:30-9:00am). A bus will run back and forth from Double Tree Hilton to UTD Campus 7:30 – 9:30am
08:45 ICLP Opening. Chair: Gopal Gupta
09:00 Keynote speaker: Moshe Vardi. Logic Programming and Logical Algorithmics
10:00 Mohimenul Kabir and Kuldeep S Meel. On Lower Bounding Minimal Model Count
10:30 Coffee break / Poster session (*)
Session 1: Prolog and Language Extensions. Chair: Benjamin Grosof
11:00 Daniel Jurjo-Rivas, Jose F. Morales, Pedro Lopez-Garcia and Manuel V. Hermenegildo. Abstract Environment Trimming
11:30 David Warren. A Prolog Program for Bottom-up Evaluation
11:45 João Barbosa, Mário Florido and Vitor Santos Costa. Regular Typed Unification
12:00 Djordje Markovic and Marc Denecker. Order-sorted intensional logic: expressing subtyping polymorphism with typing assertions and quantification over concepts
12:15 Yichi Xu, Daniel Dougherty and Rose Bohrer. A Coq Formalization of Unification Modulo Exclusive-Or
12:30 Lunch break
13:30

Tutorial. Chair: Wofgang Faber

Annie Liu. Logic rules and commonsense in uncertain times: A simple unified semantics for reasoning with assurance and agreement
14:30 Gathering for Excursion to Fort Worth
16:00 Fort Worth Stockyards cattle drive
18:00 Joint ICLP/LPNMR Banquet at Billy Bob’s Texas @ Stockyards (Buses will bring everyone back to the hotel)

Tuesday, October 15

Time Session
07:30 Breakfast (7:30-9:00am). A bus will run back and forth from Double Tree Hilton to UTD Campus 7:30 – 9:30am
09:00 Keynote speaker: Katsumi Inoue. Linear Algebraic Approaches to Logic Programming. Chair: Jose F. Morales
10:00 Lachlan McGinness and Peter Baumgartner. CON-FOLD Explainable Machine Learning with Confidence
10:30 Coffee break
Session 2: Neuro-symbolic approaches. Chair: Enrico  Pontelli
11:00 Fieke Hillerström and Gertjan Burghouts.
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference  and Relaxation
11:30 Parth Padalkar, Natalia Slusarz, Gopal Gupta and Ekaterina Komendantskaya.
A Neurosymbolic Framework for Bias Correction in Convolutional  Neural Networks
12:00 Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias and Gopal Gupta.
A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP.
12:30 Lunch break
Session 3: Non-Monotonic Reasoning. Chair: Joost Vennekens
13:30 Riley Kinahan, Spencer Killen, Kevin Wan and Jia-Huai You.
On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases
14:00 Gianvincenzo Alfano, Sergio Greco, Francesco Parisi and Irina Trubitsyna.
Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping
Session 4: ASP theory. Chair: Pedro Cabalar
14:30 Giuseppe Mazzotta, Francesco Ricca and Mirek Truszczynski. Quantifying over Optimum Answer Sets
15:00 Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci and Panos Rondogiannis.
The Stable Model Semantics for Higher-Order Logic Programming
15:30 Coffee break
Session 5: Multi-Agent Systems. Chair: Joaquin Arias
16:00 Cardellini Matteo, Carmine Dodaro, Marco Maratea and Mauro Vallati.
Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
16:30 Sean Glaze and Daniela Inclezan. Architecture for Simulating Behavior Mode Changes in Norm-Aware Autonomous Agents
16:45 Galileo Sartor, Adam Wyner and Giuseppe Contissa.
Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous vehicles
Session 6: Short presentations. Chair: Fabrizio Riguzzi
17:00 Divyagna Bavikadi, Dyuman Aditya, Devendra Parkar, Paulo Shakarian, Gerardo Simari, Graham Mueller and Chad Parvis. Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing
17:15 Alexander Beiser, Susana Hahn and Torsten Schaub. ASP -driven User-interaction with Clinguin.
17:30 Mingyue Liu, Ryo Ueda, Zhen Wan, Katsumi Inoue and Chris Willcocks.
Neuro-symbolic Contrastive Learning for Cross-domain Inference
17:45 Lorenzo Capra. Modular Stochastic Rewritable Petri Nets
19:00 A bus will run back and forth between the conference site and Double Tree Hotel from 5:00PM – 7:00PM

Wednesday, October 16

Time Session
07:30 Breakfast (7:30-9:00am). A bus will run back and forth from Double Tree Hilton to UTD Campus 7:30 – 9:30am
09:00 Keynote speaker: Mats Carlsson. The Anatomy of the SICStus Finite-Domain Constraint Solver. Chair: Neng-Fa Zhou
10:00 David Warren. The Semantics of Metaprogramming in Prolog
10:30 Coffee break
  Awards. Chair: Manuel Hermenegildo
11:00 John Alan Robinson 20 Year Test of Time Award
11:30 The Alain Colmerauer 10 Year Test of Time Award
12:00 The 2024 Alain Colmerauer Prize
12:30 Lunch break
13:30

Tutorial. Chair: Tran Cao Son

Neng-Fa Zhou. Encoding High-Level Constraints into SAT and MIP
  Session 7: ASP applications. Chair: Tran Cao Son
14:30 Elisa Böhl, Stefan Ellmauthaler and Sarah Alice Gaggl. Winning Snake: Design Choices in Multi-Shot ASP
15:00 Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub and Sebastian Schellhorn. Reasoning about Study Regulations in Answer Set Programming
15:30 Coffee break
16:00 ALP meeting
17:30:
19:00		 Programming contest (in parallel with Session 8)
Session 8: ASP III (probabilistic; application). Chair: Annie Lu
17:15 Haya Majid Qureshi and Wolfgang Faber. Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
17:30 Damiano Azzolini and Fabrizio Riguzzi. Fast Inference for Probabilistic Answer Set Programs via the Residual Program
18:00 Damiano Azzolini, Elisabetta Gentili and Fabrizio Riguzzi. Symbolic Parameter Learning in Probabilistic Answer Set Programming
18:30 Masato Kato, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Mutsunori Banbara.
Dominating Set Reconfiguration with Answer Set Programming
20:00 A bus will run back and forth between the conference site and Double Tree Hotel from 6:00PM – 8:00PM

Thursday, October 17

Time Session
07:30 Breakfast (7:30-9:00am). A bus will run back and forth from Double Tree Hilton to UTD Campus 7:30 – 9:30am
09:00 Keynote speaker: Markus Hecher. How Structure Shapes Logic Programming and Counting-Based Reasoning. Chair: Mats Carlsson
  Session 9: Recently Published Research. Chair: Mats Carlsson
10:00 Denise Angilica, Giovambattista Ianni, Francesco Pacenza and Jessica Zangari.
Declarative AI design in Unity using Answer Set Programming (Extended Abstract)
10:15 Xiangyu Guo, James Smith and Ajay Bansal. stableKanren: Integrating Stable Model Semantics with miniKanren (Extended Abstract)
10:30 Coffee break
  Session 10: Natural Language and LLMs. Chair: Carl Andersen
11:00 Paul Tarau. On LLM-generated Logic Programs and their Inference Execution Methods
11:15 Jakob Johannes Bauer, Thomas Eiter, Nelson Higuera Ruiz and Johannes Oetsch.
Visual Graph Question Answering with ASP and LLMs for Language Parsing
11:30 Sudhir Agarwal, Anu Sreepathy, David H. Alonso and Prarit Lamba.
LLM+Reasoning+Planning for supporting incomplete user queries  in presence of APIs
11:45 Sanskar Sehgal and Yanhong A. Liu. Logical Lease Litigation Prolog and LLMs for Rental Law Compliance in New York
12:00 Katherine Wu and Yanhong Liu. LP-LM: No Hallucinations in Question Answering with Logic Programming
12:15 Flavio Bertini, Alessandro Dal Palù, Francesco Fabiano, Federica Zaglio and Andrea Formisano.
Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration
12:30 Lunch break
  Session 11: ASP IV (short papers) & demo. Chair: Francesco Ricca
13:30 Best Doctoral Consortium Paper
13:45 Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman and Francois Fages.
Graphical conditions for existence, unicity and multiplicity of non-trivial regular models
14:00 Ezgi Iraz Su. Pearce’s Characterisation in an Epistemic Domain
14:15 Al Mehdi Saadat Chowdhury, Paulo Shakarian and Gerardo Simari. Abduction of Domain Relationships from Data for VQA
14:30 Yanhong A. Liu, Scott Stoller, Yi Tong and Bo Lin.
Alda: Integrating Logic Rules with Everything Else, Seamlessly (System Demonstration)
14:45 Coffee break
  Session 12: Reasoning. Chair: Francois Fages
15:15 Anitha Murugesan, Isaac Wong, Srivatsan Varadarajan, Joaquín Arias, Gopal Gupta, Robert Stroud, Robin Bloomfield, John Rushby and Elmer Salazar. Automating Semantic Analysis of System Assurance Cases Using Logic Programming and Commonsense Reasoning
15:45 Ondřej Vašíček, Jan Fiedor, Bohuslav Krena, Tomas Vojnar, Joaquin Arias, Gopal Gupta, Brendan Hall, Brian Larson and Sarat Chandra Varanasi. Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
16:15 Session 13: Logic Programming in Industry – Panel. Moderator: Theresa Swift
Topic: “Automated Reasoning and Rule-based AI in the age of LLMs and GenAI”.
Moderator: Theresa Swift, Applied Physics Lab, Johns Hopkins University
Panelists: 
1. Benjamin Grosof, DARPA, USA
2. Annie Liu, Stonybrook University, USA
3. Mats Carlsson, Royal Institute of Technology, Sweden
17:15 Refreshment Break (Pizza)
17:45 Session 14: Logic Programming in Industry – Talks. Chair: Doug DeGroot
 
Speakers:
1. Brendan Hall, NASA (Amentum)  LUCINDA: Logically Unified Continually Integrated Network Design Assurance
2. Alan Gatherer, Cirrus360, Intelligent Automation with Domain Specific Languages and Constraint Programming
3. David Warren, XSB, Inc, Twenty-five years of using logic programming to support supply chain management
4. Gopal Gupta, Center for Applied AI & Machine Learning & CS Department, UT Dallas, Building Accountable AI Systems with Logic Programming & ASP
19:00 Closing
20:00 A bus will run back and forth between the conference site and Double Tree Hotel from 6:00PM – 8:00PM

(*) Poster session (Monday 14th, during 1st coffee break)

  • Nils Küchenmeister, Alex Ivliev and Markus Krötzsch. Towards Mass Spectrum Analysis with ASP
  • Long Tran, Tran Cao Son, Dylan Flynn and Marcello Balduccini. Multi-Agent Simulation and Contract Formalization in Supply Chains
  • Domenico Pagliaro, Elena Mastria, Francesco Calimeri, Simona Perri, Martin Pleschberger and Konstantin Schekotihin.
    Monitoring and Scheduling of Semiconductor Failure Analysis Labs
  • Esteban Guerrero and Juan Carlos Nieves. Semantic-based Arguments via Logic Programming Rewriting Systems
  • Vineel Tummala and Daniela Inclezan. Policies, Penalties, and Autonomous Agents

ICLP 2024 Accepted Papers

A. Regular Papers (TPLP ICLP Proceedings) [long presentations]

Research Track

  1. Damiano Azzolini and Fabrizio Riguzzi. Fast Inference for Probabilistic Answer Set Programs via the Residual Program
  2. Damiano Azzolini, Elisabetta Gentili and Fabrizio Riguzzi. Symbolic Parameter Learning in Probabilistic Answer Set Programming
  3. Giuseppe Mazzotta, Francesco Ricca and Mirek Truszczynski. Quantifying over Optimum Answer Sets
  4. Riley Kinahan, Spencer Killen, Kevin Wan and Jia-Huai You. On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases
  5. Lachlan McGinness and Peter Baumgartner. CON-FOLD Explainable Machine Learning with Confidence
  6. Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci and Panos Rondogiannis. The Stable Model Semantics for Higher-Order Logic Programming
  7. Mohimenul Kabir and Kuldeep S Meel. On Lower Bounding Minimal Model Count
  8. Gianvincenzo Alfano, Sergio Greco, Francesco Parisi and Irina Trubitsyna. Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping
  9. Ondřej Vašíček, Jan Fiedor, Bohuslav Krena, Tomas Vojnar, Joaquin Arias, Gopal Gupta, Brendan Hall, Brian Larson and Sarat Chandra Varanasi. Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
  10. Parth Padalkar, Natalia Slusarz, Gopal Gupta and Ekaterina Komendantskaya. A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks
  11. David Warren. The Semantics of Metaprogramming in Prolog
  12. Daniel Jurjo-Rivas, Jose F. Morales, Pedro Lopez-Garcia and Manuel V. Hermenegildo. Abstract Environment Trimming
  13. Fieke Hillerström and Gertjan Burghouts. Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation

Applications Track

  1. Elisa Böhl, Stefan Ellmauthaler and Sarah Alice Gaggl. Winning Snake: Design Choices in Multi-Shot ASP
  2. Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub and Sebastian Schellhorn. Reasoning about Study Regulations in Answer Set Programming
  3. Masato Kato, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Mutsunori Banbara. Dominating Set Reconfiguration with Answer Set Programming
  4. Cardellini Matteo, Carmine Dodaro, Marco Maratea and Mauro Vallati. Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
  5. Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias and Gopal Gupta. A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
  6. Anitha Murugesan, Isaac Wong, Srivatsan Varadarajan, Joaquín Arias, Gopal Gupta, Robert Stroud, Robin Bloomfield, John Rushby and Elmer Salazar. Automating Semantic Analysis of System Assurance Cases Using Logic Programming and Commonsense Reasoning

B. Long Technical Communications Papers (Short Presentations) [Tentative]

  1. Ezgi Iraz Su. Pearce’s Characterisation in an Epistemic Domain
  2. Alexander Beiser, Susana Hahn and Torsten Schaub. ASP-driven User-interaction with Clinguin
  3. Galileo Sartor, Adam Wyner and Giuseppe Contissa. Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous vehicles
  4. Sudhir Agarwal, Anu Sreepathy, David H. Alonso and Prarit Lamba. LLM+Reasoning+Planning for supporting incomplete user queries in presence of APIs
  5. Nils Küchenmeister, Alex Ivliev and Markus Krötzsch. Towards Mass Spectrum Analysis with ASP
  6. João Barbosa, Mário Florido and Vitor Santos Costa. Regular Typed Unification
  7. Jakob Johannes Bauer, Thomas Eiter, Nelson Higuera Ruiz and Johannes Oetsch. Visual Graph Question Answering with ASP and LLMs for Language Parsing
  8. Sean Glaze and Daniela Inclezan. Architecture for Simulating Behavior Mode Changes in Norm-Aware Autonomous Agents
  9. Divyagna Bavikadi, Dyuman Aditya, Devendra Parkar, Paulo Shakarian, Gerardo Simari, Graham Mueller and Chad Parvis. Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing
  10. Flavio Bertini, Alessandro Dal Palù, Francesco Fabiano, Federica Zaglio and Andrea Formisano. Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration
  11. Djordje Markovic and Marc Denecker. Order-sorted intensional logic: expressing subtyping polymorphism with typing assertions and quantification over concepts
  12. Paul Tarau. On LLM-generated Logic Programs and their Inference Execution Methods
  13. Stefania Costantini and Andrea Formisano. ELP-solver fast prototyping for reduct-based semantics
  14. Long Tran, Tran Cao Son, Dylan Flynn and Marcello Balduccini. Multi-Agent Simulation and Contract Formalization in Supply Chains
  15. Domenico Pagliaro, Elena Mastria, Francesco Calimeri, Simona Perri, Martin Pleschberger and Konstantin Schekotihin. Monitoring and Scheduling of Semiconductor Failure Analysis Labs
  16. Esteban Guerrero and Juan Carlos Nieves. Semantic-based Arguments via Logic Programming Rewriting Systems
  17. Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman and Francois Fages. Graphical conditions for existence, unicity and multiplicity of non-trivial regular models
  18. Vineel Tummala and Daniela Inclezan. Policies, Penalties, and Autonomous Agents
  19. Haya Majid Qureshi and Wolfgang Faber. Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
  20. Mingyue Liu, Ryo Ueda, Zhen Wan, Katsumi Inoue and Chris Willcocks. Neuro-symbolic Contrastive Learning for Cross-domain Inference
  21. Sanskar Sehgal and Yanhong A. Liu. Logical Lease Litigation Prolog and LLMs for Rental Law Compliance in New York

C. Short Technical Communication Papers (Short Pesentations)

Research Track

  1. Al Mehdi Saadat Chowdhury, Paulo Shakarian and Gerardo Simari. Abduction of Domain Relationships from Data
  2. Yichi Xu, Daniel Dougherty and Rose Bohrer. A Coq Formalization of Unification Modulo Exclusive-Or
  3. David Warren. A Prolog Program for Bottom-up Evaluation
  4. Lorenzo Capra. Modular Stochastic Rewritable Petri Nets

Applications Track

  1. Katherine Wu and Yanhong Liu. LP-LM: No Hallucinations in Question Answering with Logic Programming
  2. Yanhong A. Liu, Scott Stoller, Yi Tong and Bo Lin. Alda: Integrating Logic Rules with Everything Else, Seamlessly (System Demonstration)

Recently Published Research

  1. Denise Angilica, Giovambattista Ianni, Francesco Pacenza and Jessica Zangari. Declarative AI design in Unity using Answer Set Programming (Extended Abstract)
  2. Xiangyu Guo, James Smith and Ajay Bansal. stableKanren: Integrating Stable Model Semantics with miniKanren (Extended Abstract)