Intellectics and Computational Logic Papers in Honor of Wolfgang Bibel

Intellectics and Computational Logic Papers in Honor of Wolfgang Bibel / edited by Steffen Hölldobler.

̀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...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Hölldobler, Steffen (Editor)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2000.
Edition:1st ed. 2000.
Series:Applied Logic Series, 19
Springer eBook Collection.
Subjects:
Logic.
Artificial intelligence.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Prologue
  • A Confluent Connection Calculus
  • Prioritizing Default Logic
  • A Connection Calculus for Handling Incomplete Information
  • The Connection Method, Constraints and Model Building
  • Towards a Logical Characterisation of Sentences of the Kind “Sentence p is About Object c”
  • The Cut Rule in Theorem Proving
  • Some Strengths of Nonmonotonic Reasoning
  • Composing Re-usable Synthesis Methods through Graph-based Viewpoints
  • Proof Structures and Matrix Graphs
  • AI and Cognitive Science: Feedback Leads to a New Neural Concept
  • Matrix-based Constructive Theorem Proving
  • Complex Plans in the Fluent Calculus
  • Querying AOL Knowledge Bases
  • Properties and Relations of Tableau and Connection Calculi
  • Concepts in Proof Planning
  • Proof = Guarantee + Explanation
  • Automated Theorem Proving in High-Quality Software Design
  • A Complete Neural Network Algorithm for HORN-SAT
  • Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms
  • The Illusion of Knowledge
  • Criteria for Termination
  • Epilogue.

Similar Items