Merkzettel Warenkorb
Produktbild: Practical Aspects of Declarative Languages
Band 14512

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

63,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

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.