Christoph Benzmüller

Viittaukset

	Kaikki	2018 lähtien
Sitaatit	4794	1648
h-indeksi	35	20
i10-indeksi	125	45

420

210

105

315

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202312 49 93 30 79 94 155 152 145 140 158 162 146 206 144 148 176 123 236 221 299 268 403 379 281 247 64

Yleisessä käytössä

Näytä kaikki

71 artikkelia

1 artikkeli

käytettävissä

ei käytettävissä

Perustuu rahoitusehtoihin

Muut kirjoittajat

Volker SorgeProfessor in Document Analysis and Accessibility, University of BirminghamVahvistettu sähköpostiosoite verkkotunnuksessa cs.bham.ac.uk
Michael KohlhaseInformatik, FAU Erlangen-NürnbergVahvistettu sähköpostiosoite verkkotunnuksessa fau.de
Alexander SteenUniversity of GreifswaldVahvistettu sähköpostiosoite verkkotunnuksessa uni-greifswald.de
Manfred KerberUniversity of BirminghamVahvistettu sähköpostiosoite verkkotunnuksessa cs.bham.ac.uk
Serge AutexierGerman Research Centre for Artificial Intelligence (DFKI), Bremen, GermanyVahvistettu sähköpostiosoite verkkotunnuksessa dfki.de
Bruno Woltzenlogel Paleo.Vahvistettu sähköpostiosoite verkkotunnuksessa logic.at
Xavier ParentTechnological University of ViennaVahvistettu sähköpostiosoite verkkotunnuksessa logic.at
Ivana Kruijff-KorbayovaSenior researcher, German Center for Artificial Intelligence (DFKI), Saarland Informatics CampusVahvistettu sähköpostiosoite verkkotunnuksessa dfki.de
Lawrence PaulsonUniversity of CambridgeVahvistettu sähköpostiosoite verkkotunnuksessa cam.ac.uk
magdalena wolskaBauhaus-Universität WeimarVahvistettu sähköpostiosoite verkkotunnuksessa uni-weimar.de
Geoff SutcliffeDepartment of Computer Science, University of MiamiVahvistettu sähköpostiosoite verkkotunnuksessa cs.miami.edu
Marvin SchillerRobert Bosch GmbHVahvistettu sähköpostiosoite verkkotunnuksessa alumni.uni-ulm.de
Dr. Claus-Peter WirthResearch Fellow, FB AI, Hochschule HarzVahvistettu sähköpostiosoite verkkotunnuksessa logic.at
Dimitra TsovaltziResearcher, Saarland UniversityVahvistettu sähköpostiosoite verkkotunnuksessa edutech.uni-saarland.de
Ali FarjamiDr., University of LuxembourgVahvistettu sähköpostiosoite verkkotunnuksessa uni.lu
Nik SultanaAssistant professor, Illinois TechVahvistettu sähköpostiosoite verkkotunnuksessa iit.edu
Adam PeaseOwner, Articulate SoftwareVahvistettu sähköpostiosoite verkkotunnuksessa articulatesoftware.com
Carsten Ullrichmacros consultVahvistettu sähköpostiosoite verkkotunnuksessa carstenullrich.net
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgVahvistettu sähköpostiosoite verkkotunnuksessa uni.lu
Dana ScottVisiting Scholar, UC BerkeleyVahvistettu sähköpostiosoite verkkotunnuksessa cs.cmu.edu

Seuraa

Christoph Benzmüller

Professor for AI Systems Engineering, University of Bamberg

Vahvistettu sähköpostiosoite verkkotunnuksessa fu-berlin.de - Kotisivu

Artificial Intelligence Automated Reasoning Knowledge Representation and Reasoning Logic Formal Argumentation


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
Ω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	239	1997
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	153	2008
Higher-order semantics and extensionality C Benzmüller, CE Brown, M Kohlhase The Journal of Symbolic Logic 69 (4), 1027-1088, 2004	146	2004
Quantified multimodal logics in simple type theory C Benzmüller, LC Paulson Logica Universalis (Arxiv preprint arXiv:0905.2435, 2009), 2012	134	2012
Proof development with OMEGA J Siekmann, C Benzmüller, V Brezhnev, L Cheikhrouhou, A Fiedler, ... Automated Deduction—CADE-18, 223-254, 2002	114*	2002
System Description: Leo–A Higher-Order Theorem Prover C Benzmüller, M Kohlhase Kirchner and Kirchner [11], 139-144, 1998	111	1998
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	110	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	110	2010
The higher-order prover LEO-II C Benzmüller, N Sultana, LC Paulson, F Theiß Journal of Automated Reasoning 55 (4), 389-404, 2015	99	2015
Automation of Higher-Order Logic C Benzmüller, D Miller Handbook of the History of Logic, Volume 9 --- Computational Logic, 215-254, 2014	83	2014
The higher-order prover Leo-III A Steen, C Benzmüller Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018	82	2018
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	74	2008
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	72	2016
OANTS-combining interactive and automated theorem proving C Benzmüller, V Sorge Symbolic Computation and Automated Reasoning, 81-97, 2001	68	2001
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
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	62	2003
Universal (meta-) logical reasoning: Recent successes C Benzmüller Science of Computer Programming 172, 48-62, 2019	59	2019
Multimodal and intuitionistic logics in simple type theory ¹ C Benzmüller, LC Paulson Logic Journal of the IGPL 18 (6), 881-892, 2010	59	2010
LOUI: Lovely OMEGA User Interface J Siekmann, S Hess, C Benzmüller, L Cheikhrouhou, A Fiedler, ... Formal Aspects of Computing 11, 326-342, 1999	58*	1999

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–20

Sitaatteja vuodessa

Päällekkäiset lähteet

Yhdistetyt sitaatit

Lisää muut kirjoittajatMuut kirjoittajat

Seuraa

Viittaukset

Muut kirjoittajat