| Ω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 | 224 | 1997 |
| 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 | 142 | 2008 |
| Higher-order semantics and extensionality C Benzmüller, CE Brown, M Kohlhase Journal of Symbolic Logic 69 (4), 1027-1088, 2004 | 130 | 2004 |
| Quantified multimodal logics in simple type theory C Benzmüller, LC Paulson Logica Universalis (Arxiv preprint arXiv:0905.2435, 2009), 2012 | 115 | 2012 |
| 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 | 106 | 1998 |
| 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 | 101 | 2010 |
| 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 | 92 | 2014 |
| The higher-order prover LEO-II C Benzmüller, N Sultana, LC Paulson, F Theiß Journal of Automated Reasoning 55 (4), 389-404, 2015 | 84 | 2015 |
| 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 | 73 | 2008 |
| OANTS-combining interactive and automated theorem proving C Benzmüller, V Sorge Symbolic Computation and Automated Reasoning, 81-97, 2001 | 66 | 2001 |
| Automation of Higher-Order Logic C Benzmüller, D Miller Handbook of the History of Logic, Volume 9 --- Computational Logic, 215-254, 2014 | 64 | 2014 |
| Computer supported mathematics with Omega J Siekmann, C Benzmuller, S Autexier Journal of Applied Logic 4 (4), 533-559, 2006 | 61 | 2006 |
| 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 | 61 | 2003 |
| 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 | 60 | 2003 |
| 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 | 58 | 2016 |
| 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 | 55 | 1999 |
| The higher-order prover Leo-III A Steen, C Benzmüller International Joint Conference on Automated Reasoning, 108-116, 2018 | 53 | 2018 |
| 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 | 50 | 2004 |
Volker SorgeReader in Scientific Document Analysis, University of BirminghamVerified email at cs.bham.ac.uk
