| 2023 | SwitchLog: A Logic Programming Language for Network Switches. | Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker |
| 2023 | RICE: An Optimizing Curry Compiler. | Steven Libby |
| 2023 | From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting. | Misaki Kojima, Naoki Nishida |
| 2023 | Formalizing and Reasoning About Supply Chain Contracts Between Agents. | Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor |
| 2023 | Dynamic Slicing of Reaction Systems Based on Assertions and Monitors. | Linda Brodo, Roberto Bruni, Moreno Falaschi |
| 2023 | sf Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper). | Birthe van den Berg, Tom Schrijvers, Peter Dedecker |
| 2023 | Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper). | Denise Angilica, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari |
| 2023 | Multiple Query Satisfiability of Constrained Horn Clauses. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2023 | Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper). | Ramsha Ali, Mohammed M. S. El-Kholany, Martin Gebser |
| 2022 | Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP). | Sarat Chandra Varanasi, Joaqun Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta |
| 2022 | Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs. | Fabio Tardivo, Enrico Pontelli |
| 2022 | Multi-agent Pick and Delivery with Capacities: Action Planning Vs Path Finding. | Nima Tajelipirbazari, Cagri Uluc Yildirimoglu, Orkunt Sabuncu, Ali Can Arici, Idil Helin Ozen, Volkan Patoglu, Esra Erdem |
| 2022 | Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. | Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca |
| 2022 | Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo. | Tomi Janhunen |
| 2022 | Green Application Placement in the Cloud-IoT Continuum. | Stefano Forti, Antonio Brogi |
| 2022 | Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers. | Wolfgang Faber, Michael Morak, Luks Chrpa |
| 2022 | sf CircuitFlow: A Domain Specific Language for Dataflow Programming. | Riley Evans, Samantha Frohlich, Meng Wang |
| 2022 | Decomposition-Based Job-Shop Scheduling with Constrained Clustering. | Mohammed M. S. El-Kholany, Konstantin Schekotihin, Martin Gebser |
| 2022 | Functional Programming on Top of SQL Engines. | Tobias Burghardt, Denis Hirn, Torsten Grust |
| 2022 | Timed Concurrent Language for Argumentation: An Interleaving Approach. | Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi |
| 2022 | Modelling the Outlier Detection Problem in ASP(Q). | Pierpaolo Bellusci, Giuseppe Mazzotta, Francesco Ricca |
| 2022 | People, Ideas, and the Path Ahead. | Marcello Balduccini |
| 2022 | Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. | Joaqun Arias, Manuel Carro, Gopal Gupta |
| 2021 | On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages. | David Young, Mark Grebe, Andy Gill |
| 2021 | A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States. | Fabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli |