| 2025 | Proceedings 40th International Conference on Logic Programming, ICLP 2024, University of Texas at Dallas, Dallas Texas, USA, October 14-17 2024. Pedro Cabalar, Francesco Fabiano, Martin Gebser, Gopal Gupta, Theresa Swift |
| 2024 | A Category-Theoretic Perspective on Approximation Fixpoint Theory. Samuele Pollaci |
| 2024 | A Coq Formalization of Unification Modulo Exclusive-Or. Yichi Xu, Daniel J. Dougherty, Rose Bohrer |
| 2024 | A Prolog Program for Bottom-up Evaluation. David S. Warren |
| 2024 | ASP-driven User-interaction with Clinguin. Alexander Beiser, Susana Hahn, Torsten Schaub |
| 2024 | Abduction of Domain Relationships from Data for VQA. Al Mehdi Saadat Chowdhury, Paulo Shakarian, Gerardo I. Simari |
| 2024 | Answer Set Counting and its Applications. Mohimenul Kabir |
| 2024 | Architecture for Simulating Behavior Mode Changes in Norm-Aware Autonomous Agents. Sean Glaze, Daniela Inclezan |
| 2024 | Autonomous Task Completion Based on Goal-directed Answer Set Programming. Alexis R. Tudor |
| 2024 | Bridging Logic Programming and Deep Learning for Explainability through ILASP. Talissa Dreossi |
| 2024 | Commonsense Reasoning-Aided Autonomous Vehicle Systems. Keegan Kimbrell |
| 2024 | Computational methods for Dynamic Answer Set Programming. Susana Hahn |
| 2024 | Counterfactual Explanations as Plans. Vaishak Belle |
| 2024 | Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration. Flavio Bertini, Alessandro Dal Palù, Federica Zaglio, Francesco Fabiano, Andrea Formisano |
| 2024 | Early Validation of High-level Requirements on Cyber-Physical Systems. Ondrej Vasícek |
| 2024 | Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases. Haya Majid Qureshi, Wolfgang Faber |
| 2024 | Generating Causally Compliant Counterfactual Explanations using ASP. Sopam Dasgupta |
| 2024 | Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing. Divyagna Bavikadi, Dyuman Aditya, Devendra Parkar, Paulo Shakarian, Graham Mueller, Chad Parvis, Gerardo I. Simari |
| 2024 | Graphical Conditions for the Existence, Unicity and Number of Regular Models. Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman, François Fages |
| 2024 | Hybrid Answer Set Programming: Foundations and Applications. Nicolas Rühling |
| 2024 | LLM+Reasoning+Planning for supporting incomplete user queries in presence of APIs. Sudhir Agarwal, Anu Sreepathy, David H. Alonso, Prarit Lamba |
| 2024 | LP-LM: No Hallucinations in Question Answering with Logic Programming. Katherine Wu, Yanhong A. Liu |
| 2024 | Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York. Sanskar Sehgal, Yanhong A. Liu |
| 2024 | Logical foundations of Smart Contracts. Kalonji Kalala |
| 2024 | Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles. Galileo Sartor, Adam Wyner, Giuseppe Contissa |
| 2024 | Modular Stochastic Rewritable Petri Nets. Lorenzo Capra |
| 2024 | Neuro-Symbolic Contrastive Learning for Cross-domain Inference. Mingyue Liu, Ryo Ueda, Zhen Wan, Katsumi Inoue, Chris G. Willcocks |
| 2024 | On LLM-generated Logic Programs and their Inference Execution Methods. Paul Tarau |
| 2024 | Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts. Dorde Markovic, Marc Denecker |
| 2024 | Pearce's Characterisation in an Epistemic Domain. Ezgi Iraz Su |
| 2024 | Regular Typed Unification. João Barbosa, Mário Florido, Vítor Santos Costa |
| 2024 | Relating Answer Set Programming and Many-sorted Logics for Formal Verification. Zachary Hansen |
| 2024 | Reliable Conversational Agents under ASP Control that Understand Natural Language. Yankai Zeng |
| 2024 | Visual Graph Question Answering with ASP and LLMs for Language Parsing. Jakob Johannes Bauer, Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch |