International Conference on Logic Programming

Program Outline

 

October 11, Friday Datalog 2.0 Workshop, LPNMR Tutorials
October 12, Saturday LPNMR Main Conference (Day 1), ASPOCP Workshop, GDE Workshop, PIPS Meeting, Autumn School
October 13, Sunday LPNMR Main Conference (Day 2), PEG Workshop, LPOP Workshop, PLP Workshop, Doctoral Consortium, Autumn School
October 14, Monday LPNMR Main Conference (Day 3), ICLP Main Conference (Day 1), ICLP/LPNMR joint Excursion, ICLP/LPNMR joint Banquet
October 15, Tuesday ICLP Main Conference (Day 2), LP in Industry Session, Prolog Programming Contest
October 16, Wednesday ICLP Main Conference (Day 3), ALP General Body Meeting
October 17, Thursday ICLP Main Conference (Day 4)

 

MONDAY, OCTOBER 14
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

 

TUESDAY, OCTOBER 15
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

 

WEDNESDAY, OCTOBER 16
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

 

THURSDAY, OCTOBER 17
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

 

(*)  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)