Type: Unpublished
2015
[24] Computational Metaphysics --- Bewerbung zum zentralen Lehrpreis der Freien Universität Berlin (Christoph Benzmüller, Max Wisniewski, Alexander Steen), 2015. (This lecture course proposal received the 2015 central teaching award of FU Berlin) [bibtex] [pdf]
2013
[23] Formalization, Mechanization and Automation of Gödel's Proof of God's Existence (Christoph Benzmüller, Bruno Woltzenlogel Paleo), 2013. (complete-formalisation) ((not reviewed, superseded by ECAI-2014 paper)) [bibtex] [pdf]
[22]CADE 2015 in Berlin: A Proposal (Christoph Benzmüller), 2013. [bibtex]
2009
[21] Effective Higher-Order Automated Theorem Proving with integrated Descente Infinie and Presburger Arithmetic LEO-III (Christoph Benzmüller, Claus-Peter Wirth), 2009. [bibtex] [pdf]
[20] LEO-II im Ontologieschliessen -- Antrag auf ein Forschungsvorhaben an die DFG (Christoph Benzmüller), 2009. [bibtex] [pdf]
2008
[19] DIALOG: Natural Language-based Interaction with a Mathematics Assistance System (Manfred Pinkal, Jörg Siekmann, Christoph Benzmüller, Ivana Kruijff-Korbayova), pp. 1-20, 2008. (Project report in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[18] OMEGA: Agent-oriented Proof Planning (Jörg Siekmann, Serge Autexier, Christoph Benzmüller), pp. 1-19, 2008. (Project report in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
2006
[17] Semantics of Higher-Order Logic (Christoph Benzmüller, Chad Brown), pp. 1-50, 2006. (Course Notes from the 18th European Summer School in Logic, Language and Information (ESSLLI'06)) [bibtex] [pdf]
2005
[16] System Description: A Dialog Manager supporting Tutorial Natural Language Dialogue on Proofs (Mark Buckley, Christoph Benzmüller), 2005. (This article was formally accepted for the UITP'05 post-proceedings in ENTCS; this volume did not appear though.) [bibtex] [pdf]
[15] Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWYG Editor (Serge Autexier, Christoph Benzmüller, Armin Fiedler, Henri Lesourd), 2005. (This article was formally accepted for the UITP'05 post-proceedings in ENTCS; this volume did not appear though.) [bibtex] [pdf]
2004
[14] Abschlussbericht Projekt HOTEL (Christoph Benzmüller, Michael Kohlhase, Jörg Siekmann), pp. 1-14, 2004. (DFG research grant report) [bibtex] [pdf]
[13] VERMATH: Distributed Mathematical Problem Solving (Serge Autexier, Christoph Benzmüller, Michael Kohlhase, Jörg Siekmann), pp. 1-22, 2004. (DFG research grant proposal) [bibtex] [pdf]
[12] ALONZO: Higher-Order Reasoning Agents and Semantical Mediation of Mathematical Knowledge (Christoph Benzmüller), pp. 1-29, 2004. (DFG research grant proposal) [bibtex] [pdf]
[11] OMEGA: Agent-oriented Proof Planning (Jörg Siekmann, Christoph Benzmüller, Serge Autexier), pp. 1-26, 2004. (Project proposal in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[10] DIALOG: Natural Language-based Interaction with a Mathematics Assistance System (Manfred Pinkal, Jörg Siekmann, Christoph Benzmüller, Ivana Kruijff-Korbayova), pp. 1-31, 2004. (Project proposal in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[9] OMEGA: Resource-adaptive Proof Planning (Jörg Siekmann, Christoph Benzmüller, Erica Melis), pp. 1-22, 2004. (Project report in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[8] DIALOG: Tutorial Dialog with an Assistance System for Mathematics (Manfred Pinkal, Jörg Siekmann, Christoph Benzmüller), pp. 1-24, 2004. (Project report in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[7] ALONZO: Higher-Order Reasoning Agents for Mathematics (Christoph Benzmüller), pp. 1-37, 2004. (EURYI project proposal) [bibtex] [pdf]
2003
[6] ALONZO: Deduktionsagenten höherer Ordnung für Mathematische Assistenzsysteme (Christoph Benzmüller), pp. 1-43, 2003. (Project proposal in the DFG Aktionsplan Informatik) [bibtex] [pdf]
2001
[5] OMEGA: Ressourcenadaptive Beweisplanung (Jörg Siekmann, Christoph Benzmüller, Erica Melis), pp. 1-30, 2001. (Project proposal in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
[4] DIALOG: Tutorieller Dialog mit einem Mathematik Assistenzsystem (Manfred Pinkal, Jörg Siekmann, Christoph Benzmüller), pp. 1-34, 2001. (Project proposal in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes) [bibtex] [pdf]
1999
[3] Forschungsinteressen am Graduiertenkolleg Kognitionswissenschaft (Christoph Benzmüller), pp. 1-17, 1999. (Draft, AG Siekmann, Saarland University) [bibtex] [pdf]
[2] OANTS for Interactive ATP (Christoph Benzmüller, Volker Sorge, John Byrnes), pp. 1-5, 1999. (Draft, AG Siekmann, Saarland University) [bibtex] [pdf]
1995
[1] Proposal for my PhD-Study (Christoph Benzmüller), pp. 1-26, 1995. (Draft, AG Siekmann, Saarland University) [bibtex] [pdf]
Powered by bibtexbrowser