Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Intellectics and Computational Logic

Papers in Honor of Wolfgang Bibel

  • Book
  • © 2000

Overview

Editors:
  1. Steffen Hölldobler

    1. Dresden University of Technology, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Applied Logic Series (APLS, volume 19)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Prologue

    • Christoph Kreitz
    Pages 1-2

  3. A Confluent Connection Calculus

    • Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
    Pages 3-26

  4. Prioritizing Default Logic

    • Gerhard Brewka, Thomas Eiter
    Pages 27-45

  5. A Connection Calculus for Handling Incomplete Information

    • Stefan Brüning, Torsten Schaub
    Pages 47-66

  6. The Connection Method, Constraints and Model Building

    • Ricardo Caferra, Nicolas Peltier
    Pages 67-84

  7. Towards a Logical Characterisation of Sentences of the Kind “Sentence P is about Object C”

    • Robert Demolombe, Luis Fariñas del Cerro
    Pages 85-99

  8. The Cut Rule in Theorem Proving

    • Elmar Eder
    Pages 101-123

  9. Some Strengths of Nonmonotonic Reasoning

    • Uwe Egly, Hans Tompits
    Pages 125-141

  10. Composing Re-Usable Synthesis Methods through Graph-Based Viewpoints

    • Jutta Eusterbrock
    Pages 143-158

  11. Proof Structures and Matrix Graphs

    • Bertram Fronhöfer
    Pages 159-173

  12. AI and Cognitive Science: Feedback Leads to a New Neural Concept

    • Christoph S. Herrmann
    Pages 175-188

  13. Matrix-Based Constructive Theorem Proving

    • Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka
    Pages 189-205

  14. Complex Plans in the Fluent Calculus

    • Steffen Hölldobler, Hans-Peter Störr
    Pages 207-223

  15. Querying Aol Knowledge Bases

    • Gerhard Lakemeyer, Hector J. Levesque
    Pages 225-244

  16. Properties and Relations of Tableau and Connection Calculi

    • Reinhold Letz
    Pages 245-261

  17. Concepts in Proof Planning

    • Erica Melis, Jörg H. Siekmann
    Pages 263-276

  18. Proof = Guarantee + Explanation

    • J. A. Robinson
    Pages 277-294

  19. Automated Theorem Proving in High-Quality Software Design

    • Johann Schumann
    Pages 295-312

  20. A Complete Neural Network Algorithm for Horn-SAT

    • Antje Strohmaier
    Pages 313-325
Back to top

Keywords

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.

Editors and Affiliations

  • Dresden University of Technology, Germany

    Steffen Hölldobler

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

Publish with us

Policies and ethics

Back to top

Search

Navigation