Lecture Notes in Artificial Intelligence

KI-96: Advances in Artificial Intelligence

20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings

Editors: Görz, Günther, Hölldobler, Steffen (Eds.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-70669-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-61708-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 20th Annual German Conference on Artificial Intelligence, KI-96, held in Dresden, Germany, in September 1996.
The book presents three invited papers together with 23 revised full research papers, nine posters and four systems demonstrations. All contributions were carefully selected from a larger number of excellent submissions, of which a considerable part had been submitted from abroad. The papers address many subareas of AI; however, there is a certain focus on new develpments in theorem proving, knowledge representation, and reasoning.

Table of contents (39 chapters)

  • Rational models of normal logic programs

    Bornscheuer, Sven-Erik

    Pages 1-4

  • Massively parallel reasoning about actions

    Bornscheuer, Sven-Erik (et al.)

    Pages 5-17

  • DisLoP: A disjunctive logic programming system based on PROTEIN theorem prover

    Aravindan, Chandrabose

    Pages 19-23

  • Abstraction as a heuristic to guide planning

    Contzen, Michael (et al.)

    Pages 25-28

  • Equational theorem proving using taxonomic constraints

    Denzinger, Jörg

    Pages 29-42

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-70669-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-61708-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
KI-96: Advances in Artificial Intelligence
Book Subtitle
20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings
Editors
  • Günther Görz
  • Steffen Hölldobler
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
1137
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-70669-4
DOI
10.1007/3-540-61708-6
Softcover ISBN
978-3-540-61708-2
Edition Number
1
Number of Pages
XIV, 394
Topics