Vor Ort
Merkzettel Warenkorb
Produktbild: Practical Aspects of Declarative Languages
Band 14512 - 13%

Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings

Aus der Reihe Lecture Notes in Computer Science
13% sparen

61,99 € UVP 71,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.01.2024

Herausgeber

Martin Gebser + weitere

Verlag

Springer

Seitenzahl

223

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

371 g

Auflage

1st edition 2023

Sprache

Englisch

ISBN

978-3-031-52037-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.01.2024

Herausgeber

Verlag

Springer

Seitenzahl

223

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

371 g

Auflage

1st edition 2023

Sprache

Englisch

ISBN

978-3-031-52037-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Practical Aspects of Declarative Languages
  • 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.