Year: 2019
2019
[17] Computational Metaphysics: New Insights on Gödel's Ontological Argument and Modal Collapse (Christoph Benzmüller), In Formal Methods and Science in Philosophy III, Informal Proceedings (Srecko Kovac, Kordula Swietorzecka, eds.), pp. 3--4, 2019. [bibtex] [pdf]
[16] Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories (David Fuenmayor, Christoph Benzmüller), Technical report, CoRR, 2019. (http://arxiv.org/abs/1804.02929) [bibtex] [pdf]
[15] What is a proof? What should it be? (Christoph Benzmüller), 2019. (http://arxiv.org/abs/1904.06332) [bibtex] [pdf] [doi]
[14]RuleML+RR (Rules and Reasoning Symposium) 2018 Report (Christoph Benzmüller, Xavier Parent, Francesco Ricca), In AI Magazine, 2019. (In print) [bibtex]
[13] Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support (Christoph Benzmüller, Xavier Parent, Leendert van der Torre), In preprint of (submitted) article, 2019. (Url (preprint): http://doi.org/10.13140/RG.2.2.10502.42561) [bibtex] [pdf]
[12]Computer Science and Metaphysics: A Cross-Fertilization (Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta), In preprint of (submitted) article, 2019. (Url (preprint): http://doi.org/10.13140/RG.2.2.25229.18403) [bibtex]
[11]I/O Logic in HOL (Ali Farjami, Paul Meder, Xavier Parent, Christoph Benzmüller), In Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications, 2019. (To appear, URL (preprint): http://orbilu.uni.lu/handle/10993/37013) [bibtex]
[10] Åqvist's Dyadic Deontic Logic E in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), In Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications (Laura Alonso Alemany, Guillermo Simari, Leon van der Torre, eds.), 2019. (To appear, URL (preprint): http://orbilu.uni.lu/handle/10993/37014) [bibtex] [pdf]
[9]Universal (Meta-)Logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset) (Christoph Benzmüller), In Data in Brief, volume 24, number 103774, 2019. (Note: data publication) [bibtex] [doi]
[8]Church's Type Theory (Peter Andrews, Christoph Benzmüller), Chapter in The Stanford Encyclopedia of Philosophy (Edward N. Zalta, ed.), Metaphysics Research Lab, Stanford University, 2019. (Summer 2019 (forthcoming, accepted)) [bibtex]
[7]Universal (Meta-)Logical Reasoning: Recent Successes (Christoph Benzmüller), In Science of Computer Programming, volume 172, pp. 48-62, 2019. (Url (preprint): http://doi.org/10.13140/RG.2.2.11039.61609/2) [bibtex] [doi]
[6]Automating Free Logic in HOL, with an Experimental Application in Category Theory (Christoph Benzmüller, Dana S. Scott), In Journal of Automated Reasoning, 2019. (Url (preprint): http://doi.org/10.13140/RG.2.2.11432.83202) [bibtex] [doi]
[5]KI 2019: Advances in Artificial Intelligence -- 42nd German Conference on AI, Berlin, Germany, September 23-26, 2019, Proceedings, (Christoph Benzmüller, Heiner Stuckenschmidt, eds.), Springer, Lecture Notes in Computer Science, 2019. (Forthcoming) [bibtex]
[4]Special Issue: Logic Rules and Reasoning -- Selected Papers from RuleML+RR 2018, (Francesco Ricca, Christoph Benzmueller, eds.), Journal of Theory and Practice of Logic Programming, volume 41, 2019. (Forthcoming) [bibtex]
[3]Special Issue: Reasoning on Legal Texts, (Livio Robaldo, Sotiris Batsakis, Maria Vanina Martinez, Christoph Benzmüller, eds.), Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications, 2019. (Forthcoming) [bibtex]
[2]Automated Reasoning with Complex Ethical Theories -- A Case Study Towards Responsible AI (David Fuenmayor, Christoph Benzmüller), 2019. (Abstract accepted for presentation at symposium) [bibtex]
[1]Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments (David Fuenmayor, Christoph Benzmüller), Chapter in Postproceedings of CLAR-2018 (Beishui Liao, Thomas Agotnes, Yi N. Wang, eds.), Springer Singapore, Logic in Asia series (Studia Logica Library), 2019. (Url (preprint): http://doi.org/10.13140/RG.2.2.11784.26881, (accepted for publication)) [bibtex]
Powered by bibtexbrowser