Type: Article
2017
[38] Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta), In arXiv, http://arxiv.org/abs/1703.09620, 2017. [bibtex] [pdf]
[37] Universal Reasoning, Rational Argumentation and Human-Machine Interaction (Christoph Benzmüller), In arXiv, http://arxiv.org/abs/1703.09620, 2017. [bibtex] [pdf]
[36] Experiments in Computational Metaphysics: Gödel's Proof of God's Existence (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Savijnanam: scientific exploration for a spiritual paradigm. Journal of the Bhaktivedanta Institute, volume 9, pp. 43-57, 2017. [bibtex] [pdf]
[35] Types, Tableaus and Gödel's God in Isabelle/HOL (David Fuenmayor, Christoph Benzmüller), In Archive of Formal Proofs, 2017. (This publication is formally verified with Isabelle/HOL) [bibtex] [pdf]
[34] Computer-Assisted Analysis of the Anderson-Hájek Controversy (Christoph Benzmüller, Leon Weber, Bruno Woltzenlogel Paleo), In Logica Universalis, volume 11, number 1, pp. 139-151, 2017. [bibtex] [pdf] [doi]
[33] Cut-Elimination for Quantified Conditional Logic (Christoph Benzmüller), In Journal of Philosophical Logic, volume 46, number 3, pp. 333-353, 2017. (Springer Nature Link) [bibtex] [pdf] [doi]
2016
[32] Axiomatizing Category Theory in Free Logic (Christoph Benzmüller, Dana S. Scott), In arXiv, http://arxiv.org/abs/1609.01493, 2016. [bibtex] [pdf]
[31] Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic (Alexander Steen, Christoph Benzmüller), In Logic and Logical Philosophy, volume 25, pp. 535-554, 2016. [bibtex] [pdf] [doi]
2015
[30]News --- 25th International Conference on Automated Deduction (CADE-25) (Christoph Benzmüller, Alexander Steen, Max Wisniewski), In Künstliche Intelligenz, volume 29, issue 4, pp. 451-452, 2015. (Non-reviewed conference report) [bibtex] [doi]
[29] The Higher-Order Prover LEO-II (Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank Theiß), In Journal of Automated Reasoning, volume 55, number 4, pp. 389-404, 2015. [bibtex] [pdf] [doi]
2013
[28] Update report: LEO-II version 1.5 (Christoph Benzmüller, Nik Sultana), In CoRR, volume abs/1303.3761, 2013. [bibtex] [pdf]
[27]Automated Verification and Reconstruction of Gödel's Proof of God's Existence (Bruno Woltzenlogel Paleo, Christoph Benzmüller), In OCG Journal, 2013. ((Invited article)) [bibtex]
[26] Gödel's God in Isabelle/HOL (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Archive of Formal Proofs, 2013. (This publication is formally verified with Isabelle/HOL) [bibtex] [pdf]
[25] Sigma: An Integrated Development Environment for Formal Ontology (Adam Pease, Christoph Benzmüller), In AI Communications (Special Issue on Intelligent Engineering Techniques for Knowledge Bases), volume 26, number 1, pp. 79-97, 2013. [bibtex] [pdf] [doi]
[24] Quantified Multimodal Logics in Simple Type Theory (Christoph Benzmüller, Lawrence Paulson), In Logica Universalis (Special Issue on Multimodal Logics), volume 7, number 1, pp. 7-20, 2013. [bibtex] [pdf] [doi]
2012
[23] Higher-order Aspects and Context in SUMO (Christoph Benzmüller, Adam Pease), In Journal of Web Semantics (Special Issue on Reasoning with context in the Semantic Web), volume 12-13, pp. 104-117, 2012. [bibtex] [pdf] [doi]
[22] Embedding and Automating Conditional Logics in Classical Higher-Order Logic (Christoph Benzmüller, Dov Gabbay, Valerio Genovese, Daniele Rispoli), In Annals of Mathematics and Artificial Intelligence, volume 66, number 1-4, pp. 257-271, 2012. [bibtex] [pdf] [doi]
2011
[21] Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logic (Christoph Benzmüller), In Annals of Mathematics and Artificial Intelligence (Special issue Computational logics in Multi-agent Systems (CLIMA XI)), volume 62, number 1-2, pp. 103-128, 2011. (slides) [bibtex] [pdf] [doi]
2010
[20] Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure (Geoff Sutcliffe, Christoph Benzmüller), In Journal of Formalized Reasoning, volume 3, number 1, pp. 1-27, 2010. [bibtex] [pdf]
[19] Multimodal and Intuitionistic Logics in Simple Type Theory (Christoph Benzmüller, Lawrence Paulson), In The Logic Journal of the IGPL, volume 18, number 6, pp. 881-892, 2010. [bibtex] [pdf] [doi]
2009
[18] Preface: Proceedings of the 8th Workshop on User Interfaces for Theorem Provers (UITP 2008) (Serge Autexier, Christoph Benzmüller), In Electronic Notes in Theoretical Computer Science, volume 226, number 1, pp. 1-2, 2009. [bibtex] [pdf] [doi]
[17] Cut-Simulation and Impredicativity (Christoph Benzmüller, Chad Brown, Michael Kohlhase), In Logical Methods in Computer Science, volume 5, number 1:6, pp. 1-21, 2009. [bibtex] [pdf] [doi]
2008
[16] Proof Step Analysis for Proof Tutoring -- A Learning Approach to Granularity (Marvin Schiller, Dominik Dietrich, Christoph Benzmüller), In Teaching Mathematics and Computer Science, volume 6, number 2, pp. 325-343, 2008. [bibtex] [pdf]
[15] Organisation, Transformation, and Propagation of Mathematical Knowledge in Omega (Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner), In Mathematics in Computer Science, volume 2, number 2, pp. 253-277, 2008. [bibtex] [pdf] [doi]
[14] Combined Reasoning by Automated Cooperation (Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber), In Journal of Applied Logic, volume 6, number 3, pp. 318-342, 2008. [bibtex] [pdf] [doi]
2007
[13] Preface: Proceedings of the 7th Workshop on User Interfaces for Theorem Provers (UITP 2006) (Serge Autexier, Christoph Benzmüller), In Electronic Notes in Theoretical Computer Science, volume 174, number 2, pp. 1-2, 2007. [bibtex] [pdf] [doi]
[12] PLATO: A Mediator between Text-Editors and Proof Assistance Systems (Marc Wagner, Serge Autexier, Christoph Benzmüller), In Electronic Notes in Theoretical Computer Science, volume 174, number 2, pp. 87-107, 2007. [bibtex] [pdf] [doi]
2006
[11] Editorial: Towards Computer Aided Mathematics (Christoph Benzmüller), In Journal of Applied Logic, volume 4, number 4, pp. 359-365, 2006. [bibtex] [pdf] [doi]
[10] Computer Supported Mathematics with OMEGA (Jörg Siekmann, Christoph Benzmüller, Serge Autexier), In Journal of Applied Logic, volume 4, number 4, pp. 533-559, 2006. [bibtex] [pdf] [doi]
2004
[9] Interactive Theorem Proving with Tasks (Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier), In Electronic Notes in Theoretical Computer Science, volume 103, number C, pp. 161-181, 2004. [bibtex] [pdf] [doi]
[8] Assertion-level Proof Representation with Under-Specification (Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Bao Quoc Vo), In Electronic Notes in Theoretical Computer Science, volume 93, pp. 5-23, 2004. [bibtex] [pdf] [doi]
[7] Higher-Order Semantics and Extensionality (Christoph Benzmüller, Chad Brown, Michael Kohlhase), In Journal of Symbolic Logic, volume 69, number 4, pp. 1027-1088, 2004. [bibtex] [pdf] [doi]
2003
[6] Automatic Learning of Proof Methods in Proof Planning (Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller), In The Logic Journal of the IGPL, volume 11, number 6, pp. 647-674, 2003. [bibtex] [pdf] [doi]
2002
[5] Comparing Approaches to Resolution based Higher-Order Theorem Proving (Christoph Benzmüller), In Synthese, volume 133, number 1-2, pp. 203-235, 2002. [bibtex] [pdf] [doi]
1999
[4] Agent based Mathematical Reasoning (Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge), In Electronic Notes in Theoretical Computer Science, Elsevier, volume 23, number 3, pp. 21-33, 1999. [bibtex] [pdf] [doi]
[3] An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant? (Jörg Siekmann, Helmut Horacek, Michael Kohlhase, Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Stephan Hess, Karsten Konrad, Andreas Meier, Erica Melis, Volker Sorge), In International Journal of Computing Anticipatory Systems (CASYS), volume 3, pp. 101-110, 1999. [bibtex] [pdf]
[2] LOUI: Lovely OMEGA User Interface (Jörg Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge), In Formal Aspects of Computing, volume 11, number 3, pp. 326-342, 1999. [bibtex] [pdf] [doi]
[1] Integrating TPS and OMEGA (Christoph Benzmüller, Matt Bishop, Volker Sorge), In Journal of Universal Computer Science, volume 5, number 3, pp. 188-207, 1999. [bibtex] [pdf] [doi]
Powered by bibtexbrowser