Lecture Notes in Artificial Intelligence

Declarative Programming and Knowledge Management

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

Editors: Hanus, Michael, Rocha, Ricardo (Eds.)

Buy this book

eBook n/a
  • ISBN 978-3-319-08909-6
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-319-08908-9
  • Free shipping for individuals worldwide
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.

Table of contents (15 chapters)

  • Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs

    Albrecht, Ella (et al.)

    Pages 1-16

  • Sharing and Exchanging Data

    Awada, Rana (et al.)

    Pages 17-32

  • Propositional Encoding of Constraints over Tree-Shaped Data

    Bau, Alexander (et al.)

    Pages 33-47

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

    Beierle, Christoph (et al.)

    Pages 48-64

  • On Axiomatic Rejection for the Description Logic $$\mathcal {ALC}$$

    Berger, Gerald (et al.)

    Pages 65-82

Buy this book

eBook n/a
  • ISBN 978-3-319-08909-6
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-319-08908-9
  • Free shipping for individuals worldwide
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Declarative Programming and Knowledge Management
Book Subtitle
Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
Editors
  • Michael Hanus
  • Ricardo Rocha
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
8439
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-08909-6
DOI
10.1007/978-3-319-08909-6
Softcover ISBN
978-3-319-08908-9
Edition Number
1
Number of Pages
X, 251
Number of Illustrations and Tables
51 b/w illustrations
Topics