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...
| Other Authors: | , |
|---|---|
| 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