Christoph Benzmüller

Cited by

	All	Since 2020
Citations	5385	1454
h-index	37	18
i10-index	129	35

400

200

100

300

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202513 53 94 35 70 95 165 164 159 154 155 171 159 215 145 149 182 128 236 220 306 295 381 378 249 245 237 295 47

Public access

View all

75 articles

1 article

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
Alexander SteenUniversity of GreifswaldVerified email at uni-greifswald.de
Manfred KerberUniversity of BirminghamVerified email at cs.bham.ac.uk
Serge AutexierGerman Research Centre for Artificial Intelligence (DFKI), Bremen, GermanyVerified email at dfki.de
Xavier ParentTechnological University of ViennaVerified email at logic.at
Bruno Woltzenlogel Paleo.Verified email at logic.at
Ivana Kruijff-KorbayovaGerman Rescue Robotics Center (DRZ)Verified email at rettungsrobotik.de
Lawrence PaulsonUniversity of CambridgeVerified email at cam.ac.uk
Geoff SutcliffeDepartment of Computer Science, University of MiamiVerified email at cs.miami.edu
magdalena wolskaBauhaus-Universität WeimarVerified email at uni-weimar.de
Marvin SchillerRobert Bosch GmbHVerified email at alumni.uni-ulm.de
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 Institute of TechnologyVerified email at iit.edu
Adam PeaseNaval Postgraduate SchoolVerified email at articulatesoftware.com
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
Carsten Ullrichmacros consultVerified email at carstenullrich.net

Christoph Benzmüller

Professor for AI Systems Engineering, University of Bamberg

Verified email at fu-berlin.de - Homepage

Artificial Intelligence Automated Reasoning Knowledge Representation and Reasoning Logic Formal


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, ... Automated Deduction—CADE-14: 14th International Conference on Automated …, 1997	243	1997
Higher-order semantics and extensionality C Benzmüller, CE Brown, M Kohlhase The Journal of Symbolic Logic 69 (4), 1027-1088, 2004	158	2004
LEO-II-a cooperative automatic theorem prover for classical higher-order logic (system description) C Benzmüller, LC Paulson, F Theiss, A Fietzke Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008	157	2008
Quantified multimodal logics in simple type theory C Benzmüller, LC Paulson Logica Universalis (Arxiv preprint arXiv:0905.2435, 2009), 2012	141	2012
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	121	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	120	2014
Proof development with OMEGA J Siekmann, C Benzmüller, V Brezhnev, L Cheikhrouhou, A Fiedler, ... Automated Deduction—CADE-18, 223-254, 2002	115*	2002
System Description: Leo–A Higher-Order Theorem Prover C Benzmüller, M Kohlhase Kirchner and Kirchner [11], 139-144, 1998	115	1998
The higher-order prover LEO-II C Benzmüller, N Sultana, LC Paulson, F Theiß Journal of Automated Reasoning 55 (4), 389-404, 2015	106	2015
The higher-order prover Leo-III A Steen, C Benzmüller Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018	90	2018
Automation of Higher-Order Logic C Benzmüller, D Miller Handbook of the History of Logic, Volume 9 --- Computational Logic, 215-254, 2014	90	2014
Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support C Benzmüller, X Parent, L van der Torre Artificial intelligence 287, 103348, 2020	86	2020
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	84	2016
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	81	2008
Universal (meta-) logical reasoning: Recent successes C Benzmüller Science of Computer Programming 172, 48-62, 2019	77	2019
OANTS-combining interactive and automated theorem proving C Benzmüller, V Sorge Symbolic Computation and Automated Reasoning, 81-97, 2001	69	2001
Computer supported mathematics with Omega J Siekmann, C Benzmuller, S Autexier Journal of Applied Logic 4 (4), 533-559, 2006	67	2006
Church’s type theory C Benzmüller, P Andrews	67	2006
LOUI: Lovely OMEGA User Interface J Siekmann, S Hess, C Benzmüller, L Cheikhrouhou, A Fiedler, ... Formal Aspects of Computing 11, 326-342, 1999	67*	1999
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	66	2003

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

Cited by

Co-authors