Publications/Manuscripts of David Fuenmayor
2018
[8] Computational Hermeneutics: Using Computers to Interpret Philosophical Arguments (Abstract) (David Fuenmayor, Christoph Benzmüller), In Logical Correctness, Workshop at UNILOG'2018, UNILOG'2018 Book of Abstracts, 2018. [bibtex] [pdf]
[7]A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument (David Fuenmayor, Christoph Benzmüller), In Journal of Applied Logic (special issue on Formal Approaches to the Ontological Argument), 2018. (To appear) [bibtex]
[6]Computational Hermeneutics: Using Computers for the Logical Analysis of Natural-Language Arguments (David Fuenmayor, Christoph Benzmüller), 2018. (2nd Chinese Conference on Logic and Argumentation, 16-17 June, Hangzhou, China, 2018, Informal Proceedings) [bibtex]
2017
[5] A Case Study on Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument (David Fuenmayor, Christoph Benzmüller), Technical report, PhilPapers, 2017. (https://philpapers.org/rec/FUEACS) [bibtex] [pdf]
[4] Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument (David Fuenmayor, Christoph Benzmüller), In Archive of Formal Proofs, 2017. (This publication is machine verified with Isabelle/HOL, but only mildly human reviewed) [bibtex] [pdf]
[3] Types, Tableaus and Gödel's God in Isabelle/HOL (David Fuenmayor, Christoph Benzmüller), In Archive of Formal Proofs, 2017. (This publication is machine verified with Isabelle/HOL, but only mildly human reviewed) [bibtex] [pdf]
[2] Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic (David Fuenmayor, Christoph Benzmüller), In KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings, Springer, LNAI, volume 10505, pp. 114-127, 2017. [bibtex] [pdf] [doi]
[1] 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]
Powered by bibtexbrowser