| 2026 | Proceedings 41st International Conference on Logic Programming, ICLP 2025, Rende, Italy, 12-19th September 2025. Martin Gebser, Daniela Inclezan, Francesco Ricca, Manuel Carro, Miroslaw Truszczynski |
| 2025 | A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets. Mohimenul Kabir, Kuldeep S. Meel |
| 2025 | A framework for Conditional Reasoning in Answer Set Programming. Mario Alviano, Laura Giordano, Daniele Theseider Dupré |
| 2025 | A refined operational semantics for FreeCHR. Sascha Rechenberger, Thom W. Frühwirth |
| 2025 | An ASP-Based Framework for MUSes. Mohimenul Kabir, Kuldeep S. Meel |
| 2025 | An ASP-based Solution to the Medical Appointment Scheduling Problem. Alina Vozna, Andrea Monaldini, Stefania Costantini, Valentina Pitoni, Dawid Pado |
| 2025 | An LLM + ASP Workflow for Joint Entity-Relation Extraction. Trang Tran, Trung Hoang Le, Huiping Cao, Tran Cao Son |
| 2025 | Automated Theorem Proving for Prolog Verification. Fred Mesnard, Thierry Marianne, Étienne Payet |
| 2025 | Correcting Autonomous Driving Object Detection Misclassifications with Automated Commonsense Reasoning. Keegan Kimbrell, Wang Tianhao, Feng Chen, Gopal Gupta |
| 2025 | Defeasible Conditionals using Answer Set Programming. Racquel Dennison, Jesse Heyninck, Thomas Meyer |
| 2025 | Extracting Policies from Quantified Answer Set Programs. Martín Diéguez, Igor Stéphan |
| 2025 | Fixpoint Semantics for DatalogMTL with Negation. Samuele Pollaci |
| 2025 | Formally Explaining Decision Tree Models with Answer Set Programming. Akihiro Takemura, Masayuki Otani, Katsumi Inoue |
| 2025 | Hybrid MKNF for Aeronautics Applications: Usage and Heuristics. Arun Raveendran Nair Sheela, Florence de Grancey, Christophe Rey, Victor Charpenay |
| 2025 | Implementing the First-Order Logic of Here and There. Jens Otten, Torsten Schaub |
| 2025 | Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference. Ziyi Yang, George Pîrlea, Ilya Sergey |
| 2025 | Interpretable Hybrid Machine Learning Models Using FOLD-R++ and Answer Set Programming. Sanne Wielinga, Jesse Heyninck |
| 2025 | Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing. Veronika Semmelrock, Gerhard Friedrich |
| 2025 | Logic Programming with Extensible Types. Ivan Perez, Ángel Herranz |
| 2025 | Logic Tensor Network-Enhanced Generative Adversarial Network. Nijesh Upreti, Vaishak Belle |
| 2025 | Machine Learning Model Integration with Open World Temporal Logic for Process Automation. Dyuman Aditya, Colton Payne, Mario A. Leiva, Paulo Shakarian |
| 2025 | On Computing Universal Plans for Partially Observable Multi-Agent Path Finding. Fengming Zhu, Fangzhen Lin |
| 2025 | On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming. Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Tomás Vojnar |
| 2025 | On the Trap Space Semantics of Normal Logic Programs. Van-Giang Trinh, Sylvain Soliman, François Fages, Belaid Benhamou |
| 2025 | Picat Through the Lens of Advent of Code. Neng-Fa Zhou, Cristian Grozea, Håkan Kjellerstrand, Oisín Mac Fhearaí |
| 2025 | Propositional Abduction via Only-Knowing: A Non-Monotonic Approach. Sanderson Molick, Vaishak Belle |
| 2025 | Reasoning about Medical Triage Optimization with Logic Programming. Jaikrishna Manojkumar Patil, Adam Chapman, Richard Knuszka, John Chapman, Paulo Shakarian |
| 2025 | The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital. Hidetomo Nabeshima, Mutsunori Banbara, Torsten Schaub, Takehide Soh |
| 2025 | The Combined Problem of Online Task Assignment and Lifelong Path Finding in Logistics Warehouses: A Case Study. Fengming Zhu, Fangzhen Lin, Weijia Xu, Yifei Guo |
| 2025 | VECSR: Virtually Embodied Common Sense Reasoning System. Alexis R. Tudor, Joaquín Arias, Gopal Gupta |
| 2025 | VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning. Benjamin Callewaert, Simon Vandevelde, Joost Vennekens |
| 2025 | XAI-LAW: A Logic Programming Tool for Modeling, Explaining, and Learning Legal Decisions. Agostino Dovier, Talissa Dreossi, Andrea Formisano, Benedetta Strizzolo |
| 2025 | færdXel: An Expert System for Danish Traffic Law. Luís Cruz-Filipe, Jonas Vistrup |
| 2025 | xDNN(ASP): Explanation Generation System for Deep Neural Networks powered by Answer Set Programming. Ly Ly T. Trieu, Tran Cao Son |