Practical Aspects of Declarative Languages
Springer International Publishing (Verlag)
978-3-031-24840-5 (ISBN)
The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic Programming.
Functional Programming.- RICE: An Optimizing Curry.- Program Synthesis Using Example Propagation.- Embedding Functional Logic Programming in Haskell via a Compiler Plugin.- Execution Time Program Verification With Tight Bounds.- Fluo: A Domain-Specific Language for Experiments in FluorescenceMicroscopy (Application Paper).- Logic Programming.- Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper).- Integrating ASP-based incremental reasoning in the videogame development workflow (Application Paper).- Dynamic slicing of Reaction Systems based on assertions and monitors.- Multiple Query Satisfiability of Constrained Horn Clauses.- Formalizing and Reasoning about Supply Chain Contracts between Agents.- From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting.- SwitchLog: A Logic Programming Language for Network Switches.- Linear Algebraic Abduction with Partial Evaluation.- Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL.- Solving Vehicle Equipment Specification Problems with Answer Set Programming.- UAV Compliance Checking using Answer Set Programming and Minimal Explanations towards Compliance (Application Paper).- Jury-trial Story Construction and Analysis using Goal-directed Answer Set Programming.- Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling.- Automatic Rollback Suggestions for Incremental Datalog Evaluation.
| Erscheinungsdatum | 10.01.2023 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | XVIII, 313 p. 433 illus., 28 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 504 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Schlagworte | answer set programming • Artificial Intelligence • Compilers and interpreters • Computer Networks • computer programming • Computer Science • Computer systems • Constraint Programming • distributed computer systems • Distributed Systems • Embedded Systems • Engineering • Formal Languages • Formal Logic • Knowledge-Based System • Knowledge Representation • Linguistics • Logic Programming • Mathematics • object-oriented programming • Ontologies • parallel processing systems • Semantics • Software engineering |
| ISBN-10 | 3-031-24840-6 / 3031248406 |
| ISBN-13 | 978-3-031-24840-5 / 9783031248405 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
