libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

cheney james (curatore); perri simona (curatore) - practical aspects of declarative languages
Zoom

Practical Aspects of Declarative Languages 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings

;




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
70,98 €
NICEPRICE
67,43 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, Carta della Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 01/2022
Edizione: 1st ed. 2022





Trama

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. 




Sommario

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.











Altre Informazioni

ISBN:

9783030944780

Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 235 x 155 mm
Formato: Brossura
Illustration Notes:XIV, 219 p. 49 illus., 18 illus. in color.
Pagine Arabe: 219
Pagine Romane: xiv


Dicono di noi