Keywords: Computational Metaphysics
2017
[23] 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]
[22] 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]
[21] The Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological Argument (David Fuenmayor, Christoph Benzmüller, Alexander Steen, Max Wisniewski), In Handbook of the 2nd World Congress on Logic and Religion, Warsaw, Poland (Stanislaw Krajewski, Piotr Balcerowicz, eds.), pp. 3, 2017. [bibtex] [pdf]
2016
[20] An Object-Logic Explanation for the Inconsistency in Gödel's Ontological Theory (Extended Abstract, Sister Conferences) (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In KI 2016: Advances in Artificial Intelligence, Proceedings (Malte Helmert, Franz Wotawa, eds.), Springer, LNCS, pp. 244-250, 2016. [bibtex] [pdf] [doi]
[19] Einsatz von Theorembeweisern in der Lehre (Max Wisniewski, Alexander Steen, Christoph Benzmüller), In Hochschuldidaktik der Informatik: 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik; 13.-14. September 2016 an der Universität Potsdam (Andreas Schwill, Ulrike Lucke, eds.), Universitätsverlag Potsdam, Commentarii informaticae didacticae (CID), 2016. [bibtex] [pdf]
[18] The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In IJCAI 2016 (Subbarao Kambhampati, ed.), AAAI Press, volume 1-3, pp. 936-942, 2016. (poster, proceedings-version) ((Acceptance rate $\leq 25\%$)) [bibtex] [pdf]
[17] Analysis of an Ontological Proof Proposed by Leibniz (Matthias Bentert, Christoph Benzmüller, David Streit, Bruno Woltzenlogel Paleo), Chapter in Death and Anti-Death, Volume 14: Four Decades after Michael Polanyi, Three Centuries after G.W. Leibniz (Charles Tandy, ed.), Ria University Press, 2016. (Preprint: http://christoph-benzmueller.de/papers/B16.pdf) [bibtex] [pdf]
[16] The Modal Collapse as a Collapse of the Modal Square of Opposition (Christoph Benzmüller, Bruno Woltzenlogel Paleo), Chapter in The Square of Opposition: A Cornerstone of Thought (Collection of papers related to the World Congress on the Square of Opposition IV, Vatican, 2014), http://www.springer.com/us/book/9783319450612 (Jean-Yves Béziau, Gianfranco Basti, eds.), Springer International Publishing Switzerland, Studies in Universal Logic, 2016. [bibtex] [pdf] [doi]
2015
[15] 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]
[14] 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]
[13] 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, www.binstitute.org, pp. 23-40, 2015. (slides) ((Invited paper)) [bibtex] [pdf]
[12] 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]
[11] 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]
[10] 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]
[9] 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]
[8] 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]
2014
[7]Modal Logic in Coq and Scott's Version of Gödel's Proof of God's Existence (Rough Diamond Proof Pearl) (Christoph Benzmüller, Bruno Woltzenlogel Paleo), 2014. ((Non-reviewed, superseded by CSR-2015 paper)) [bibtex]
[6] Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In ECAI 2014 (Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan, eds.), IOS Press, Frontiers in Artificial Intelligence and Applications, volume 263, pp. 93 -- 98, 2014. (slides) ((Acceptance rate $\leq 28\%$)) [bibtex] [pdf] [doi]
[5] Gödel's Proof of God's Existence (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Handbook of the World Congress on the Square of Opposition IV (Jean-Yves Beziau, Katarzyna Gan-Krzywoszynska, eds.), pp. 22-23, 2014. ((superseded by ECAI-2014 paper)) [bibtex] [pdf]
2013
[4] Gödel's God on the Computer (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Proceedings of the 10th International Workshop on the Implementation of Logics (S. Schulz, G. Sutcliffe, B. Konev, eds.), 2013. (event-website) ((Invited paper)) [bibtex] [pdf]
[3] Formalization, Mechanization and Automation of Gödel's Proof of God's Existence (Christoph Benzmüller, Bruno Woltzenlogel Paleo), 2013. (complete-formalisation) ((not reviewed, superseded by ECAI-2014 paper)) [bibtex] [pdf]
[2]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]
[1] 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]
Powered by bibtexbrowser