Steffen Holldobler

Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel - Applied Logic Series Steffen Holldobler Softcover reprint of the original 1st ed. 2000 edition

Marc Notes: Originally published: Dordrecht; London: Kluwer Academic, 2000.; Includes bibliographical references.; This text 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. Table of Contents: Preface; S. Holldobler. Prologue; C. Kreitz. A Confluent Connection Calculus; P. Baumgartner, et al. Prioritizing Default Logic; G. Brewka, T. Eiter. A Connection Calculus for Handling Incomplete Information; S. Bruning, T. Schaub. The Connection Method, Constraints and Model Building; R. Caferra, N. Peltier. Towards a Logical Characterisation of Sentences of the Kind Sentence p is About Object c'; R. Demolombe, L. F. del Cerro. The Cut Rule in Theorem Proving; E. Eder. Some Strengths of Nonmonotonic Reasoning; Uwe Egly, H. Tompits. Composing Re-usable Synthesis Methods through Graph-based Viewpoints; J. Eusterbrock. Proof Structures and Matrix Graphs; B. Fronhofer. AI and Cognitive Science: Feedback Leads to a New Neural Concept; C. Herrmann. Matrix-based Constructive Theorem Proving; C. Kreitz, et al. Complex Plans in the Fluent Calculus; S. Holldobler, H.-P. Storr. Querying AOL Knowledge Bases; G. Lakemeyer, H. J. Levesque. Properties and Relations of Tableau and Connection Calculi; R. Letz. Concepts in Proof Planning; E. Melis, J. H. Siekmann. Proof = Guarantee + Explanation; J. A. Robinson. Automated Theorem Proving in High-Quality Software Design; J. Schumann. A Complete Neural Network Algorithm for HORN-SAT; A. Strohmaier. Nondeterministic Acions in the Fluent Calculus: Disjunctive State Update Axioms; M. Thielscher. The Illusion of Knowledge; C. Wagner. Criteria for Termination; C. Walther. Epilogue; C. Kreitz."