Skip to main content
SpringerLink
Log in

Declarative Programming and Knowledge Management

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

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Michael Hanus

    1. Universität Kiel, Kiel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ricardo Rocha

    1. CRACS & INESC-Porto LA, University of Porto, Porto, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8439)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Pages I-X
    Download chapter 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
    Download chapter PDF
Back to top

Other volumes

  1. Declarative Programming and Knowledge Management

Keywords

About this book

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.

Editors and Affiliations

  • Universität Kiel, Kiel, Germany

    Michael Hanus

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

    Ricardo Rocha

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation