
Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1137)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: KI 1996.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (39 papers)
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 Computer Science
DOI: https://doi.org/10.1007/3-540-61708-6
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1996
Softcover ISBN: 978-3-540-61708-2Published: 04 September 1996
eBook ISBN: 978-3-540-70669-4Published: 30 June 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 394
Topics: Artificial Intelligence