Christoph Benzmüller

Cited by

	All	Since 2019
Citations	5271	1771
h-index	36	20
i10-index	130	46

380

190

285

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202454 94 32 73 95 162 164 156 149 158 166 159 213 141 148 173 121 232 218 303 283 379 377 251 250 240 269

Public access

View all

76 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
Nik SultanaAssistant professor, Illinois Institute of TechnologyVerified email at iit.edu
Ali FarjamiDr., University of LuxembourgVerified email at uni.lu
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
Adam PeaseNaval Postgraduate SchoolVerified email at articulatesoftware.com
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	244	1997
Higher-order semantics and extensionality C Benzmüller, CE Brown, M Kohlhase The Journal of Symbolic Logic 69 (4), 1027-1088, 2004	154	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	152	2008
Quantified multimodal logics in simple type theory C Benzmüller, LC Paulson Logica Universalis (Arxiv preprint arXiv:0905.2435, 2009), 2012	139	2012
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
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	119	2010
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	112	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	105	2015
The higher-order prover Leo-III A Steen, C Benzmüller Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018	88	2018
Automation of Higher-Order Logic C Benzmüller, D Miller Handbook of the History of Logic, Volume 9 --- Computational Logic, 215-254, 2014	88	2014
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	82	2016
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	81	2020
THF0–the core of the TPTP language for higher-order logic C Benzmüller, F Rabe, G Sutcliffe Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008	79	2008
Universal (meta-) logical reasoning: Recent successes C Benzmüller Science of Computer Programming 172, 48-62, 2019	75	2019
OANTS-combining interactive and automated theorem proving C Benzmüller, V Sorge Symbolic Computation and Automated Reasoning, 81-97, 2001	67	2001
Computer supported mathematics with Omega J Siekmann, C Benzmuller, S Autexier Journal of Applied Logic 4 (4), 533-559, 2006	66	2006
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
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	66	2003
Church’s type theory C Benzmüller, P Andrews	65	2006

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