Declarative Programming and Knowledge Management

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

  • Michael Hanus
  • Ricardo Rocha
Conference proceedings INAP 2013, WLP 2013, WFLP 2013

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 8439)

Table of contents

  1. Front Matter
    Pages I-X
  2. Ella Albrecht, Patrick Krümpelmann, Gabriele Kern-Isberner
    Pages 1-16
  3. Rana Awada, Pablo Barceló, Iluju Kiringa
    Pages 17-32
  4. Alexander Bau, Johannes Waldmann
    Pages 33-47
  5. Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
    Pages 99-117
  6. Guohua Liu, Tomi Janhunen, Ilkka Niemelä
    Pages 118-135
  7. Jomu George Mani Paret, Otmane Ait Mohamed
    Pages 136-151
  8. Carlos Alberto Martínez-Angeles, Inês Dutra, Vítor Santos Costa, Jorge Buenabad-Chávez
    Pages 152-168
  9. Danny Munera, Daniel Diaz, Salvador Abreu
    Pages 169-184
  10. Chiaki Sakama
    Pages 185-201
  11. Baltasar Trancón y Widemann, Markus Lepper
    Pages 218-233
  12. Back Matter
    Pages 251-251

About these proceedings


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

Editors and affiliations

  • Michael Hanus
    • 1
  • Ricardo Rocha
    • 2
  1. 1.Universität KielKielGermany
  2. 2.CRACS & INESC-Porto LAUniversity of PortoPortoPortugal

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-08908-9
  • Online ISBN 978-3-319-08909-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences