Atjaunināt sīkdatņu piekrišanu

E-grāmata: Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Edited by , Edited by
  • Formāts: EPUB+DRM
  • Sērija : Lecture Notes in Computer Science 14512
  • Izdošanas datums: 09-Jan-2024
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783031520389
  • Formāts - EPUB+DRM
  • Cena: 59,47 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
  • Formāts: EPUB+DRM
  • Sērija : Lecture Notes in Computer Science 14512
  • Izdošanas datums: 09-Jan-2024
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783031520389

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

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.