Christoph Benzmüller

Navedeno

	Vse	Od leta 2020
Navedbe	5379	1448
indeks h	37	18
indeks i10	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 291 45

Javni dostop

Prikaži vse

75 člankov

1 članek

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Volker SorgeProfessor in Document Analysis and Accessibility, University of BirminghamPreverjeni e-poštni naslov na cs.bham.ac.uk
Michael KohlhaseInformatik, FAU Erlangen-NürnbergPreverjeni e-poštni naslov na fau.de
Alexander SteenUniversity of GreifswaldPreverjeni e-poštni naslov na uni-greifswald.de
Manfred KerberUniversity of BirminghamPreverjeni e-poštni naslov na cs.bham.ac.uk
Serge AutexierGerman Research Centre for Artificial Intelligence (DFKI), Bremen, GermanyPreverjeni e-poštni naslov na dfki.de
Xavier ParentTechnological University of ViennaPreverjeni e-poštni naslov na logic.at
Bruno Woltzenlogel Paleo.Preverjeni e-poštni naslov na logic.at
Ivana Kruijff-KorbayovaGerman Rescue Robotics Center (DRZ)Preverjeni e-poštni naslov na rettungsrobotik.de
Lawrence PaulsonUniversity of CambridgePreverjeni e-poštni naslov na cam.ac.uk
Geoff SutcliffeDepartment of Computer Science, University of MiamiPreverjeni e-poštni naslov na cs.miami.edu
magdalena wolskaBauhaus-Universität WeimarPreverjeni e-poštni naslov na uni-weimar.de
Marvin SchillerRobert Bosch GmbHPreverjeni e-poštni naslov na alumni.uni-ulm.de
Dr. Claus-Peter WirthResearch Fellow, FB AI, Hochschule HarzPreverjeni e-poštni naslov na logic.at
Dimitra TsovaltziResearcher, Saarland UniversityPreverjeni e-poštni naslov na edutech.uni-saarland.de
Ali FarjamiDr., University of LuxembourgPreverjeni e-poštni naslov na uni.lu
Nik SultanaAssistant professor, Illinois Institute of TechnologyPreverjeni e-poštni naslov na iit.edu
Adam PeaseNaval Postgraduate SchoolPreverjeni e-poštni naslov na articulatesoftware.com
Dana ScottVisiting Scholar, UC BerkeleyPreverjeni e-poštni naslov na cs.cmu.edu
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgPreverjeni e-poštni naslov na uni.lu
Carsten Ullrichmacros consultPreverjeni e-poštni naslov na carstenullrich.net

Spremljaj

Christoph Benzmüller

Professor for AI Systems Engineering, University of Bamberg

Preverjeni e-poštni naslov na fu-berlin.de - Domača stran

Artificial Intelligence Automated Reasoning Knowledge Representation and Reasoning Logic Formal


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
Ω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

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji