Publications (recent selection)
Benzmüller, C., Heule, M. J. H., & Schmidt, R. A. (Eds.). (2024b). Automated Reasoning: 12th International Joint Conference: IJCAR 2024; Nancy, France, July 3–6, 2024; Proceedings: Vol. Part 1. Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-63498-7
Benzmüller, C., Heule, M. J. H., & Schmidt, R. A. (Eds.). (2024a). Automated Reasoning: 12th International Joint Conference: IJCAR 2024; Nancy, France, July 3–6, 2024; Proceedings. Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-63501-4
Bayer, J., Benzmüller, C., Buzzard, K., David, M., Lamport, L., Matiyasevich, Y., Paulson, L., Schleicher, D., Stock, B., & Zelmanov, E. (2024). Mathematical Proof Between Generations. Notices of the American Mathematical Society, 71(1), 79–92. https://doi.org/10.1090/noti2860
Benzmüller, C. (2024a). Who finds the short proof?: Searching for Wormholes in Proof-Space. Dagstuhl Reports, 13(10), 6. https://doi.org/10.4230/DagRep.13.10.1
Benzmüller, C. (2024b). Logikbasierte Wissensverarbeitung. In U. Furbach, E. Kitzelmann, T. Michaeli, & U. Schmid (Eds.), Künstliche Intelligenz für Lehrkräfte: Eine fachliche Einführung mit didaktischen Hinweisen (pp. 139–162). Springer Vieweg. https://doi.org/10.1007/978-3-658-44248-4_11
Benzmüller, C., & Andrews, P. (2024). Church’s Type Theory. Stanford Encyclopedia of Philosophy.
Benzmüller, C., & Fuenmayor, D. (2024). The LogiKEy Methodology: Applications in AI Ethics and Prospects in Logic Teaching. Formal Methods and Science in Philosophy V, International Conference, Book of AbstractS, 9–10.
Benzmüller, C., Fuenmayor, D., & Lomfeld, B. (2024). Modelling Value-Oriented Legal Reasoning in LogiKEy. Logics, 2(1), 31–78. https://doi.org/10.3390/logics2010003
Furbach, U., & Benzmüller, C. (2024). Schließen aus Wissen. In U. Furbach, E. Kitzelmann, T. Michaeli, & U. Schmid (Eds.), Künstliche Intelligenz für Lehrkräfte: Eine fachliche Einführung mit didaktischen Hinweisen (pp. 39–50). Springer Vieweg. https://doi.org/10.1007/978-3-658-44248-4_4
Höper, L., Schulte, C., & Benzmüller, C. (2024). Verantwortung. In U. Furbach, E. Kitzelmann, T. Michaeli, & U. Schmid (Eds.), Künstliche Intelligenz für Lehrkräfte: Eine fachliche Einführung mit didaktischen Hinweisen (pp. 219–242). Springer Vieweg. https://doi.org/10.1007/978-3-658-44248-4_16
Mühlenbeck, C., & Benzmüller, C. (2024). On the Maximum of Positive Properties and Modal Collapse in Gödel’s Ontological Argument Compared to its Variants. Formal Methods and Science in Philosophy V, International Conference, Book of Abstracts, 31–32.
Parent, X., & Benzmüller, C. (2024a). Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset). Archive of Formal Proofs.
Parent, X., & Benzmüller, C. (2024b). Conditional normative reasoning as a fragment of HOL. Journal of Applied Non-Classical Logics, 1–32. https://doi.org/10.1080/11663081.2024.2386917
Solopova, V., Herman, V., Benzmüller, C., & Landgraf, T. (2024b). Check News in One Click: NLP-Empowered Pro-Kremlin Propaganda Detection. Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations, 44–51.
Solopova, V., Herman, V., Benzmüller, C., & Landgraf, T. (2024a). Check News in One Click: NLP-Empowered Pro-Kremlin Propaganda Detection (pp. 1–8). arXiv. https://doi.org/10.48550/arxiv.2401.15717
Solopova, V., Romeike, R., Gläser-Zikuda, M., Benzmüller, C., Landgraf, T., Hofmann, F., Schießl, J., Zhang, C., Plößl, L., & Witte, S. (2024). AI-powered automatic feedback on reflective writing. Annual Conference of the European Teacher Education Network (ETEN) “Teacher Education – Connecting Glocal,” 1–13. https://doi.org/10.20378/irb-95237
Steen, A., & Benzmüller, C. (2024b). Challenges for Non-Classical Reasoning in Contemporary AI Applications. Künstliche Intelligenz, Onlline First. https://doi.org/10.1007/s13218-024-00855-8
Steen, A., & Benzmüller, C. (2024c). Non-Classical Reasoning for Contemporary AI Applications. Künstliche Intelligenz, Online First. https://doi.org/10.1007/s13218-024-00857-6
Steen, A., & Benzmüller, C. (2024a). What are Non-classical Logics and Why Do We Need Them?: An Extended Interview with Dov Gabbay and Leon van der Torre. Künstliche Intelligenz, Online-First. https://doi.org/10.1007/s13218-023-00824-7
Steen, A., Sutcliffe, G., & Benzmüller, C. (2024). Solving Quantified Modal Logic Problems by Translation to Classical Logics. arXiv. https://doi.org/10.48550/arxiv.2212.09570
Benzmüller, C., & Otten, J. (Eds.). (2023). CEUR Workshop Proceedings (Issues 3326, ARQNL 2022 Automated Reasoning in Quantified Non-Classical Logics 2022 : Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022)). RWTH Aachen.
Passon, O., Benzmüller, C., & Falkenburg, B. (Eds.). (2023). On Gödel and the Nonexistence of Time: Gödel und die Nichtexistenz der Zeit; Kurt Gödel essay competition 2021: Kurt-Gödel-Preis 2021 (1st ed.). Springer Spektrum Berlin. https://doi.org/10.1007/978-3-662-67045-3
Baroni, P., Benzmüller, C., & Wáng, Y. (Eds.). (2023). Journal of logic and computation (Vol. 33, Issues 2, Special Issue: Logic and Argumentation). Oxford University Press.
Baroni, P., Benzmüller, C., & N Wáng, Y. (2023). Preface: Special Issue on Logic and Argumentation. Journal of Logic and Computation, Online First, 1–3. https://doi.org/10.1093/logcom/exac091
Bayer, J., Gonus, A., Benzmüller, C., & Scott, D. S. (2023). Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation. Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings, 69–83. https://doi.org/10.1007/978-3-031-42753-4_5
Benzmüller, C. (2023c). A Simplified Variant of Gödel’s Ontological Argument. In A. Vestrucci (Ed.), Beyond Babel: Religion and Linguistic Pluralism: Vol. Sophia Studies in Cross-cultural Philosophy of Traditions and Cultures ; vol 43. (1st ed., pp. 271–286). Springer International Publishing. https://doi.org/10.1007/978-3-031-42127-3_19
Benzmüller, C. (2023b). Is HOL (as a metalogic) all we need for flexible normative reasoning?. Dagstuhl Reports, 13(4), 22. https://doi.org/10.4230/dagrep.13.4.1
Benzmüller, C. (2023a). Reasonable, Trusted AI through Symbolic Ethico-legal Control and Reflection? (Keynote Abstract). Proceedings of FLAIRS-36, May 14-17, 2023, Clearwater Beach, FL, 2023(36). https://doi.org/10.32473/flairs.36
Benzmüller, C., Bayer, J., Gonus, A., & Scott, D. S. (2023). Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation (pp. 1–16). arXiv. https://doi.org/10.48550/ARXIV.2306.09074
Benzmüller, C., & Fuenmayor, D. (2023). Mathematical Proof Assistants for Teaching Logic: the LogiKEy Methodology. Book of Abstracts: International Congress Tools for Teaching Logic V, 1–3. https://doi.org/10.20378/irb-59552
Benzmüller, C., Fuenmayor, D., Steen, A., & Sutcliffe, G. (2023). Who Finds the Short Proof?. Logic Journal of the IGPL, Online First, 1–23. https://doi.org/10.1093/jigpal/jzac082
Benzmüller, C., & Reiche, S. (2023). Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy. Journal of Logic and Computation, 33(6), 1243–1269. https://doi.org/10.1093/logcom/exac029
Benzmüller, C., Solopova, V., Landgraf, T., & Popescu, O.-I. (2023). Automated Multilingual Detection of Pro-Kremlin Propaganda in Newspapers and Telegram Posts. Datenbank-Spektrum, 25(1). https://doi.org/10.1007/s13222-023-00437-2
Parent, X., & Benzmüller, C. (2023b). Normative Conditional Reasoning as a Fragment of HOL (pp. 1–22). arXiv. https://doi.org/10.48550/arxiv.2308.10686
Parent, X., & Benzmüller, C. (2023a). Automated Verification of Deontic Correspondences in Isabelle/HOL: First Results. CEUR Workshop Proceedings, 3326, Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), 92–108.
Rothgang, C., Rabe, F., & Benzmüller, C. (2023a). Theorem Proving in Dependently-Typed Higher-Order Logic: Extended Preprint (Issue arXiv:2305.15382). arXiv. https://doi.org/10.48550/ARXIV.2305.15382
Rothgang, C., Rabe, F., & Benzmüller, C. (2023b). Theorem Proving in Dependently-Typed Higher-Order Logic. Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings, 438–455. https://doi.org/10.1007/978-3-031-38499-8_25
Solopova, V., Benzmüller, C., & Landgraf, T. (2023). The Evolution of Pro-Kremlin Propaganda From a Machine Learning and Linguistics Perspective. Proceedings of the Second Ukrainian Natural Language Processing Workshop (UNLP 2023), 40–48. https://doi.org/10.18653/v1/2023.unlp-1.5
Solopova, V., Gruszczynski, A., Rostom, E., Cremer, F., Witte, S., Zhang, C., López, F. R., Plößl, L., Hofmann, F., Romeike, R., Gläser-Zikuda, M., Benzmüller, C., & Landgraf, T. (2023). PapagAI: Automated Feedback for Reflective Essays (pp. 1–12). arXiv. https://doi.org/10.48550/arxiv.2307.07523
Solopova, V., Popescu, O.-I., Benzmüller, C., & Landgraf, T. (2023). Automated multilingual detection of Pro-Kremlin propaganda in newspapers and Telegram posts. arXiv. https://doi.org/10.48550/ARXIV.2301.10604
Solopova, V., Rostom, E., Cremer, F., Gruszczynski, A., Witte, S., Zhang, C., López, F. R., Plößl. Lea, Romeike, R., Gläser-Zikuda, M., Hofmann, F., Landgraf, T., & Benzmüller, C. (2023). PapagAI: Automated Feedback for Reflective Essays. KI 2023: Advances in Artificial Intelligence: 46th German Conference on AI, Berlin, Germany, September 26–29, 2023; Proceedings, 198–206. https://doi.org/10.1007/978-3-031-42608-7_16
Steen, A., Sutcliffe, G., Scholl, T., & Benzmüller, C. (2023). Solving Modal Logic Problems by Translation to Higher-Order Logic. In A. Herzig, J. Luo, & P. Pardo (Eds.), Logic and Argumentation: 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023; Proceedings (Vol. 14156, pp. 25–43). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-40875-5_3
Bayer, J., Benzmüller, C., Buzzard, K., David, M., Lamport, L., Matiyasevich, Y., Paulson, L., Schleicher, D., Stock, B., & Zelmanov, E. (2022). Mathematical Proof Between Generations (pp. 1–17). arXiv. https://doi.org/10.48550/ARXIV.2207.04779
Benzmüller, C. (2022c). Studies in Computational Metaphysics: Results of an Interdisciplinary Research Project. In H. Cukierman & F. Bertato (Eds.), Tópicos em História e Filosofia da Computação (pp. 129–160). University of Campinas (UNICAMP).
Benzmüller, C. (2022a). Symbolic AI and Gödel’s Ontological Argument. Zygon, 57(4). https://doi.org/10.1111/zygo.12830
Benzmüller, C. (2022b). A Simplified Variant of Gödel’s Ontological Argument. Zygon, 57(4), 953–962. https://doi.org/10.1111/zygo.12830
Benzmüller, C., Farjami, A., & Parent, X. (2022). Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical Experiments. In S. Rahman, M. Armgardt, & H. C. Nordtveit Kvernenes (Eds.), New developments in legal reasoning and logic: from ancient law to modern legal systems (pp. 353–377). Springer. https://doi.org/10.1007/978-3-030-70084-3_14
Benzmüller, C., Fuenmayor, D., & Lomfeld, B. (2022). Modelling Value-oriented Legal Reasoning in LogiKEy. arXiv. https://doi.org/10.48550/arxiv.2006.12789
Benzmüller, C., Fuenmayor, D., Steen, A., & Sutcliffe, G. (2022b). Automation of Boolos’ Curious Inference in Isabelle/HOL. Archive of Formal Proofs.
Benzmüller, C., Fuenmayor, D., Steen, A., & Sutcliffe, G. (2022a). Who Finds the Short Proof?: an Exploration of Variants of Boolos’ Curious Inference using Higher-order Automated Theorem Provers. arXiv. https://doi.org/10.48550/ARXIV.2208.06879
Fuenmayor, D., & Benzmüller, C. (2022). Higher-order Logic as a Lingua Franca for Logico-Pluralist Argumentation. Logics for New-Generation AI: Second International Workshop. 10-12 June 2022, Zhuhai, 83–94.
Mucha, H., Correia de Barros, A., Benjamin, J. J., Benzmüller, C., Bischof, A., Buchmüller, S., de Carvalho, A., Dhungel, A.-K., Draude, C., Fleck, M.-J., Jarke, J., Klein, S., Kortekaas, C., Kurze, A., Linke, D., Maas, F., Marsden, N., Melo, R., Michel, S., … Berger, A. (2022). Collaborative Speculations on Future Themes for Participatory Design in Germany. I-Com, 21(2), 283–298. https://doi.org/10.1515/icom-2021-0030
Steen, A., Fuenmayor, D., Gleißner, T., Sutcliffe, G., & Benzmüller, C. (2022a). Automated Reasoning in Non-classical Logics in the TPTP World. arXiv. https://doi.org/10.48550/ARXIV.2202.09836
Steen, A., Fuenmayor, D., Gleißner, T., Sutcliffe, G., & Benzmüller, C. (2022b). Automated Reasoning in Non-classical Logics in the TPTP World. Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-Located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022.
Steen, A., Sutcliffe, G., Gleißner, T., & Benzmüller, C. (2022). Solving QMLTP Problems by Translation to Higher-order Logic. arXiv. https://doi.org/10.48550/ARXIV.2212.09570
Passon, O., & Benzmüller, C. (Eds.). (2021). Wider den Reduktionismus: Ausgewählte Beiträge zum Kurt Gödel Preis 2019. Springer Spektrum. https://doi.org/10.1007/978-3-662-63187-4
Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings. (2021). https://doi.org/10.1007/978-3-030-89391-0
Ammon, S., Beck, B., Benzmüller, C., Burchardt, A., Heidingsfelder, L. M., Kaiser, S., Lomfeld, B., Mühlhoff, R., Remmers, P., & Schraudner, M. (2021). KI als Laboratorium?: Ethik als Aufgabe!.
Benzmüller, C. (2021). Exploring Simplified Variants of Gödel’s Ontological Argument in Isabelle/HOL. Archive of Formal Proofs.
Benzmüller, C., & Fuenmayor, D. (2021b). Cantor’s Theorem without Reductio Ad Absurdum (pp. 1–3). Research Gate. https://doi.org/10.13140/rg.2.2.31069.95201/1
Benzmüller, C., & Fuenmayor, D. (2021a). Value-Oriented Legal Argumentation in Isabelle/HOL. 12th International Conference on Interactive Theorem Proving (ITP 2021), 193, 1–20. https://doi.org/10.4230/LIPICS.ITP.2021.7
Benzmüller, C., & Reiche, S. (2021a). Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL. Archive of Formal Proofs.
Benzmüller, C., & Reiche, S. (2021b). Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy (pp. 1–28). arXiv. https://doi.org/10.48550/ARXIV.2111.01654
Solopova, V., Popescu, O.-I., Chikobava, M., Romeike, F., Landgraf, T., & Benzmüller, C. (2021). A German Corpus of Reflective Sentences. Proceedings of the 18th International Conference on Natural Language Processing (ICON), 593–600.
Steen, A., & Benzmüller, C. (2021). Extensional Higher-Order Paramodulation in Leo-III. Journal of Automated Reasoning, 65, 775–807. https://doi.org/10.1007/s10817-021-09588-x
Benzmüller, C., & Miller, B. (Eds.). (2020). Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings. Springer International Publishing. https://doi.org/10.1007/978-3-030-53518-6
Benzmüller, C. (2020a). A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel’s Ontological Argument (pp. 1–11). arXiv. https://doi.org/10.48550/ARXIV.2001.04701
Benzmüller, C. (2020b). A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel’s Ontological Argument. Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, 779–789. https://doi.org/10.24963/kr.2020/80
Benzmüller, C., Farjami, A., Fuenmayor, D., Meder, P., Parent, X., Steen, A., van der Torre, L., & Zahoransky, V. (2020). LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset). Data in Brief, 33. https://doi.org/10.1016/j.dib.2020.106409
Benzmüller, C., & Fuenmayor, D. (2020). Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel’s Ontological Argument. Bulletin of the Section of Logic, 49(2), 127–148. https://doi.org/10.18778/0138-0680.2020.08
Benzmüller, C., Fuenmayor, D., & Lomfeld, B. (2020). Modelling Value-oriented Legal Reasoning in LogiKEy (pp. 1–57). arXiv. https://doi.org/10.48550/ARXIV.2006.12789
Benzmüller, C., & Lomfeld, B. (2020a). Reasonable Machines: a Research Manifesto (pp. 1–8). arXiv. https://doi.org/10.48550/ARXIV.2008.06250
Benzmüller, C., & Lomfeld, B. (2020b). Reasonable Machines: a Research Manifesto. KI 2020, 12325, 251–258. https://doi.org/10.1007/978-3-030-58285-2_20
Benzmüller, C., Parent, X., & Ricca, F. (2020). Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018). Theory and Practice of Logic Programming, 21(1), 1–3. https://doi.org/10.1017/S1471068420000113
Benzmüller, C., Parent, X., & van der Torre, L. (2020). Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. Artificial Intelligence, 287. https://doi.org/10.1016/j.artint.2020.103348
Benzmüller, C., & Scott, D. S. (2020). Automating Free Logic in HOL, with an Experimental Application in Category Theory. Journal of Automated Reasoning, 64, 53–72. https://doi.org/10.1007/s10817-018-09507-7
Fuenmayor, D., & Benzmüller, C. (2020e). Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis. arXiv. https://doi.org/10.48550/arxiv.2007.01019
Fuenmayor, D., & Benzmüller, C. (2020a). A Case Study on Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument. In R. S. Silvestre, B. P. Göcke, J.-Y. Béziau, & P. Bilimoria (Eds.), Beyond Faith and Rationality: Sophia Studies in Cross-cultural Philosophy of Traditions and Cultures (Vol. 34, pp. 195–228). Springer. https://doi.org/10.1007/978-3-030-43535-6_12
Fuenmayor, D., & Benzmüller, C. (2020d). Higher-order Logic as Lingua Franca: Integrating Argumentative Discourse and Deep Logical Analysis (pp. 1–35). arXiv. https://doi.org/10.48550/ARXIV.2007.01019
Fuenmayor, D., & Benzmüller, C. (2020c). Computer-Supported Analysis of Arguments in Climate Engineering. Logic and Argumentation, 104–115. https://doi.org/10.1007/978-3-030-44638-3_7
Fuenmayor, D., & Benzmüller, C. (2020b). Normative Reasoning with Expressive Logic Combinations. ECAI 2020: 24th European Conference on Artificial Intelligence, 29 August–8 September 2020, Santiago de Compostela, Spain – Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), 2903–2904. https://doi.org/10.3233/FAIA200445
Makarenko, I., & Benzmüller, C. (2020). Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding. Lecture Notes in Computer Science, 12325, 116–131. https://doi.org/10.1007/978-3-030-58285-2_9
Reiche, S., & Benzmüller, C. (2020a). Public Announcement Logic in HOL (pp. 1–17). arXiv. https://doi.org/10.48550/ARXIV.2010.00810
Reiche, S., & Benzmüller, C. (2020b). Public Announcement Logic in HOL. Dynamic Logic: New Trends and Applications, 12569(12569), 222–238. https://doi.org/10.1007/978-3-030-65840-3_14
Steen, A., & Benzmüller, C. (2020b). The Higher-Order Prover Leo-III. Frontiers in Artificial Intelligence and Applications, 2020(325), 2937–2938. https://doi.org/10.3233/FAIA200462
Steen, A., & Benzmüller, C. (2020a). On Reductions of Hintikka Sets for Higher-Order Logic (pp. 1–10). arXiv. https://doi.org/10.48550/ARXIV.2004.07506
Tiemens, L., Scott, D. S., Benzmüller, C., & Benda, M. (2020). Computer-Supported Exploration of a Categorical Axiomatization of Modeloids. Relational and Algebraic Methods in Computer Science, 302–317. https://doi.org/10.1007/978-3-030-43520-2_19
Benzmüller, C., & Stuckenschmidt, H. (Eds.). (2019). KI 2019: Advances in Artificial Intelligence; 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings. Springer. https://doi.org/10.1007/978-3-030-30179-8
Benzmüller, C. (2019a). Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset). Data in Brief, 24(June, 103823). https://doi.org/10.1016/j.dib.2019.103823
Benzmüller, C. (2019c). Universal (meta-)logical reasoning: Recent successes. Science of Computer Programming, 172(1), 48–62. https://doi.org/10.1016/j.scico.2018.10.008
Benzmüller, C. (2019b). What is a proof? What should it be?. In arXiv. arXiv.org. https://doi.org/10.48550/arXiv.1904.06332
Benzmüller, C., & Andrews, P. (2019). Church’s Type Theory. The Stanford Encyclopedia of Philosophy.
Benzmüller, C., Farjami, A., Meder, P., & Parent, X. (2019). I/O Logic in HOL. Journal of Applied Logics -- IfCoLoG Journal of Logics and Their Applications, 6(5), 715–733.
Benzmüller, C., Farjami, A., & Parent, X. (2019). Aqvist’s Dyadic Deontic Logic E in HOL. Journal of Applied Logics -- IfCoLoG Journal of Logics and Their Applications, 6(5), 733–755.
Benzmüller, C., & Fuenmayor, D. (2019). Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel’s Ontological Argument. arXiv. https://doi.org/10.48550/ARXIV.1910.08955
Benzmüller, C., Parent, X., & Ricca, F. (2019). Report on the Second International Joint Conference on Rules and Reasoning. AI Magazine, 40(2), 73–74. https://doi.org/10.1609/aimag.v40i2.2888
Benzmüller, C., Parent, X., & van der Torre, L. (2019). Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support (pp. 1–50). arXiv. https://doi.org/10.48550/ARXIV.1903.10187
Benzmüller, C., & Sutcliffe, G. (2019). Explicit Normative Reasoning and Machine Ethics. Arcade 2019 Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, 5.
Fuenmayor Pelaez, D., & Benzmüller, C. (2019). Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations. Frontiers of Combining Systems (FroCoS 2019), 112–128. https://doi.org/10.1007/978-3-030-29007-8_7
Fuenmayor, D., & Benzmüller, C. (2019d). A Computational-Hermeneutic Approach for Conceptual Explicitation (pp. 1–29). arXiv. https://doi.org/10.48550/ARXIV.1906.06582
Fuenmayor, D., & Benzmüller, C. (2019e). Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories (pp. 1–14). arXiv. https://doi.org/10.48550/ARXIV.1903.09818
Fuenmayor, D., & Benzmüller, C. (2019b). Harnessing Higher-Order (Meta-) Logic to Represent and Reason with Complex Ethical Theories. PRICAI 2019: Trends in Artificial Intelligence, 11670, 418–432. https://doi.org/10.1007/978-3-030-29908-8_34
Fuenmayor, D., & Benzmüller, C. (2019c). A Computational-Hermeneutic Approach for Conceptual Explicitation. Model-Based Reasoning in Science and Technology (MBR 2018), 49, 441–469. https://doi.org/10.1007/978-3-030-32722-4_25
Fuenmayor, D., & Benzmüller, C. (2019a). Computational Hermeneutics: an Integrated Approach for the Logical Analysis of Natural-Language Arguments. Dynamics, Uncertainty and Reasoning: The Second Chinese Conference on Logic and Argumentation, 187–207. https://doi.org/10.1007/978-981-13-7791-4_9
Kirchner, D., Benzmüller, C., & Zalta, E. N. (2019b). Computer Science and Metaphysics: a Cross-Fertilization (pp. 1–39). arXiv. https://doi.org/10.48550/ARXIV.1905.00787
Kirchner, D., Benzmüller, C., & Zalta, E. N. (2019c). Computer Science and Metaphysics: a Cross-Fertilization. Open Philosophy, 2(1), 230–251. https://doi.org/10.1515/opphil-2019-0015
Kirchner, D., Benzmüller, C., & Zalta, E. N. (2019a). Mechanizing prinzipia Logico-Metaphysica in functional type-theory. The Review of Symbolic Logic, 13(1), 206–218. https://doi.org/10.1017/S1755020319000297
Steen, A., & Benzmüller, C. (2019). Extensional Higher-Order Paramodulation in Leo-III (pp. 1–34). arXiv. https://doi.org/10.48550/ARXIV.1907.11501
Tiemens, L., Scott, D. S., Benzmüller, C., & Benda, M. (2019). Computer-supported Exploration of a Categorical Axiomatization of Modeloids (pp. 1–24). arXiv. https://doi.org/10.48550/ARXIV.1910.12863
Zahoransky, V. (2019). Modelling the US Constitution to establish constitutional dictatorship. MIREL 2019: MIning and REasoning with Legal Texts, 2632, 1–13.
Fuenmayor, D., & Benzmüller, C. (2017). Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic. KI 2017: Advances in Artificial Intelligence, 114–127. https://doi.org/10.1007/978-3-319-67190-1_9
Wisniewski, M., Steen, A., Kern, K., & Benzmüller, C. (2016). Effective Normalization Techniques for HOL. Automated Reasoning — 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings, 362–370. https://doi.org/10.1007/978-3-319-40229-1_25