Theo dõi
Christoph Benzmüller
Christoph Benzmüller
Professor for AI Systems Engineering, University of Bamberg
Email được xác minh tại fu-berlin.de - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Ω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
2431997
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
1572008
Higher-order semantics and extensionality
C Benzmüller, CE Brown, M Kohlhase
The Journal of Symbolic Logic 69 (4), 1027-1088, 2004
1572004
Quantified multimodal logics in simple type theory
C Benzmüller, LC Paulson
Logica Universalis (Arxiv preprint arXiv:0905.2435, 2009), 2012
1412012
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
1212010
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
1202014
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
1151998
The higher-order prover LEO-II
C Benzmüller, N Sultana, LC Paulson, F Theiß
Journal of Automated Reasoning 55 (4), 389-404, 2015
1062015
The higher-order prover Leo-III
A Steen, C Benzmüller
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
902018
Automation of Higher-Order Logic
C Benzmüller, D Miller
Handbook of the History of Logic, Volume 9 --- Computational Logic, 215-254, 2014
892014
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
852020
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
842016
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
812008
Universal (meta-) logical reasoning: Recent successes
C Benzmüller
Science of Computer Programming 172, 48-62, 2019
772019
OANTS-combining interactive and automated theorem proving
C Benzmüller, V Sorge
Symbolic Computation and Automated Reasoning, 81-97, 2001
692001
Computer supported mathematics with Omega
J Siekmann, C Benzmuller, S Autexier
Journal of Applied Logic 4 (4), 533-559, 2006
672006
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
Church’s type theory
C Benzmüller, P Andrews
662006
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
662003
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20