Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60th Birthday: Wolfgang Bibel , 2000
- Steffen Hölldobler:
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. Intellectics and Computational Logic 2000: 1-2 - Peter Baumgartner, Norbert Eisinger, Ulrich Furbach:
A Confluent Connection Calculus. Intellectics and Computational Logic 2000: 3-26 - Gerhard Brewka, Thomas Eiter:
Prioritizing Default Logic. Intellectics and Computational Logic 2000: 27-45 - Stefan Brüning, Torsten Schaub:
A Connection Calculus for Handling Incomplete Information. Intellectics and Computational Logic 2000: 47-66 - Ricardo Caferra, Nicolas Peltier:
The Connection Method, Constraints and Model Building. Intellectics and Computational Logic 2000: 67-84 - Robert Demolombe, Luis Fariñas del Cerro:
Towards a Logical Characterization of Sentences of the Kind "Sentence p is about Object c". Intellectics and Computational Logic 2000: 85-99 - Elmar Eder:
The Cut Role in Theorem Proving. Intellectics and Computational Logic 2000: 101-123 - Uwe Egly, Hans Tompits:
Some Strengths of Nonmonotonic Reasoning. Intellectics and Computational Logic 2000: 125-141 - Jutta Eusterbrock:
Compsing Re-usable Synthesis Methods through Graph-based Viewpoints. Intellectics and Computational Logic 2000: 143-158 - Bertram Fronhöfer:
Proof Structures and Matrix Graphs. Intellectics and Computational Logic 2000: 159-173 - Christoph S. Herrmann:
AI and Cognitive Science: Feedback Leads to a New Neural Concept. Intellectics and Computational Logic 2000: 175-188 - Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka:
Matrix-based Constructive Theorem Proving. Intellectics and Computational Logic 2000: 189-205 - Steffen Hölldobler, Hans-Peter Störr:
Complex Plans in the Fluent Calculus. Intellectics and Computational Logic 2000: 207-223 - Gerhard Lakemeyer, Hector J. Levesque:
Querying AOL Knowledge Bases. Intellectics and Computational Logic 2000: 225-244 - Reinhold Letz:
Properties and Relations of Tableau and Connection Calculi. Intellectics and Computational Logic 2000: 245-261 - Erica Melis, Jörg H. Siekmann:
Concepts in Proof Planning. Intellectics and Computational Logic 2000: 263-276 - John Alan Robinson:
Proof = Guarantee + Explanation. Intellectics and Computational Logic 2000: 277-294 - Johann Schumann:
Automated Theorem Proving in High-Quality Software Design. Intellectics and Computational Logic 2000: 295-312 - Antje Strohmaier:
A Complete Neural Network Algorithm for Horn-Sat. Intellectics and Computational Logic 2000: 313-325 - Michael Thielscher:
Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms. Intellectics and Computational Logic 2000: 327-345 - Christian Wagner:
The Illusion of Knowledge. Intellectics and Computational Logic 2000: 347-359 - Christoph Walther:
Criteria for Termination. Intellectics and Computational Logic 2000: 361-386 - Christoph Kreitz:
Epilogue. Intellectics and Computational Logic 2000: 387
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 23:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
