Willkommen, schön sind Sie da!
Logo Ex Libris

Practical Aspects of Declarative Languages

  • E-Book (pdf)
  • 219 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 24th International Conference on Practical Aspects of Declarative Languages... Weiterlesen
CHF 68.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 24th International Conference on Practical Aspects of Declarative Languages, PADL 2022, held in Philadelphia, PA, USA, during January 17-18, 2022.

The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: answer set programming; functional programming; languages, methods and tools; and declarative solutions.



Inhalt

Answer Set Programming.- Modelling the Outlier Detection Problem in ASP(Q).- Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path Finding.- Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers.- Functional Programming.- Functional Programming on Top of SQL Engines.- CircuitFlow: A Domain Specific Language for Dataflow Programming.- Languages, Methods and Tools.- Timed Concurrent Language for Argumentation: an Interleaving Approach.- Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming.- Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo.- Smart Devices and Large Scale Reasoning via ASP: Tools and Applications.- Declarative Solutions.- Decomposition-based Job-shop Scheduling with Constrained Clustering.- Modeling and Verification of Real-time Systems with the Event Calculus and s(CASP).- Parallel Declarative Solutions of Sequencing Problems using Multi-valued Decision Diagrams and GPUs.- Green Application Placement in the Cloud-IoT Continuum.

Produktinformationen

Titel: Practical Aspects of Declarative Languages
Untertitel: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings
Editor:
EAN: 9783030944797
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Veröffentlichung: 07.01.2022
Digitaler Kopierschutz: Wasserzeichen
Anzahl Seiten: 219

Weitere Bände aus der Buchreihe "Programming and Software Engineering"