Year: 2017
2017
[15]Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent, Leon van der Torre), In Workshop on Computational Aspects of Arguments and LogiC (CAALC 2017), 2017. [bibtex]
[14] Capability Discovery for Automated Reasoning Systems (Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller), In IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017 (Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov, eds.), EasyChair, Kalpa Publications in Computing, volume 1, 2017. [bibtex] [pdf]
[13] Going Polymorphic - TH1 Reasoning for Leo-III (Alexander Steen, Max Wisniewski, Christoph Benzmüller), In IWIL@LPAR 2017 Workshop and LPAR-21 Short < Presentations, Maun, Botswana, May 7-12, 2017 (Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov, eds.), EasyChair, Kalpa Publications in Computing, volume 1, 2017. [bibtex] [pdf]
[12] 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]
[11] Universal Reasoning, Rational Argumentation and Human-Machine Interaction (Christoph Benzmüller), In arXiv, http://arxiv.org/abs/1703.09620, 2017. [bibtex] [pdf]
[10] 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]
[9] 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]
[8] 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]
[7] 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]
[6]GCAI 2017. 3rd Global Conference on Artificial Intelligence, (Christoph Benzmüller, Christine Lisetti, Martin Theobald, eds.), EasyChair, EPiC Series in Computing, volume 41, 2017. (event-website) (To appear in Oct 2017) [bibtex]
[5] Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract) (Christoph Benzmüller), In Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings (Simone André da Costa Cavalheiro, José Luiz Fiadeiro, eds.), Springer, Lecture Notes in Computer Science, volume 10623, pp. 7--11, 2017. [bibtex] [pdf]
[4] 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, Springer, LNAI, 2017. [bibtex] [pdf]
[3] Leo-III Version 1.1 (System description) (Christoph Benzmüller, Alexander Steen, Max Wisniewski), In IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017 (Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov, eds.), EasyChair, Kalpa Publications in Computing, volume 1, 2017. [bibtex] [pdf]
[2] 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]
[1] Theorem Provers for Every Normal Modal Logic (Tobias Gleißner, Alexander Steen, Christoph Benzmüller), In LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Thomas Eiter, David Sands, eds.), EasyChair, EPiC Series in Computing, volume 46, pp. 14-30, 2017. [bibtex] [pdf]
Powered by bibtexbrowser