Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (23 chapters)
Keywords
About this book
The book collects papers by distinguished researchers, colleagues and former students of Bibel's, all of whom have worked together with him, and who present their work to him here to mark his 60th birthday. The papers discuss significant issues in intellectics and computational logic, ranging across automated deduction, logic programming, the logic-based approach to intellectics, cognitive robotics, knowledge representation and reasoning. Each paper contains new, previously unpublished, reviewed results. The collection is a state of the art account of the current capabilities and limitations of a computational-logic-based approach to intellectics.
Readership: Researchers who are convinced that the intelligent behaviour of machines should be based on a rigid formal treatment of knowledge representation and reasoning.
Editors and Affiliations
Bibliographic Information
Book Title: Intellectics and Computational Logic
Book Subtitle: Papers in Honor of Wolfgang Bibel
Editors: Steffen Hölldobler
Series Title: Applied Logic Series
DOI: https://doi.org/10.1007/978-94-015-9383-0
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 2000
Hardcover ISBN: 978-0-7923-6261-6Published: 30 April 2000
Softcover ISBN: 978-90-481-5438-8Published: 15 December 2010
eBook ISBN: 978-94-015-9383-0Published: 18 April 2013
Series ISSN: 1386-2790
Edition Number: 1
Number of Pages: XI, 388
Topics: Logic, Artificial Intelligence