Year: 2019
2019
[24]Explicit Normative Reasoning and Machine Ethics (Christoph Benzmüller, Geoff Sutcliffe), 2019. [bibtex]
[23] 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]
[22] 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]
[21] What is a proof? What should it be? (Christoph Benzmüller), 2019. (http://arxiv.org/abs/1904.06332) [bibtex] [pdf] [doi]
[20]Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta), In Review of Symbolic Logic, 2019. (To appear, preprint: https://arxiv.org/abs/1711.06542) [bibtex]
[19]Report on the Second International Joint Conference on Rules and Reasoning (Christoph Benzmüller, Xavier Parent, Francesco Ricca), In AI Magazine, volume 40, number 2, pp. 73-74, 2019. (Preprint http://page.mi.fu-berlin.de/cbenzmueller/papers/J49.pdf) [bibtex] [doi]
[18]Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support (Christoph Benzmüller, Xavier Parent, Leendert van der Torre), In Submitted article, currently under revision, 2019. (Preprint: https://arxiv.org/abs/1903.10187) [bibtex]
[17] Computer Science and Metaphysics: A Cross-Fertilization (Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta), In Open Philosophy (Special Issue -- Computer Modeling in Philosophy) (Patrick Grim, ed.), 2019. (To appear, preprint: http://doi.org/10.13140/RG.2.2.25229.18403) [bibtex] [pdf]
[16] I/O Logic in HOL (Christoph Benzmüller, Ali Farjami, Paul Meder, 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, preprint: https://www.researchgate.net/publication/332786587_IO_Logic_in_HOL) [bibtex] [pdf]
[15]Å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, preprint: https://www.researchgate.net/publication/332786724_Aqvist's_Dyadic_Deontic_Logic_E_in_HOL) [bibtex]
[14]Universal (Meta-)Logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset) (Christoph Benzmüller), In Data in Brief, volume 24, number 103774, 2019. (Open Access) [bibtex] [doi]
[13] Church's Type Theory (Christoph Benzmüller, Peter Andrews), Chapter in The Stanford Encyclopedia of Philosophy (Edward N. Zalta, ed.), Metaphysics Research Lab, Stanford University, 2019. [bibtex] [pdf]
[12]Universal (Meta-)Logical Reasoning: Recent Successes (Christoph Benzmüller), In Science of Computer Programming, volume 172, pp. 48-62, 2019. (Preprint: http://doi.org/10.13140/RG.2.2.11039.61609/2) [bibtex] [doi]
[11]Automating Free Logic in HOL, with an Experimental Application in Category Theory (Christoph Benzmüller, Dana S. Scott), In Journal of Automated Reasoning, 2019. (Preprint: http://doi.org/10.13140/RG.2.2.11432.83202) [bibtex] [doi]
[10] Selected Student Contributions and Workshop Papers of LuxLogAI 2018, (Christoph Benzmüller, Xavier Parent, Alexander Steen, eds.), EasyChair, Kalpa Publications in Computing, volume 10, 2019. [bibtex] [pdf]
[9]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]
[8]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, 2019. (Forthcoming) [bibtex]
[7]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]
[6]Mechanised Assessment of Complex Natural-Language Arguments using Expressive Logic Combinations (David Fuenmayor, Christoph Benzmüller), In Frontiers of Combining Systems, 12th International Symposium, FroCoS 2019, London, September 4-6, Springer, Lecture Notes in Artificial Intelligence, 2019. (To appear, preprint http://doi.org/10.13140/RG.2.2.20803.45608/1) [bibtex]
[5]Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories (David Fuenmayor, Christoph Benzmüller), In PRICAI 2019: Trends in Artificial Intelligence, Springer International Publishing, Lecture Notes in Artificial Intelligence, 2019. (To appear, preprint http://arxiv.org/abs/1903.09818) [bibtex]
[4]Automated Reasoning with Complex Ethical Theories--A Case Study Towards Responsible AI (David Fuenmayor, Christoph Benzmüller), 2019. (Accepted for presentation at symposium) [bibtex]
[3]A Computational-Hermeneutic Approach for Conceptual Explicitation (David Fuenmayor, Christoph Benzmüller), Chapter in Model-Based Reasoning in Science and Technology -- Inferential Models for Logic, Language, Cognition and Computation (A. Nepomuceno, L. Magnani, F. Salguero, C. Bares, M. Fontaine, eds.), Springer, Sapere, 2019. (To appear, preprint http://doi.org/10.13140/RG.2.2.30869.78564) [bibtex]
[2]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. (To appear, preprint: http://doi.org/10.13140/RG.2.2.11784.26881) [bibtex]
[1]A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument (David Fuenmayor, Christoph Benzmüller), Chapter in Beyond Faith and Rationality: Essays on Logic, Religion and Philosophy (Ricardo Silvestre, Benedikt Gocke, Jean-Yves Béziau, Purushottama Bilimoria, eds.), Springer International Publishing Switzerland, Sophia Studies in Cross-cultural Philosophy of Traditions and Cultures, 2019. (Preprint: http://christoph-benzmueller.de/papers/J38.pdf) [bibtex] [doi]
Powered by bibtexbrowser