Program Outline
Detailed Conference Program
| 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) |
| 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 |
| 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 |
| 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 |
| Nils Küchenmeister, Alex Ivliev and Markus Krötzsch. Towards Mass Spectrum Analysis with ASP |
ICLP 2024 ACCEPTED PAPERS
A. REGULAR PAPERS (TPLP ICLP Proceedings)[long presentations] |
| RESEARCH TRACK |
|
| APPLICATIONS TRACK |
|
B. LONG TECHNICAL COMMUNICATIONS PAPERS(Short Presentations) [Tentative] |
|
C. SHORT TECHNICAL COMMUNICATION PAPERS (Short Pesentations) |
| RESEARCH TRACK |
|
| APPLICATIONS TRACK |
|
| RECENTLY PUBLISHED RESEARCH |
|