Vor Ort
Merkzettel Warenkorb
Produktbild: Practical Aspects of Declarative Languages
Band 13165

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

Aus der Reihe Lecture Notes in Computer Science

65,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.01.2022

Abbildungen

XIV, 219 p. 49 illus., 18 illus. in color.

Herausgeber

James Cheney + weitere

Verlag

Springer

Seitenzahl

219

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

365 g

Auflage

1st ed. 2022

Sprache

Englisch

ISBN

978-3-030-94478-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.01.2022

Abbildungen

XIV, 219 p. 49 illus., 18 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

219

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

365 g

Auflage

1st ed. 2022

Sprache

Englisch

ISBN

978-3-030-94478-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Practical Aspects of Declarative Languages

  • 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.