Keywords: DFG-2501-Selected
2017
[6] 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]
[5] 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
[4] 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]
2015
[3] 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]
2014
[2] 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]
[1] Automation of Higher-Order Logic (Christoph Benzmüller, Dale Miller), Chapter in Handbook of the History of Logic, Volume 9 --- Computational Logic (Dov M. Gabbay, Jörg H. Siekmann, John Woods, eds.), North Holland, Elsevier, pp. 215-254, 2014. [bibtex] [pdf] [doi]
Powered by bibtexbrowser