| 2025 | Knowledge-Based Stable Roommates Problems. | Mge Fidan |
| 2025 | Search-Guided Generation of Properties for Program Analyzers. | Daniela Ferreiro |
| 2025 | Learning ASP Domain-specific Heuristics using Transformers. | Marco Duca |
| 2025 | PEG 2.0: Future-Gazing Through a Socio-Linguistic and Historical Lens. | Vernica Dahl |
| 2025 | Toward Executing Datalog on Big Data Platforms - Extended Abstract. | Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca |
| 2025 | Enhancing Compilation-based ASP Solving with Postponed Atom Discovery. | Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca |
| 2025 | Enhancing Compilation-based ASP Solving. | Andrea Cuteri |
| 2025 | Resource Allocation with Cooperative Agents. | Stefania Costantini, Giovanni De Gasperis, Pasquale De Meo, Francesco Gullo, Alessandro Provetti |
| 2025 | On the Translation of ASP Rules to (Controlled) Natural Language Sentences. | Simone Caruso, Carmine Dodaro, Fabrizio Lo Scudo, Marco Maratea, Kristian Reale |
| 2025 | Representing and Evaluating SBVR Specification via ASP. | Simone Caruso, Carmine Dodaro, Marco Maratea |
| 2025 | A Tool Set for Converting Controlled Natural Languages into AI Formalisms. | Simone Caruso |
| 2025 | Neurosymbolic AI in Digital Forensics: Commonsense and Qualitative Reasoning. | Alessia Donata Camarda |
| 2025 | Flexible, Lifelong, Explainable, and Robust Solutions for Multi-Agent Path Finding Problems. | Aysu Bogatarkan |
| 2025 | Knowledge Graphs & Reasoning in Concert: Automating Regulation in Corporate Economics. | Luigi Bellomarini, Matteo Brandetti, Andrea Gentili, Rosario Laurendi, Davide Magnanimi |
| 2025 | Tackling the Air Traffic Flow and Capacity Management Problem with Explainable Answer Set Programming. | Alexander Beiser |
| 2025 | General Grid Recognition and Logic-Driven Gameplay for Intelligent Robots. | Tayyab Ateeq |
| 2025 | Iterative ASP Pipelines: Enhancements for Robots Playing Mobile Games. | Denise Angilica, Tayyab Ateeq, Giovambattista Ianni |
| 2025 | neXSim: A System for Explaining Nexus of Similarities. | Giovanni Amendola, Pietro Cofone, Marco Manna, Aldo Ricioppo |
| 2025 | ASP Chef Creates Surveys. | Mario Alviano, Davide Cirimele, Luis Angel Rodriguez Reiners |
| 2025 | A Preliminary Evaluation of Open-Source LLMs for Datalog-Based Semantic Parsing in the ASVIN Project. | Mario Alviano, Matteo Capalbo, Georg Gottlob, Irfan Kareem, Fabrizio Lo Scudo, Sebastiano A. Piccolo |
| 2025 | Teaching ASP (and Its Users) to Share Code: Abstract (Invited Talk). | Mario Alviano |
| 2025 | Temporal Conditional Reasoning with Weighted Knowledge Bases. | Mario Alviano, Laura Giordano, Daniele Theseider Dupr |
| 2025 | Some Enhancements to the Prolog Playground and ALD Notebooks for the Modern Prolog Classroom. | Jos F. Morales, Daniela Ferreiro, Manuel V. Hermenegildo |
| 2024 | Extended Abstract: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. | Yankai Zeng, Abhiramon Rajasekharan, Kinjal Basu, Huaduo Wang, Joaqun Arias, Gopal Gupta |
| 2024 | Teaching Prolog through Grammars. | David S. Warren |