Christoph Benzmüller
Christoph Benzmüller
Professor, FU Berlin (& U Luxembourg)
Verified email at fu-berlin.de - Homepage
Title
Cited by
Cited by
Year
Ωmega: Towards a mathematical assistant
C Benzmüller, L Cheikhrouhou, D Fehrer, A Fiedler, X Huang, M Kerber, ...
International Conference on Automated Deduction, 252-255, 1997
2251997
LEO-II-a cooperative automatic theorem prover for classical higher-order logic (system description)
C Benzmüller, LC Paulson, F Theiss, A Fietzke
International Joint Conference on Automated Reasoning, 162-170, 2008
1422008
Higher-order semantics and extensionality
C Benzmüller, CE Brown, M Kohlhase
Journal of Symbolic Logic 69 (4), 1027-1088, 2004
1272004
Quantified multimodal logics in simple type theory
C Benzmüller, LC Paulson
Logica Universalis (Arxiv preprint arXiv:0905.2435, 2009), 2012
1112012
Proof development with OMEGA
J Siekmann, C Benzmüller, V Brezhnev, L Cheikhrouhou, A Fiedler, ...
Automated Deduction—CADE-18, 223-254, 2002
111*2002
System Description: Leo–A Higher-Order Theorem Prover
C Benzmüller, M Kohlhase
Kirchner and Kirchner [11], 139-144, 1998
1001998
Automated reasoning in higher-order logic using the TPTP THF infrastructure
G Sutcliffe, C Benzmüller
Journal of Formalized Reasoning 3 (1), 1-27, 2010
992010
The higher-order prover LEO-II
C Benzmüller, N Sultana, LC Paulson, F Theiß
Journal of Automated Reasoning 55 (4), 389-404, 2015
842015
Automating Gödel's ontological proof of God's existence with higher-order automated theorem provers
C Benzmüller, B Woltzenlogel-Paleo
Proceedings of the Twenty-first European Conference on Artificial …, 2014
822014
THF0–the core of the TPTP language for higher-order logic
C Benzmüller, F Rabe, G Sutcliffe
International Joint Conference on Automated Reasoning, 491-506, 2008
732008
OANTS-combining interactive and automated theorem proving
C Benzmüller, V Sorge
Symbolic Computation and Automated Reasoning, 81-97, 2001
662001
Computer supported mathematics with Omega
J Siekmann, C Benzmuller, S Autexier
Journal of Applied Logic 4 (4), 533-559, 2006
612006
Tutorial dialogs on mathematical proofs
C Benzmüller, A Fiedler, M Gabsdil, H Horacek, I Kruijff-Korbayová, ...
IJCAI-03 Workshop on Knowledge Representation and Automated Reasoning for E …, 2003
612003
Automation of Higher-Order Logic
C Benzmüller, D Miller
Handbook of the History of Logic, Volume 9 --- Computational Logic, 215-254, 2014
592014
A Wizard-of-Oz experiment for tutorial dialogues in mathematics
C Benzmüller, A Fiedler, M Gabsdil, H Horacek, M Pinkal, J Siekmann, ...
Proceedings of the AIED Workshop on Advanced Technologies for Mathematics …, 2003
592003
LOUI: Lovely OMEGA User Interface
J Siekmann, S Hess, C Benzmüller, L Cheikhrouhou, A Fiedler, ...
Formal Aspects of Computing 11, 326-342, 1999
55*1999
Equality and extensionality in automated higher-order theorem proving
C Benzmüller
PhD thesis, Naturwissenschaftlich-Technische Fakultät I, Saarland University …, 1999
541999
The inconsistency in Gödel's ontological argument: a success story for AI in metaphysics
C Benzmüller, BW Paleo
Proceedings of the Twenty-Fifth International Joint Conference on Artificial …, 2016
532016
An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving.
M Wolska, QB Vo, D Tsovaltzi, I Kruijff-Korbayová, E Karagjosova, ...
International Conference on Language Resources and Evaluation (LREC 2004), 2004
502004
The higher-order prover Leo-III
A Steen, C Benzmüller
International Joint Conference on Automated Reasoning, 108-116, 2018
492018
The system can't perform the operation now. Try again later.
Articles 1–20