Vor Ort
Merkzettel Warenkorb
  • Produktbild: Declarative Programming and Knowledge Management
  • Produktbild: Declarative Programming and Knowledge Management
Band 8439

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Aus der Reihe Lecture Notes in Artificial Intelligence

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.07.2014

Abbildungen

X, 251 p. 51 illus.

Herausgeber

Michael Hanus + weitere

Verlag

Springer

Seitenzahl

251

Maße (L/B/H)

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

Gewicht

406 g

Sprache

Englisch

ISBN

978-3-319-08908-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.07.2014

Abbildungen

X, 251 p. 51 illus.

Herausgeber

Verlag

Springer

Seitenzahl

251

Maße (L/B/H)

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

Gewicht

406 g

Sprache

Englisch

ISBN

978-3-319-08908-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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
  • Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs.- Sharing and Exchanging Data.- Propositional Encoding of Constraints over Tree-Shaped Data.- On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry.- On Axiomatic Rejection for the Description Logic ALC.- And Action! - Monoid Actions and (Pre)orders.- HEX-Programs with Existential Quantification.- Introducing Real Variables and Integer Objective Functions to Answer Set Programming.- Coverage Driven Test Generation and Consistency Algorithm.- A Datalog Engine for GPUs.- Towards Parallel Constraint-Based Local Search with the X10 Language.- Debate Games in Logic Programming.- A Descriptive Handling of Directly Con icting Rules in Preferred Answer Sets.- Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley.- Heuristic Search Over Program Transformations.