| 2025 | On Bridging Prolog and Python to Enhance an Inductive Logic Programming System. | Vtor Manuel de Morais Santos Costa, Miguel Areias |
| 2025 | Haskell Based Spreadsheets. | Ignacio Ballesteros, Luis Eduardo Bueso de Barrio, Julio Mario |
| 2024 | Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. | Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaqun Arias, Gopal Gupta |
| 2024 | FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable Explainability. | Huaduo Wang, Gopal Gupta |
| 2024 | Hardware Implementation of OCaml Using a Synchronous Functional Language. | Loc Sylvestre, Jocelyn Srot, Emmanuel Chailloux |
| 2024 | Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks. | Parth Padalkar, Huaduo Wang, 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 | A Direct ASP Encoding for Declare. | Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca |
| 2024 | Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning. | Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari |
| 2024 | Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures. | Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger |
| 2024 | Asynchronous Reactive Programming with Modal Types in Haskell. | Patrick Bahr, Emil Houlborg, Gregers Thomas Skat Rrdam |
| 2024 | Rethinking Answer Set Programming Templates. | Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari |
| 2024 | Marketplace Logistics via Answer Set Programming. | Mario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners |
| 2024 | Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures. | Supun Abeysinghe, Tiark Rompf |
| 2023 | Automatic Rollback Suggestions for Incremental Datalog Evaluation. | David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz |
| 2023 | Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling. | Anssi Yli-Jyr, Masood Feyzbakhsh Rankooh, Tomi Janhunen |
| 2023 | Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming. | Zesheng Xu, Joaqun Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta |
| 2023 | UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper). | Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos |
| 2023 | Solving Vehicle Equipment Specification Problems with Answer Set Programming. | Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub |
| 2023 | Execution Time Program Verification with Tight Bounds. | Ana Carolina Silva, Manuel Barbosa, Mrio Florido |
| 2023 | Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL. | Haya Majid Qureshi, Wolfgang Faber |
| 2023 | Linear Algebraic Abduction with Partial Evaluation. | Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama |
| 2023 | Embedding Functional Logic Programming in Haskell via a Compiler Plugin. | Kai-Oliver Prott, Finn Teegen, Jan Christiansen |
| 2023 | Program Synthesis Using Example Propagation. | Niek Mulleners, Johan Jeuring, Bastiaan Heeren |