Year: 1999
1999
[11](Invited) Extensional Higher Order Resolution, Paramodulation and RUE-Resolution (Christoph Benzmüller), Theoretical Computer Science Seminar, School of Computer Science, The University of Birmingham, UK, 1999. (slides)
[10](Invited) A two layered Agent Approach for Guiding Interactive Proofs (Christoph Benzmüller), Theoretical Computer Science Seminar, School of Computer Science, The University of Birmingham, UK, 1999.
[9]Towards Fine-Grained Proof Planning with Critical Agents (poster) (Christoph Benzmüller), AISB, 1999. (poster)
[8]Agent based Proof Planning (poster) (Christoph Benzmüller), Poster at the 6th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice; in conjunction with AISB'99 Convention, Edinburgh, Scotland, 1999.
[7]On Automated Higher-Theorem Proving and Henkin Completeness (Christoph Benzmüller), Forschungskolloquium der Studienstiftung des Deutschen Volkes, Berlin, Germany, 1999. (slides)
[6]Extensional Higher-Order Paramodulation and RUE-Resolution (Christoph Benzmüller), 16th Conference on Automated Deduction, Trento, Italy, 1999. (slides)
[5]Agent Based Mathematical Reasoning (Christoph Benzmüller), CALCULEMUS Workshop, Trento, Italy, 1999. (slides)
[4]Gleichheit und Extensionalität im automatischen Beweisen in Logik höherer Stufe (Christoph Benzmüller), Promotionskolloquium, Saarbrücken, Germany,, 1999.
[3]Critical Agents Supporting Interactive Theorem Proving (Christoph Benzmüller), 9th Portuguese Conference on Artificial Intelligence, Evora, Portugal, 1999. (slides)
[2]Ressourcenadaptive Vorschlagsagenten im Interaktiven Beweisen (Christoph Benzmüller), Kollegiatentag im Rahmen der Herbstschule Kognitionswissenschaft, Saarbrücken, Germany, 1999.
[1]Ist KI eine empirische Wissenschaft? (Christoph Benzmüller), SAG-WAS der AG Siekmann, Schloss Dagstuhl, Germany, 1999.
Powered by bibtexbrowser