Declarative Programming and Knowledge Management

1. Front Matter

   Pages I-X

   PDF

2. Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs

   • Ella Albrecht, Patrick Krümpelmann, Gabriele Kern-Isberner

   Pages 1-16

3. Sharing and Exchanging Data

   • Rana Awada, Pablo Barceló, Iluju Kiringa

   Pages 17-32

4. Propositional Encoding of Constraints over Tree-Shaped Data

   • Alexander Bau, Johannes Waldmann

   Pages 33-47

5. On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry

   • Christoph Beierle, Udo Lelitko

   Pages 48-64

6. On Axiomatic Rejection for the Description Logic \(\mathcal {ALC}\)

   • Gerald Berger, Hans Tompits

   Pages 65-82

7. And... Action! – Monoid Actions and (Pre)orders

   • Nikita Danilenko

   Pages 83-98

8. hex-Programs with Existential Quantification

   • Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl

   Pages 99-117

9. Introducing Real Variables and Integer Objective Functions to Answer Set Programming

   • Guohua Liu, Tomi Janhunen, Ilkka Niemelä

   Pages 118-135

10. Coverage Driven Test Generation and Consistency Algorithm

    • Jomu George Mani Paret, Otmane Ait Mohamed

    Pages 136-151

11. A Datalog Engine for GPUs

    • Carlos Alberto Martínez-Angeles, Inês Dutra, Vítor Santos Costa, Jorge Buenabad-Chávez

    Pages 152-168

12. Towards Parallel Constraint-Based Local Search with the X10 Language

    • Danny Munera, Daniel Diaz, Salvador Abreu

    Pages 169-184

13. Debate Games in Logic Programming

    • Chiaki Sakama

    Pages 185-201

14. A Descriptive Handling of Directly Conflicting Rules in Preferred Answer Sets

    • Alexander Šimko

    Pages 202-217

15. Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley

    • Baltasar Trancón y Widemann, Markus Lepper

    Pages 218-233

16. Heuristic Search over Program Transformations

    • Claus Zinn

    Pages 234-249

17. Back Matter

    Pages 251-251

    PDF

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 (Constraint) Logic Programming (WFLP 2013) and the 27th Workshop on Logic Programming (WLP 2013), held in Kiel, Germany, in September 2013. The 15 papers presented were carefully and reviewed and selected for inclusion in this book. They cover the following topics: logic programming, constraint problem solving, programmable logic solvers, functional programming and constraint programming.

• answer set programming
• artificial intelligence
• computing methodologies
• constraint and logic languages
• declarative programming
• functional languages
• general programming languages
• knowledge representation and reasoning
• language types
• mathematical software
• mathematics of computing
• programming techniques
• software engineering
• solvers

• Universität Kiel, Kiel, Germany

  Michael Hanus

• CRACS & INESC-Porto LA, University of Porto, Porto, Portugal

  Ricardo Rocha

Policies and ethics