| 2025 | Scalable and Ethical Medical Scheduling: An ASP-Based Framework with Patient-Centered Experimental Validation. | Alina Vozna, Andrea Monaldini, Stefania Costantini, Dawid Pado, Valentina Pitoni |
| 2025 | A Neurosymbolic Approach to Fraud Detection on Financial Data in the Public Administration. | Michele Vitale |
| 2025 | A Scalable Approach to Probabilistic Compliance in Declarative Process Mining. | Michela Vespa, Elena Bellodi |
| 2025 | Probabilistic Declarative Process Mining. | Michela Vespa |
| 2025 | Early Validation of High-level Requirements on Cyber-Physical Systems. | Ondrej Vascek |
| 2025 | ASP and PDDL+ Applications in Urban Traffic Distribution and Control. | Mauro Vallati, Carmine Dodaro, Francesco Doria, Salvatore Fiorentino, Marco Maratea, Francesco Percassi, Alice Tarzariol |
| 2025 | Research Summary: Explainable Artificial Intelligence in Answer Set Programming and Machine Learning. | Ly Ly T. Trieu |
| 2025 | Platform for Introducing Logic Programming in Bulgarian Secondary Schools - IDEAS (Intelligent Data Educational Analysis System). | Veneta Tabakova-Komsalova, Magdalena Maglizhanova, Asya Stoyanova-Doycheva, Stanimir Stoyanov |
| 2025 | Global Type Inference for Java using Answer Set Programming. | Andreas Stadelmeier, Martin Plmicke |
| 2025 | UserArmor: An extension for AppArmor. | Pierpaolo Sestito |
| 2025 | A Legal Logic Programming Framework for Autonomous Vehicles. | Galileo Sartor, Adam Z. Wyner |
| 2025 | Teaching Prolog and Logic Programming with Jupyter Notebooks. | Galileo Sartor, Adam Z. Wyner |
| 2025 | When Prolog Meets Generative Models: a New Approach for Managing Knowledge and Planning in Robotic Applications - Abstract. | Enrico Saccon, Ahmet Tikna, Davide De Martini, Edoardo Lamon, Luigi Palopoli, Marco Roveri |
| 2025 | Constructionist Co-Design for the Learning Experience: A Work-in-Progress on Engaging Teachers to Integrate Logic Programming in Primary School. | Jorge P. Rodrguez, Laura Andrea Cecchi |
| 2025 | Exploring Neurosymbolic Systems in Answer Set Programming with an Application to Waste Water Monitoring. | Luis Angel Rodriguez Reiners |
| 2025 | Logic and Answer Set Programming in High School: Two Learning Unit Experiences. | Kristian Reale |
| 2025 | Decompiling Language Models into Logic Programs. | Jacinto Alfonso Dvila Quintero |
| 2025 | Visualizing Kripke Models in LogiKEy: the Case of SDL. | Luca Pasetto, Christoph Benzmller |
| 2025 | Towards Incorporating Normative Requirements In Autonomous Systems Using Datalog. | Mahrokh Mirani |
| 2025 | Precise Exponential-Time Complexity of Non-Monotonic Reasoning. | Mohamed Maizia |
| 2025 | Answer Set Counting and its Applications to Network Reliability and System Biology. | Mohimenul Kabir |
| 2025 | The Simple Generative Logic Grammar: A Tool for Teaching Logical Thinking Through Visual Research in Art and Design. | Christian Jendreiko |
| 2025 | Formal Verification of Answer Set Programs Containing Advanced Language Constructs. | Zachary Hansen |
| 2025 | Exploring Digital Twins integration with ASP and ASP Chef. | Paola Guarasci |
| 2025 | LLMASP: A Framework for Mitigating Hallucinations and Supporting Symbolic Reasoning in Large Language Models. | Lorenzo Grillo |