Year: 2015
[18] On Logic Embeddings and Gödel's God (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers (Mihai Codescu, Razvan Diaconescu, Ionut Tutu, eds.), Springer, LNCS, number 9563, pp. 3-6, 2015. ((Invited paper)) [bibtex] [pdf] [doi]
[17] HOL Provers for First-order Modal Logics --- Experiments (Christoph Benzmüller), In ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics (Christoph Benzmüller, Jens Otten, eds.), EasyChair, EPiC Series in Computing, volume 33, pp. 37-41, 2015. [bibtex] [pdf]
[16] Computational Metaphysics --- Bewerbung zum zentralen Lehrpreis der Freien Universität Berlin (Christoph Benzmüller, Max Wisniewski, Alexander Steen), 2015. (This lecture course proposal received the 2015 central teaching award of FU Berlin) [bibtex] [pdf]
[15]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]
[14] The Higher-Order Prover LEO-II (Christoph Benzmüller, Lawrence C. Paulson, Nik Sultana, Frank Theiß), In Journal of Automated Reasoning, volume 55, number 4, pp. 389-404, 2015. [bibtex] [pdf] [doi]
[13] ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics, (Christoph Benzüller, Jens Otten, eds.), EasyChair, EPiC Series in Computing, volume 33, pp. 1-86, 2015. (event-website) [bibtex] [pdf]
[12] Experiments in Computational Metaphysics: Gödel's Proof of God's Existence (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Science & Spiritual Quest, Proceedings of the 9th All India Students' Conference, 30th October -- 1 November, 2015, IIT Kharagpur, India (Subhash C. Mishram, Ramgopal Uppaluri, Varun Agarwal, eds.), Bhaktivedanta Institute, Kolkata,, pp. 23-40, 2015. (slides) ((Invited paper)) [bibtex] [pdf]
[11] There Is No Best Beta-Normalization Strategy for Higher-Order Reasoners (Alexander Steen, Christoph Benzmüller), In Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) (M. Davis, A. Fehnker, A. McIver, A. Voronkov, eds.), Springer, LNAI, volume 9450, pp. 329-339, 2015. [bibtex] [pdf] [doi]
[10] Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (Christoph Benzmüller), In TABLEAUX 2015 (Hans De Nivelle, ed.), Springer, LNAI, volume 9323, pp. 213-220, 2015. ((Invited paper)) [bibtex] [pdf] [doi]
[9] Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic (Alexander Steen, Christoph Benzmüller), In 7th International Conference Non-Classical Logic -- Theory and Applications, Torun, Poland, 2015. [bibtex] [pdf]
[8] Proofs and reconstructions (Nik Sultana, Christoph Benzmüller, Lawrence C. Paulson), In FroCoS 2015 (Carsten Lutz, Silvio Ranise, eds.), Springer, LNAI, volume 9322, pp. 256-271, 2015. [bibtex] [pdf] [doi]
[7] Systematic Verification of the Modal Logic Cube in Isabelle/HOL (Christoph Benzmüller, Maximilian Claus, Nik Sultana), In PxTP 2015 (Cezary Kaliszyk, Andrei Paskevich, eds.), EPTCS, volume 186, pp. 27-41, 2015. (slides) [bibtex] [pdf] [doi]
[6] Higher-Order Modal Logics: Automation and Applications (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Reasoning Web 2015 (Adrian Paschke, Wolfgang Faber, eds.), Springer, LNCS, number 9203, pp. 32-74, 2015. ((Invited paper)) [bibtex] [pdf] [doi]
[5] LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners (Max Wisniewski, Alexander Steen, Christoph Benzmüller), In Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings (Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge, eds.), Springer, LNCS, volume 9150, pp. 325--330, 2015. [bibtex] [pdf] [doi]
[4] Interacting with Modal Logics in the Coq Proof Assistant (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings (Lev D. Beklemishev, Daniil V. Musatov, eds.), Springer, LNCS, volume 9139, pp. 398--411, 2015. [bibtex] [pdf] [doi]
[3] Gödel's Ontological Argument Revisited -- Findings from a Computer-supported Analysis (invited) (Christoph Benzmüller), In Handbook of the 1st World Congress on Logic and Religion, João Pessoa, Brazil (Ricardo Souza Silvestre, Jean-Yves Béziau, eds.), pp. 13, 2015. ((Invited abstract)) [bibtex] [pdf]
[2] Computer-Assisted Analysis of the Anderson-Hájek Ontological Controversy (Christoph Benzmüller, Leon Weber, Bruno Woltzenlogel Paleo), In Handbook of the 1st World Congress on Logic and Religion, Joao Pessoa, Brasil (Ricardo Souza Silvestre, Jean-Yves Béziau, eds.), pp. 53-54, 2015. ((superseded by 2016 article in Logica Universalis)) [bibtex] [pdf]
[1] Higher-Order Automated Theorem Provers (Christoph Benzmüller), Chapter in All about Proofs, Proof for All (David Delahaye, Bruno Woltzenlogel Paleo, eds.), College Publications, Mathematical Logic and Foundations, pp. 171-214, 2015. (publisher) [bibtex] [pdf]
Powered by bibtexbrowser