Applications of Declarative Programming and Knowledge Management
18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
Editors: Abreu, Salvador, Seipel, Dietmar (Eds.)
Free Preview- up-to-date results
- fast track conference proceedings
- state-of-the-art report
Buy this book
- About this book
-
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009, held in Évora, Portugal, in November 2009. The 12 revised full papers presented together with 2 invited talks were carefully reviewed and selected during two rounds of reviewing and improvement. The conference comprehensively covers the impact of programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. The topics of the selected papers concentrate on three currently important fields: foundations and extensions of logic programming, databases and query languages, declarative programming with logic languages, and applications thereof.
- Table of contents (14 chapters)
-
-
Design Patterns for Tabled Logic Programming
Pages 1-19
-
An Alternative High-Level Approach to Interaction with Databases
Pages 20-39
-
ISTO: A Language for Temporal Organizational Information Systems
Pages 40-51
-
Programming Patterns for Logtalk Parametric Objects
Pages 52-69
-
Stabel Model Implementation of Layer Supported Models by Program Transformation
Pages 70-84
-
Table of contents (14 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Applications of Declarative Programming and Knowledge Management
- Book Subtitle
- 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
- Editors
-
- Salvador Abreu
- Dietmar Seipel
- Series Title
- Lecture Notes in Artificial Intelligence
- Series Volume
- 6547
- Copyright
- 2011
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer Berlin Heidelberg
- eBook ISBN
- 978-3-642-20589-7
- DOI
- 10.1007/978-3-642-20589-7
- Softcover ISBN
- 978-3-642-20588-0
- Edition Number
- 1
- Number of Pages
- X, 239
- Topics