- 2024
- Supun Abeysinghe
, Tiark Rompf:
Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures. PADL 2024: 64-81 - Mario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners:
Marketplace Logistics via Answer Set Programming. PADL 2024: 54-63 - Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari:
Rethinking Answer Set Programming Templates. PADL 2024: 82-99 - Patrick Bahr, Emil Houlborg, Gregers Thomas Skat Rørdam:
Asynchronous Reactive Programming with Modal Types in Haskell. PADL 2024: 18-36 - Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger:
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures. PADL 2024: 169-185 - Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari:
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning. PADL 2024: 1-17 - Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca:
A Direct ASP Encoding for Declare. PADL 2024: 116-133 - Hasra Dodampegama, Mohan Sridharan:
Explanation and Knowledge Acquisition in Ad Hoc Teamwork. PADL 2024: 186-203 - Martin Mariusz Lester:
Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic. PADL 2024: 100-115 - Parth Padalkar, Huaduo Wang, Gopal Gupta:
Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks. PADL 2024: 134-150 - Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux:
Hardware Implementation of OCaml Using a Synchronous Functional Language. PADL 2024: 151-168 - Huaduo Wang, Gopal Gupta:
FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable Explainability. PADL 2024: 37-53 - Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta:
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. PADL 2024: 204-222 - 2023
- Ramsha Ali, Mohammed M. S. El-Kholany, Martin Gebser:
Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper). PADL 2023: 85-95 - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Multiple Query Satisfiability of Constrained Horn Clauses. PADL 2023: 125-143 - Denise Angilica, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari:
Integrating ASP-Based Incremental Reasoning in the Videogame Development Workflow (Application Paper). PADL 2023: 96-106 - Birthe van den Berg, Tom Schrijvers, Peter Dedecker:
sf Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper). PADL 2023: 73-82 - Linda Brodo, Roberto Bruni, Moreno Falaschi:
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors. PADL 2023: 107-124 - Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor:
Formalizing and Reasoning About Supply Chain Contracts Between Agents. PADL 2023: 144-160 - Misaki Kojima, Naoki Nishida:
From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting. PADL 2023: 161-179 - Steven Libby:
RICE: An Optimizing Curry Compiler. PADL 2023: 3-19 - Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker:
SwitchLog: A Logic Programming Language for Network Switches. PADL 2023: 180-196 - Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Program Synthesis Using Example Propagation. PADL 2023: 20-36 - Kai-Oliver Prott, Finn Teegen, Jan Christiansen:
Embedding Functional Logic Programming in Haskell via a Compiler Plugin. PADL 2023: 37-55 - Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama:
Linear Algebraic Abduction with Partial Evaluation. PADL 2023: 197-215 - Haya Majid Qureshi, Wolfgang Faber:
Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL. PADL 2023: 216-231 - Ana Carolina Silva, Manuel Barbosa, Mário Florido:
Execution Time Program Verification with Tight Bounds. PADL 2023: 56-72 - Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub:
Solving Vehicle Equipment Specification Problems with Answer Set Programming. PADL 2023: 232-249 - Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos:
UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper). PADL 2023: 250-260 - Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta:
Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming. PADL 2023: 261-278
