Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 201
54.95 CHF
Versandkostenfrei
Versandkostenfreie Lieferung!
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10382423
Beschreibung
Constraints.- Constraint Solving on Hybrid Systems.- Run-time Analysis of Temporal Constrained Objects.- Implementation of Logical Retraction in Constraint Handling Rules with Justifications.- The Proportional Constraint and Its Pruning.- An Operational Semantics for Constraint-logic Imperative Programming.- Hypertree Decomposition: The First Step Towards Parallel Constraint Solving.- Declarative Systems.- Declarative Aspects in Explicative Data Mining for Computational Sensemaking.- An Approach for Representing Answer Sets in Natural Language.- Techniques for Efficient Lazy-Grounding ASP Solving.- Reasoning Principles and Heurstic Strategies in Modeling Human Clusters.- Functional and Logic Programming.- Concolic Testing of Functional Logic Programs.- Declarative XML Schema Validation with SWI-Prolog.- plspec - A Specification Language for Prolog Data.
Eigenschaften
Breite: | 157 |
Gewicht: | 353 g |
Höhe: | 235 |
Länge: | 12 |
Seiten: | 215 |
Sprachen: | Englisch |
Autor: | Dietmar Seipel, Michael Hanus, Salvador Abreu |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen