• Produktbild: Applications of Declarative Programming and Knowledge Management
  • Produktbild: Applications of Declarative Programming and Knowledge Management

Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Fr. 72.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.04.2009

Herausgeber

Dietmar Seipel + weitere

Verlag

Springer Berlin

Seitenzahl

253

Maße (L/B/H)

23.5/15.5/1.5 cm

Gewicht

406 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-00674-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.04.2009

Herausgeber

Verlag

Springer Berlin

Seitenzahl

253

Maße (L/B/H)

23.5/15.5/1.5 cm

Gewicht

406 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-00674-6

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: Applications of Declarative Programming and Knowledge Management
  • Produktbild: Applications of Declarative Programming and Knowledge Management
  • Invited Talk.- A Guide for Manual Construction of Difference-List Procedures.- Constraints.- Linear Weighted-Task-Sum – Scheduling Prioritized Tasks on a Single Resource.- Efficient Edge-Finding on Unary Resources with Optional Activities.- Encoding of Planning Problems and Their Optimizations in Linear Logic.- Constraint-Based Timetabling System for the German University in Cairo.- Databases and Data Mining.- Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications.- Relational Models for Tabling Logic Programs in a Database.- Integrating XQuery and Logic Programming.- Causal Subgroup Analysis for Detecting Confounding.- Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining.- Extensions of Logic Programming.- Integrating Temporal Annotations in a Modular Logic Language.- Visual Generalized Rule Programming Model for Prolog with Hybrid Operators.- The Kiel Curry System KiCS.- Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics.- Java Type Unification with Wildcards.- System Demonstrations.- Testing Relativised Uniform Equivalence under Answer-Set Projection in the System cc???.- spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics.