Practical aspects of declarative languages : 24th international symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022 : proceedings / James Cheney, Simona Perri (eds.).
PADL (Symposium) (24th : 2022 : Philadelphia, Pa.); Cheney, James, editor.; Perri, Simona, editor.
2022
QA76.76.C65 P33 2022
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Practical aspects of declarative languages : 24th international symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022 : proceedings / James Cheney, Simona Perri (eds.).
Meeting Name PADL (Symposium) (24th : 2022 : Philadelphia, Pa.)
ISBN 9783030944797 (electronic bk.)
3030944794 (electronic bk.)
9783030944780
DOI https://doi.org/10.1007/978-3-030-94479-7
Published Cham : Springer, [2022]
Copyright ©2022
Language English
Description 1 online resource (xiv, 219 pages) : illustrations (some color).
Item Number 10.1007/978-3-030-94479-7 doi
Call Number QA76.76.C65 P33 2022
Dewey Decimal Classification 005.13
Summary 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.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Digital File Characteristics text file PDF
Source of Description Online resource; title from PDF title page (SpringerLink, viewed January 11, 2022).
Added Author Cheney, James, editor.
Perri, Simona, editor.
Series Lecture notes in computer science ; 13165.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form Print version: 9783030944780
Print version: 9783030944803
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export