![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
26th 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.