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

This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and (Constra...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Hanus, Michael (Editor), Rocha, Ricardo (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2014, 2014
Edition:1st ed. 2014
Series:Lecture Notes in Artificial Intelligence
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 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