| 2024 | A Direct ASP Encoding for Declare. Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca |
| 2024 | Asynchronous Reactive Programming with Modal Types in Haskell. Patrick Bahr, Emil Houlborg, Gregers Thomas Skat Rørdam |
| 2024 | Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta |
| 2024 | Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic. Martin Mariusz Lester |
| 2024 | Explanation and Knowledge Acquisition in Ad Hoc Teamwork. Hasra Dodampegama, Mohan Sridharan |
| 2024 | FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable Explainability. Huaduo Wang, Gopal Gupta |
| 2024 | Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning. Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari |
| 2024 | Hardware Implementation of OCaml Using a Synchronous Functional Language. Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux |
| 2024 | Marketplace Logistics via Answer Set Programming. Mario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners |
| 2024 | Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures. Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger |
| 2024 | Rethinking Answer Set Programming Templates. Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari |
| 2024 | Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures. Supun Abeysinghe, Tiark Rompf |
| 2024 | Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks. Parth Padalkar, Huaduo Wang, Gopal Gupta |
| 2023 | Practical Aspects of Declarative Languages - 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings Martin Gebser, Ilya Sergey |