Program Outline
08:45 | ICLP Opening |
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 | |
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: 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 |
09:00 | Keynote speaker: Katsumi Inoue. Linear Algebraic Approaches to Logic Programming |
10:00 | Lachlan McGinness and Peter Baumgartner. CON-FOLD Explainable Machine Learning with Confidence |
10:30 | Coffee break |
Session 2: Neuro-symbolic approaches | |
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 | |
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 | |
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 | |
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 | |
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 |
09:00 | Keynote speaker: Mats Carlsson. The Anatomy of the SICStus Finite-Domain Constraint Solver |
10:00 | David Warren. The Semantics of Metaprogramming in Prolog |
10:30 | Coffee break |
Awards | |
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: Neng-Fa Zhou. Encoding High-Level Constraints into SAT and MIP |
Session 7: ASP applications | |
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) | |
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 |
09:00 | Keynote speaker: Markus Hecher. How Structure Shapes Logic Programming and Counting-Based Reasoning |
Session 9: Recently Published Research | |
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 | |
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 | |
13:30 | Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman and Francois Fages. Graphical conditions for existence, unicity and multiplicity of non-trivial regular models |
13:45 | Haya Majid Qureshi and Wolfgang Faber. Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases |
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 | |
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 |
Panel: Rule-based AI and Reasoning in the age of Large Language Models Panelists: TBA |
|
17:15 | Refreshment Break (Pizza) |
17:45 | Session 14: Logic Programming in Industry – Talks |
Short talks on industrial uses of logic programming – TBA | |
19:00 | Closing |
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 |
|