Declarative Programming and Knowledge Management [E-Book] : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers / edited by Michael Hanus, Ricardo Rocha.
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...
Saved in:
Full text |
|
Personal Name(s): | Hanus, Michael. editor |
Rocha, Ricardo. editor | |
Imprint: |
Cham :
Springer,
2014
|
Physical Description: |
X, 251 p. 51 illus. online resource. |
Note: |
englisch |
ISBN: |
9783319089096 |
DOI: |
10.1007/978-3-319-08909-6 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture notes in computer science ;
8439 |
Subject (LOC): |
- 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.