Atjaunināt sīkdatņu piekrišanu

Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 1516, 2024, Proceedings 1st ed. 2023 [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 223 pages, height x width: 235x155 mm, weight: 373 g, 39 Illustrations, color; 25 Illustrations, black and white; XVI, 223 p. 64 illus., 39 illus. in color., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 14512
  • Izdošanas datums: 10-Jan-2024
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3031520378
  • ISBN-13: 9783031520372
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 60,29 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 70,94 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 1516, 2024, Proceedings 1st ed. 2023Palielināt
  • Formāts: Paperback / softback, 223 pages, height x width: 235x155 mm, weight: 373 g, 39 Illustrations, color; 25 Illustrations, black and white; XVI, 223 p. 64 illus., 39 illus. in color., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 14512
  • Izdošanas datums: 10-Jan-2024
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3031520378
  • ISBN-13: 9783031520372
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783031520372.html
This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17–19, 2024.

The 13 full papers included in this book were carefully reviewed and selected from 25 submissions. The accepted papers span a range of topics related to functional and logic programming, including reactive programming, hardware implementations, implementation of marketplaces, query languages, and applications of declarative programming techniques to artificial intelligence and machine learning.
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.