| 2023 | Automatic Rollback Suggestions for Incremental Datalog Evaluation. David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz |
| 2023 | Dynamic Slicing of Reaction Systems Based on Assertions and Monitors. Linda Brodo, Roberto Bruni, Moreno Falaschi |
| 2023 | Embedding Functional Logic Programming in Haskell via a Compiler Plugin. Kai-Oliver Prott, Finn Teegen, Jan Christiansen |
| 2023 | Execution Time Program Verification with Tight Bounds. Ana Carolina Silva, Manuel Barbosa, Mário Florido |
| 2023 | Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper). Ramsha Ali, Mohammed M. S. El-Kholany, Martin Gebser |
| 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 | From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting. Misaki Kojima, Naoki Nishida |
| 2023 | Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper). Denise Angilica, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari |
| 2023 | Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming. Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta |
| 2023 | Linear Algebraic Abduction with Partial Evaluation. Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama |
| 2023 | Multiple Query Satisfiability of Constrained Horn Clauses. Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2023 | Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings Michael Hanus, Daniela Inclezan |
| 2023 | Program Synthesis Using Example Propagation. Niek Mulleners, Johan Jeuring, Bastiaan Heeren |
| 2023 | Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling. Anssi Yli-Jyrä, Masood Feyzbakhsh Rankooh, Tomi Janhunen |
| 2023 | RICE: An Optimizing Curry Compiler. Steven Libby |
| 2023 | Solving Vehicle Equipment Specification Problems with Answer Set Programming. Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub |
| 2023 | SwitchLog: A Logic Programming Language for Network Switches. Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker |
| 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 | Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL. Haya Majid Qureshi, Wolfgang Faber |
| 2023 | sf Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper). Birthe van den Berg, Tom Schrijvers, Peter Dedecker |