Christoph Benzmüller

Citeras av

	Alla	Sedan 2020
Citat	5380	1449
h-index	37	18
i10-index	129	34

400

200

100

300

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202513 53 94 35 70 95 165 164 159 154 155 171 159 215 145 149 182 128 236 219 307 295 381 378 249 245 237 292 45

Offentlig åtkomst

Visa alla

75 artiklar

1 artikel

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Volker SorgeProfessor in Document Analysis and Accessibility, University of BirminghamVerifierad e-postadress på cs.bham.ac.uk
Michael KohlhaseInformatik, FAU Erlangen-NürnbergVerifierad e-postadress på fau.de
Alexander SteenUniversity of GreifswaldVerifierad e-postadress på uni-greifswald.de
Manfred KerberUniversity of BirminghamVerifierad e-postadress på cs.bham.ac.uk
Serge AutexierGerman Research Centre for Artificial Intelligence (DFKI), Bremen, GermanyVerifierad e-postadress på dfki.de
Xavier ParentTechnological University of ViennaVerifierad e-postadress på logic.at
Bruno Woltzenlogel Paleo.Verifierad e-postadress på logic.at
Ivana Kruijff-KorbayovaGerman Rescue Robotics Center (DRZ)Verifierad e-postadress på rettungsrobotik.de
Lawrence PaulsonUniversity of CambridgeVerifierad e-postadress på cam.ac.uk
Geoff SutcliffeDepartment of Computer Science, University of MiamiVerifierad e-postadress på cs.miami.edu
magdalena wolskaBauhaus-Universität WeimarVerifierad e-postadress på uni-weimar.de
Marvin SchillerRobert Bosch GmbHVerifierad e-postadress på alumni.uni-ulm.de
Dr. Claus-Peter WirthResearch Fellow, FB AI, Hochschule HarzVerifierad e-postadress på logic.at
Dimitra TsovaltziResearcher, Saarland UniversityVerifierad e-postadress på edutech.uni-saarland.de
Ali FarjamiDr., University of LuxembourgVerifierad e-postadress på uni.lu
Nik SultanaAssistant professor, Illinois Institute of TechnologyVerifierad e-postadress på iit.edu
Adam PeaseNaval Postgraduate SchoolVerifierad e-postadress på articulatesoftware.com
Dana ScottVisiting Scholar, UC BerkeleyVerifierad e-postadress på cs.cmu.edu
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgVerifierad e-postadress på uni.lu
Carsten Ullrichmacros consultVerifierad e-postadress på carstenullrich.net

Följ

Christoph Benzmüller

Professor for AI Systems Engineering, University of Bamberg

Verifierad e-postadress på fu-berlin.de - Startsida

Artificial Intelligence Automated Reasoning Knowledge Representation and Reasoning Logic Formal


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Ω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

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare