Lecture Notes in Artificial Intelligence

Applications of Declarative Programming and Knowledge Management

17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

Editors: Seipel, Dietmar, Hanus, Michael, Wolf, Armin (Eds.)

Buy this book

eBook 59,49 €
price for Spain (gross)
  • ISBN 978-3-642-00675-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-642-00674-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007.

The 16 thoroughly revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions. The topics covered are constraints; databases and data mining; extensions of logic programming; and system demonstrations.

Table of contents (17 chapters)

  • A Guide for Manual Construction of Difference-List Procedures

    Geske, Ulrich (et al.)

    Pages 1-20

    Preview Buy Chapter 30,19 €
  • Linear Weighted-Task-Sum – Scheduling Prioritized Tasks on a Single Resource

    Wolf, Armin (et al.)

    Pages 21-37

    Preview Buy Chapter 30,19 €
  • Efficient Edge-Finding on Unary Resources with Optional Activities

    Kuhnert, Sebastian

    Pages 38-53

    Preview Buy Chapter 30,19 €
  • Encoding of Planning Problems and Their Optimizations in Linear Logic

    Chrpa, Lukáš (et al.)

    Pages 54-68

    Preview Buy Chapter 30,19 €
  • Constraint-Based Timetabling System for the German University in Cairo

    Abdennadher, Slim (et al.)

    Pages 69-81

    Preview Buy Chapter 30,19 €

Buy this book

eBook 59,49 €
price for Spain (gross)
  • ISBN 978-3-642-00675-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-642-00674-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Applications of Declarative Programming and Knowledge Management
Book Subtitle
17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
Editors
  • Dietmar Seipel
  • Michael Hanus
  • Armin Wolf
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
5437
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-00675-3
DOI
10.1007/978-3-642-00675-3
Softcover ISBN
978-3-642-00674-6
Edition Number
1
Number of Pages
X, 253
Topics