default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th PADL 2024: London, UK
- Martin Gebser
, Ilya Sergey:
Practical Aspects of Declarative Languages - 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings. Lecture Notes in Computer Science 14512, Springer 2023, ISBN 978-3-031-52037-2 - Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari:
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning. 1-17 - Patrick Bahr, Emil Houlborg, Gregers Thomas Skat Rørdam:
Asynchronous Reactive Programming with Modal Types in Haskell. 18-36 - Huaduo Wang, Gopal Gupta:
FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable Explainability. 37-53 - Mario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners:
Marketplace Logistics via Answer Set Programming. 54-63 - Supun Abeysinghe, Tiark Rompf:
Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures. 64-81 - Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari:
Rethinking Answer Set Programming Templates. 82-99 - Martin Mariusz Lester:
Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer Arithmetic. 100-115 - Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca:
A Direct ASP Encoding for Declare. 116-133 - Parth Padalkar, Huaduo Wang, Gopal Gupta:
Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks. 134-150 - Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux:
Hardware Implementation of OCaml Using a Synchronous Functional Language. 151-168 - Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger:
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures. 169-185 - Hasra Dodampegama, Mohan Sridharan:
Explanation and Knowledge Acquisition in Ad Hoc Teamwork. 186-203 - Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta:
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. 204-222
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-03 20:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
