KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 03.11.2026 auf fremdsprachige Bücher online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
  • Produktbild: Declarative Programming and Knowledge Management
  • Produktbild: Declarative Programming and Knowledge Management
Band 10997

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Aus der Reihe Lecture Notes in Artificial Intelligence

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.09.2018

Abbildungen

X, 215 p. 32 illus.

Herausgeber

Dietmar Seipel + weitere

Verlag

Springer

Seitenzahl

215

Maße (L/B/H)

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

Gewicht

353 g

Auflage

1st edition 2018

Sprache

Englisch

ISBN

978-3-030-00800-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.09.2018

Abbildungen

X, 215 p. 32 illus.

Herausgeber

Verlag

Springer

Seitenzahl

215

Maße (L/B/H)

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

Gewicht

353 g

Auflage

1st edition 2018

Sprache

Englisch

ISBN

978-3-030-00800-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: Declarative Programming and Knowledge Management
  • Produktbild: Declarative Programming and Knowledge Management

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