More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

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 $69.99
price for USA (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 $99.00
price for USA
  • ISBN 978-3-642-00674-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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

  • Linear Weighted-Task-Sum – Scheduling Prioritized Tasks on a Single Resource

    Wolf, Armin (et al.)

    Pages 21-37

  • Efficient Edge-Finding on Unary Resources with Optional Activities

    Kuhnert, Sebastian

    Pages 38-53

  • Encoding of Planning Problems and Their Optimizations in Linear Logic

    Chrpa, Lukáš (et al.)

    Pages 54-68

  • Constraint-Based Timetabling System for the German University in Cairo

    Abdennadher, Slim (et al.)

    Pages 69-81

Buy this book

eBook $69.99
price for USA (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 $99.00
price for USA
  • ISBN 978-3-642-00674-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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