Christoph Benzmüller

Cited by

	All	Since 2017
Citations	4489	1672
h-index	34	18
i10-index	118	53

380

190

285

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202212 50 87 35 74 91 152 151 149 138 147 169 151 201 147 147 173 123 234 214 286 299 367 360 244 100

Public access

View all

78 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Volker SorgeProfessor in Document Analysis and Accessibility, University of BirminghamVerified email at cs.bham.ac.uk
Michael KohlhaseInformatik, FAU Erlangen-NürnbergVerified email at fau.de
Manfred KerberUniversity of BirminghamVerified email at cs.bham.ac.uk
Alexander SteenUniversity of GreifswaldVerified email at uni-greifswald.de
Serge AutexierGerman Research Centre for Artificial Intelligence (DFKI), Bremen, GermanyVerified email at dfki.de
Bruno Woltzenlogel Paleo.Verified email at logic.at
Xavier ParentUniversity of LuxembourgVerified email at uni.lu
Ivana Kruijff-KorbayovaSenior researcher, German Center for Artificial Intelligence (DFKI), Saarland Informatics CampusVerified email at dfki.de
Lawrence PaulsonUniversity of CambridgeVerified email at cam.ac.uk
magdalena wolskaEberhard Karls Universität TübingenVerified email at uni-tuebingen.de
Marvin SchillerRobert Bosch GmbHVerified email at alumni.uni-ulm.de
Geoff SutcliffeDepartment of Computer Science, University of MiamiVerified email at cs.miami.edu
Dr. Claus-Peter WirthResearch Fellow, FB AI, Hochschule HarzVerified email at logic.at
Dimitra TsovaltziResearcher, Saarland UniversityVerified email at edutech.uni-saarland.de
Ali FarjamiDr., University of LuxembourgVerified email at uni.lu
Nik SultanaAssistant professor, Illinois TechVerified email at iit.edu
Adam PeaseOwner, Articulate SoftwareVerified email at articulatesoftware.com
Carsten UllrichCENTOGENE GmbHVerified email at carstenullrich.net
Dana ScottVisiting Scholar, UC BerkeleyVerified email at cs.cmu.edu
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgVerified email at uni.lu

Christoph Benzmüller

Full Professor at University of Bamberg & Professor (apl.) at FU Berlin

Verified email at fu-berlin.de - Homepage

Artificial Intelligence Automated Reasoning Knowledge Representation and Reasoning Logic Formal Argumentation


Title Sort by citations Sort by year Sort by 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	233	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	152	2008
Higher-order semantics and extensionality C Benzmüller, CE Brown, M Kohlhase The Journal of Symbolic Logic 69 (4), 1027-1088, 2004	140	2004
Quantified multimodal logics in simple type theory C Benzmüller, LC Paulson Logica Universalis (Arxiv preprint arXiv:0905.2435, 2009), 2012	125	2012
Proof development with OMEGA J Siekmann, C Benzmüller, V Brezhnev, L Cheikhrouhou, A Fiedler, ... Automated Deduction—CADE-18, 223-254, 2002	113*	2002
System Description: Leo–A Higher-Order Theorem Prover C Benzmüller, M Kohlhase Kirchner and Kirchner [11], 139-144, 1998	109	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	105	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	98	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	91	2015
Automation of Higher-Order Logic C Benzmüller, D Miller Handbook of the History of Logic, Volume 9 --- Computational Logic, 215-254, 2014	75	2014
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	75	2008
The higher-order prover Leo-III A Steen, C Benzmüller International Joint Conference on Automated Reasoning, 108-116, 2018	66	2018
OANTS-combining interactive and automated theorem proving C Benzmüller, V Sorge Symbolic Computation and Automated Reasoning, 81-97, 2001	65	2001
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	63	2016
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	63	2003
Computer supported mathematics with Omega J Siekmann, C Benzmuller, S Autexier Journal of Applied Logic 4 (4), 533-559, 2006	62	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
Multimodal and intuitionistic logics in simple type theory ¹ C Benzmüller, LC Paulson Logic Journal of the IGPL 18 (6), 881-892, 2010	56	2010
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	53	2004
Equality and extensionality in automated higher-order theorem proving C Benzmüller PhD thesis, Naturwissenschaftlich-Technische Fakultät I, Saarland University …, 1999	53	1999

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors