Type: Unpublished
2019
[34] What is a proof? What should it be? (Christoph Benzmüller), 2019. (http://arxiv.org/abs/1904.06332) [bibtex] [pdf] [doi]
[33]Automated Reasoning with Complex Ethical Theories -- A Case Study Towards Responsible AI (David Fuenmayor, Christoph Benzmüller), 2019. (Abstract accepted for presentation at symposium) [bibtex]
2018
[32]A Faithful Semantic Embedding of the Dyadic Deontic Logic E in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), 2018. (Url (preprint): http://christoph-benzmueller.de/papers/R59.pdf) [bibtex]
[31]Implementation of Dyadic Deontic Logic E in Isabelle/HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), 2018. (Url (preprint): http://christoph-benzmueller.de/papers/R58.pdf) [bibtex]
[30]Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments (Abstract) (David Fuenmayor, Christoph Benzmüller (PhD Advisor)), 2018. (Deduktionstreffen, LuxLogAI 2018, preprint: http://christoph-benzmueller.de/papers/R69.pdf) [bibtex]
[29]Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments (Abstract) (David Fuenmayor, Christoph Benzmüller (PhD Advisor)), 2018. (Doctoral Consortium, RuleML+RR 2018, preprint: http://christoph-benzmueller.de/papers/R68.pdf) [bibtex]
[28]Computational Hermeneutics: Using Computers for the Logical Analysis of Natural-Language Arguments (Abstract) (David Fuenmayor, Christoph Benzmüller), 2018. (MBR18 SPAIN --- Model-Based Reasoning in Science and Technology: Inferential Models for Logic, Language, Cognition and Computation, preprint: http://christoph-benzmueller.de/papers/R67.pdf) [bibtex]
[27]Studies in Computational Metaphysics --- Results of an Interdisciplinary Research Project (Christoph Benzmüller), 2018. (Url (preprint): http://christoph-benzmueller.de/papers/R64.pdf) [bibtex]
[26]Computational Hermeneutics: Using Computers for the Logical Analysis of Natural-Language Arguments (David Fuenmayor, Christoph Benzmüller), 2018. (2nd Chinese Conference on Logic and Argumentation, 16-17 June, Hangzhou, China, 2018, Informal Proceedings, preprint: http://christoph-benzmueller.de/papers/C73.pdf) [bibtex]
2015
[25]Computational Metaphysics (Christoph Benzmüller, Max Wisniewski, Alexander Steen), 2015. (This lecture course proposal received the 2015 central teaching award of FU Berlin; Url (preprint): http://christoph-benzmueller.de/papers/R57.pdf) [bibtex]
2013
[24] 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]
[23]Update report: LEO-II version 1.5 (Christoph Benzmüller, Nik Sultana), 2013. (CoRR, http://arxiv.org/abs/1303.3761) [bibtex]
[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. (Url (preprint): http://christoph-benzmueller.de/papers/R51.pdf) [bibtex]
[20]LEO-II im Ontologieschliessen -- Antrag auf ein Forschungsvorhaben an die DFG (Christoph Benzmüller), 2009. (Url (preprint): http://christoph-benzmueller.de/papers/R47.pdf) [bibtex]
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. (Url (preprint): http://christoph-benzmueller.de/papers/R41.pdf) [bibtex]
[18]OMEGA: Agent-oriented Proof Planning (Jörg Siekmann, Serge Autexier, Christoph Benzmüller), pp. 1-19, 2008. (Url (preprint): http://christoph-benzmueller.de/papers/R40.pdf) [bibtex]
2006
[17]Semantics of Higher-Order Logic (Christoph Benzmüller, Chad Brown), pp. 1-50, 2006. (Url (preprint): http://christoph-benzmueller.de/papers/R38.pdf) [bibtex]
2005
[16]System Description: A Dialog Manager supporting Tutorial Natural Language Dialogue on Proofs (Mark Buckley, Christoph Benzmüller), 2005. (Url (preprint): http://christoph-benzmueller.de/papers/J11.pdf) [bibtex]
[15]Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWYG Editor (Serge Autexier, Christoph Benzmüller, Armin Fiedler, Henri Lesourd), 2005. (Url (preprint): http://christoph-benzmueller.de/papers/J10.pdf) [bibtex]
2004
[14]Abschlussbericht Projekt HOTEL (Christoph Benzmüller, Michael Kohlhase, Jörg Siekmann), pp. 1-14, 2004. (Url (preprint): http://christoph-benzmueller.de/papers/R34.pdf) [bibtex]
[13]VERMATH: Distributed Mathematical Problem Solving (Serge Autexier, Christoph Benzmüller, Michael Kohlhase, Jörg Siekmann), pp. 1-22, 2004. (Url (preprint): http://christoph-benzmueller.de/papers/R33.pdf) [bibtex]
[12]ALONZO: Higher-Order Reasoning Agents and Semantical Mediation of Mathematical Knowledge (Christoph Benzmüller), pp. 1-29, 2004. (Url (preprint): http://christoph-benzmueller.de/papers/R32.pdf) [bibtex]
[11]OMEGA: Agent-oriented Proof Planning (Jörg Siekmann, Christoph Benzmüller, Serge Autexier), pp. 1-26, 2004. (Url (preprint): http://christoph-benzmueller.de/papers/R31.pdf) [bibtex]
[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. (Url (preprint): http://christoph-benzmueller.de/papers/R30.pdf) [bibtex]
[9]OMEGA: Resource-adaptive Proof Planning (Jörg Siekmann, Christoph Benzmüller, Erica Melis), pp. 1-22, 2004. (Url (preprint): http://christoph-benzmueller.de/papers/R29.pdf) [bibtex]
[8]DIALOG: Tutorial Dialog with an Assistance System for Mathematics (Manfred Pinkal, Jörg Siekmann, Christoph Benzmüller), pp. 1-24, 2004. (Url (preprint): http://christoph-benzmueller.de/papers/R28.pdf) [bibtex]
[7]ALONZO: Higher-Order Reasoning Agents for Mathematics (Christoph Benzmüller), pp. 1-37, 2004. (Url (preprint): http://christoph-benzmueller.de/papers/R23.pdf) [bibtex]
2003
[6]ALONZO: Deduktionsagenten höherer Ordnung für Mathematische Assistenzsysteme (Christoph Benzmüller), pp. 1-43, 2003. (Url (preprint): http://christoph-benzmueller.de/papers/R23.pdf) [bibtex]
2001
[5]OMEGA: Ressourcenadaptive Beweisplanung (Jörg Siekmann, Christoph Benzmüller, Erica Melis), pp. 1-30, 2001. (Url (preprint): http://christoph-benzmueller.de/papers/R25.pdf) [bibtex]
[4]DIALOG: Tutorieller Dialog mit einem Mathematik Assistenzsystem (Manfred Pinkal, Jörg Siekmann, Christoph Benzmüller), pp. 1-34, 2001. (Url (preprint): http://christoph-benzmueller.de/papers/R25.pdf) [bibtex]
1999
[3]Forschungsinteressen am Graduiertenkolleg Kognitionswissenschaft (Christoph Benzmüller), pp. 1-17, 1999. (Url (preprint): http://christoph-benzmueller.de/papers/R8.pdf) [bibtex]
[2]OANTS for Interactive ATP (Christoph Benzmüller, Volker Sorge, John Byrnes), pp. 1-5, 1999. (Url (preprint): http://christoph-benzmueller.de/papers/R12.pdf) [bibtex]
1995
[1]Proposal for my PhD-Study (Christoph Benzmüller), pp. 1-26, 1995. (Url (preprint): http://christoph-benzmueller.de/papers/R3.pdf) [bibtex]
Powered by bibtexbrowser