Steffen Hölldobler (Ed.):
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday).
Applied Logic Series 19 Kluwer 2000, ISBN 0-7923-6261-6 BibTeX
- Christoph Kreitz:
Prologue.
1-2 BibTeX
- Peter Baumgartner, Norbert Eisinger, Ulrich Furbach:
A Confluent Connection Calculus.
3-26 BibTeX
- Gerhard Brewka, Thomas Eiter:
Prioritizing Default Logic.
27-45 BibTeX
- Stefan Brüning, Torsten Schaub:
A Connection Calculus for Handling Incomplete Information.
47-66 BibTeX
- Ricardo Caferra, Nicolas Peltier:
The Connection Method, Constraints and Model Building.
67-84 BibTeX
- Robert Demolombe, Luis Fariñas del Cerro:
Towards a Logical Characterization of Sentences of the Kind "Sentence p is about Object c".
85-99 BibTeX
- Elmar Eder:
The Cut Role in Theorem Proving.
101-123 BibTeX
- Uwe Egly, Hans Tompits:
Some Strengths of Nonmonotonic Reasoning.
125-141 BibTeX
- Jutta Eusterbrock:
Compsing Re-usable Synthesis Methods through Graph-based Viewpoints.
143-158 BibTeX
- Bertram Fronhöfer:
Proof Structures and Matrix Graphs.
159-173 BibTeX
- Christoph S. Herrmann:
AI and Cognitive Science: Feedback Leads to a New Neural Concept.
175-188 BibTeX
- Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka:
Matrix-based Constructive Theorem Proving.
189-205 BibTeX
- Steffen Hölldobler, Hans-Peter Störr:
Complex Plans in the Fluent Calculus.
207-223 BibTeX
- Gerhard Lakemeyer, Hector J. Levesque:
Querying AOL Knowledge Bases.
225-244 BibTeX
- Reinhold Letz:
Properties and Relations of Tableau and Connection Calculi.
245-261 BibTeX
- Erica Melis, Jörg H. Siekmann:
Concepts in Proof Planning.
263-276 BibTeX
- John Alan Robinson:
Proof = Guarantee + Explanation.
277-294 BibTeX
- Johann Schumann:
Automated Theorem Proving in High-Quality Software Design.
295-312 BibTeX
- Antje Strohmaier:
A Complete Neural Network Algorithm for Horn-Sat.
313-325 BibTeX
- Michael Thielscher:
Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms.
327-345 BibTeX
- Christian Wagner:
The Illusion of Knowledge.
347-359 BibTeX
- Christoph Walther:
Criteria for Termination.
361-386 BibTeX
- Christoph Kreitz:
Epilogue.
387 BibTeX
Copyright © Sat May 16 22:59:39 2009
by Michael Ley (ley@uni-trier.de)