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 
- Christoph Kreitz:
Prologue.
1-2
- Peter Baumgartner, Norbert Eisinger, Ulrich Furbach:
A Confluent Connection Calculus.
3-26
- Gerhard Brewka, Thomas Eiter:
Prioritizing Default Logic.
27-45
- Stefan Brüning, Torsten Schaub:
A Connection Calculus for Handling Incomplete Information.
47-66
- Ricardo Caferra, Nicolas Peltier:
The Connection Method, Constraints and Model Building.
67-84
- Robert Demolombe, Luis Fariñas del Cerro:
Towards a Logical Characterization of Sentences of the Kind "Sentence p is about Object c".
85-99
- Elmar Eder:
The Cut Role in Theorem Proving.
101-123
- Uwe Egly, Hans Tompits:
Some Strengths of Nonmonotonic Reasoning.
125-141
- Jutta Eusterbrock:
Compsing Re-usable Synthesis Methods through Graph-based Viewpoints.
143-158
- Bertram Fronhöfer:
Proof Structures and Matrix Graphs.
159-173
- Christoph S. Herrmann:
AI and Cognitive Science: Feedback Leads to a New Neural Concept.
175-188
- Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka:
Matrix-based Constructive Theorem Proving.
189-205
- Steffen Hölldobler, Hans-Peter Störr:
Complex Plans in the Fluent Calculus.
207-223
- Gerhard Lakemeyer, Hector J. Levesque:
Querying AOL Knowledge Bases.
225-244
- Reinhold Letz:
Properties and Relations of Tableau and Connection Calculi.
245-261
- Erica Melis, Jörg H. Siekmann:
Concepts in Proof Planning.
263-276
- John Alan Robinson:
Proof = Guarantee + Explanation.
277-294
- Johann Schumann:
Automated Theorem Proving in High-Quality Software Design.
295-312
- Antje Strohmaier:
A Complete Neural Network Algorithm for Horn-Sat.
313-325
- Michael Thielscher:
Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms.
327-345
- Christian Wagner:
The Illusion of Knowledge.
347-359
- Christoph Walther:
Criteria for Termination.
361-386
- Christoph Kreitz:
Epilogue.
387
Last update Tue May 22 23:23:10 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
