PADL

Keyphrases

Publications

2024

Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning. PADL (2024)
Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux
Hardware Implementation of OCaml Using a Synchronous Functional Language. PADL (2024)
Martin Mariusz Lester
Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic. PADL (2024)
Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca
A Direct ASP Encoding for Declare. PADL (2024)
Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures. PADL (2024)
Hasra Dodampegama, Mohan Sridharan
Explanation and Knowledge Acquisition in Ad Hoc Teamwork. PADL (2024)
Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
Rethinking Answer Set Programming Templates. PADL (2024)
Huaduo Wang, Gopal Gupta
FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable Explainability. PADL (2024)
Patrick Bahr, Emil Houlborg, Gregers Thomas Skat Rørdam
Asynchronous Reactive Programming with Modal Types in Haskell. PADL (2024)
Supun Abeysinghe, Tiark Rompf
Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures. PADL (2024)
Mario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners
Marketplace Logistics via Answer Set Programming. PADL (2024)
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)
Parth Padalkar, Huaduo Wang, Gopal Gupta
Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks. PADL (2024)

2023

volume 14512, 2023

Practical Aspects of Declarative Languages - 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings PADL 14512 (2023)

volume 13880, 2023

Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings PADL 13880 (2023)

2022

volume 13165, 2022

Practical Aspects of Declarative Languages - 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings PADL 13165 (2022)

volume 12548, 2021

Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings PADL 12548 (2021)