Intellectics and Computational Logic

Preface; S. Hölldobler. 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. Brüning, 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. Fronhöfer. 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. Hölldobler, H.-P. Störr. 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.

Dr. Steffen Hölldobler ist wissenschaftlicher Mitarbeiter am Fachbereich Informatik.