Practical Aspects of Declarative Languages
Springer International Publishing (Verlag)
978-3-030-94478-0 (ISBN)
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.
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.
| Erscheinungsdatum | 14.01.2022 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
| Zusatzinfo | XIV, 219 p. 49 illus., 18 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 367 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Schlagworte | answer set programming • Applications • Compilers and interpreters • Computer Networks • computer programming • Computer Science • conference proceedings • Constraint Programming • Databases • Declarative Programming • domain-specific languages • Formal Logic • Hybrid Systems • Informatics • Knowledge-Based System • Knowledge Representation • Lambda Calculus • Logic Programming • logic programs • Nonmonotonic Reasoning • Research • Signal Processing |
| ISBN-10 | 3-030-94478-6 / 3030944786 |
| ISBN-13 | 978-3-030-94478-0 / 9783030944780 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
