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...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2014.
|
| Σειρά: | Lecture Notes in Computer Science,
8439 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
