Table of contents

  1. Front Matter
    Pages i-xi
  2. Christoph Kreitz
    Pages 1-2
  3. Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
    Pages 3-26
  4. Gerhard Brewka, Thomas Eiter
    Pages 27-45
  5. Stefan Brüning, Torsten Schaub
    Pages 47-66
  6. Ricardo Caferra, Nicolas Peltier
    Pages 67-84
  7. Elmar Eder
    Pages 101-123
  8. Uwe Egly, Hans Tompits
    Pages 125-141
  9. Bertram Fronhöfer
    Pages 159-173
  10. Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka
    Pages 189-205
  11. Steffen Hölldobler, Hans-Peter Störr
    Pages 207-223
  12. Gerhard Lakemeyer, Hector J. Levesque
    Pages 225-244
  13. Erica Melis, Jörg H. Siekmann
    Pages 263-276
  14. J. A. Robinson
    Pages 277-294
  15. Antje Strohmaier
    Pages 313-325
  16. Christian Wagner
    Pages 347-359
  17. Christoph Walther
    Pages 361-386
  18. Steffen Hölldobler
    Pages 387-387
  19. Back Matter
    Pages 388-388

About this book


`Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they can substitute or complement such functions. The word itself was introduced in the early 1980s by Wolfgang Bibel to describe the united fields of artificial intelligence and cognitive science.
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.


Prolog Racter algorithms artificial intelligence automated deduction intelligence knowledge knowledge base knowledge representation logic neural network programming proving robot robotics

Editors and affiliations

  • Steffen Hölldobler
    • 1
  1. 1.Dresden University of TechnologyGermany

Bibliographic information

  • DOI
  • Copyright Information Springer Science+Business Media B.V. 2000
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-481-5438-8
  • Online ISBN 978-94-015-9383-0
  • Series Print ISSN 1386-2790
  • Buy this book on publisher's site