| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Practical aspects of declarative languages/ edited by Martin Gebser, Ilya Sergey. |
| Reminder of title: |
26th international symposium, PADL 2024, London, UK, January 15-16, 2024 : proceedings / |
| remainder title: |
PADL 2024 |
| other author: |
Gebser, Martin. |
| corporate name: |
PADL (Symposium) |
| Published: |
Cham :Springer Nature Switzerland : : 2023., |
| Description: |
xvi, 223 p. :ill. (some col.), digital ;24 cm. |
| [NT 15003449]: |
Invited Talks -- Whats and Whys of Neural Network Verification (A Declarative Programming Perspective) -- Modular Higher-Order Effects -- Regular Papers -- Forget and Regeneration Techniques for Optimizing ASP-based Stream Reasoning -- Asynchronous Reactive Programming with Modal Types in Haskell -- FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explainability -- Marketplace Logistics via Answer Set Programming -- Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures -- Rethinking Answer Set Programming Templates -- Cutting the Cake Into Crumbs: Verifying Envy-Free Cake-Cutting Protocols using Bounded Integer Arithmetic -- A direct ASP Encoding for Declare -- Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks -- Hardware implementation of OCaml using a synchronous functional language -- Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures -- Explanation and Knowledge Acquisition in Ad Hoc Teamwork -- Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. |
| Contained By: |
Springer Nature eBook |
| Subject: |
Declarative programming languages - Congresses. - |
| Online resource: |
https://doi.org/10.1007/978-3-031-52038-9 |
| ISBN: |
9783031520389 |