Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Practical Aspects of Declarative Languages : 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings / / Martin Gebser and Ilya Sergey, editors
| Practical Aspects of Declarative Languages : 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings / / Martin Gebser and Ilya Sergey, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (238 pages) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Declarative programming
Declarative programming languages |
| ISBN | 3-031-52038-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910800112503321 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Practical Aspects of Declarative Languages : 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings / / Martin Gebser and Ilya Sergey, editors
| Practical Aspects of Declarative Languages : 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings / / Martin Gebser and Ilya Sergey, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (238 pages) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Declarative programming
Declarative programming languages |
| ISBN | 3-031-52038-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996579166903316 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||