Publikationen (Aktuelle Auswahl)
Baroni, Pietro/Benzmüller, Christoph/Wáng, Yì (Hg.) (2023): Journal of logic and computation. Eynsham, Oxford: Oxford University Press.
Benzmüller, Christoph/Otten, Jens (Hg.) (2023): CEUR Workshop Proceedings. Aachen: RWTH Aachen.
Baroni, Pietro/Benzmüller, Christoph/N Wáng, Yì (2023): Preface: Special Issue on Logic and Argumentation. In: Journal of logic and computation, S. 1–3.
Benzmüller, Christoph (2023): Reasonable, Trusted AI through Symbolic Ethico-legal Control and Reflection? (Keynote Abstract). In: The Florida Artificial Interlligence Research Society. Florida: LibraryPress@UF.
Benzmüller, Christoph et al. (2023a): Who Finds the Short Proof?. In: Logic journal of the IGPL, S. 1–23.
Benzmüller, Christoph et al. (2023b): Automated Multilingual Detection of Pro-Kremlin Propaganda in Newspapers and Telegram Posts. In: Datenbank-Spektrum 25.
Parent, Xavier/Benzmüller, Christoph (2023): Automated Verification of Deontic Correspondences in Isabelle/HOL: First Results. In: CEUR Workshop Proceedings. Aachen, Germany: RWTH Aachen. S. 92–108.
Rothgang, Colin/Rabe, Florian/Benzmüller, Christoph (2023): Theorem Proving in Dependently-Typed Higher-Order Logic: Extended Preprint. arXiv.
Solopova, Veronika et al. (2023): Automated multilingual detection of Pro-Kremlin propaganda in newspapers and Telegram posts. arXiv.
Bayer, Jonas et al. (2022): Mathematical Proof Between Generations. arXiv. S. 1–17.
Benzmüller, Christoph (2022a): Symbolic AI and Gödel’s Ontological Argument. In: Zygon.
Benzmüller, Christoph (2022b): A Simplified Variant of Gödel’s Ontological Argument. In: Zygon 57, S. 953–962.
Benzmüller, Christoph (2022c): Studies in Computational Metaphysics: Results of an Interdisciplinary Research Project. In: Cukierman, Henrique/Bertato, Fabio (Hg.): Tópicos em História e Filosofia da Computação. Campinas, Brasilien: University of Campinas (UNICAMP). S. 129–160.
Benzmüller, Christoph/Farjami, Ali/Parent, Xavier (2022): Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical Experiments. In: Rahman, Shahid/Armgardt, Matthias/Nordtveit Kvernenes, Hans Christian (Hg.): New developments in legal reasoning and logic: from ancient law to modern legal systems. Cham: Springer. S. 353–377.
Benzmüller, Christoph et al. (2022a): Who Finds the Short Proof?: an Exploration of Variants of Boolos’ Curious Inference using Higher-order Automated Theorem Provers. arXiv.
Benzmüller, Christoph et al. (2022b): Automation of Boolos’ Curious Inference in Isabelle/HOL. In: Archive of Formal Proofs.
Benzmüller, Christoph/Reiche, Sebastian (2022): Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy. In: Journal of Logic and Computation, S. 1–28.
Fuenmayor, David/Benzmüller, Christoph (2022): Higher-order Logic as a Lingua Franca for Logico-Pluralist Argumentation. In: Logics for New-Generation AI: Second International Workshop. 10-12 June 2022, Zhuhai. London: College Publications. S. 83–94.
Mucha, Henrik et al. (2022): Collaborative Speculations on Future Themes for Participatory Design in Germany. In: i-com 21, S. 283–298.
Steen, Alexander et al. (2022a): Automated Reasoning in Non-classical Logics in the TPTP World. In: CEUR Workshop Proceedings, CEUR-WS.org. CEUR Workshop Proceedings.
Steen, Alexander et al. (2022b): Automated Reasoning in Non-classical Logics in the TPTP World. arXiv.
Steen, Alexander et al. (2022c): Solving QMLTP Problems by Translation to Higher-order Logic. arXiv.
Passon, Oliver/Benzmüller, Christoph (Hg.) (2021): Wider den Reduktionismus: Ausgewählte Beiträge zum Kurt Gödel Preis 2019. Berlin, Heidelberg: Springer Spektrum.
(2021): Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings. Cham: Springer. (= Lecture Notes in Computer Science).
Ammon, Sabine et al. (2021): KI als Laboratorium?: Ethik als Aufgabe!. Berlin. (= #VerantwortungKI - Künstliche Intelligenz und gesellschaftliche Folgen).
Benzmüller, Christoph (2021): Exploring Simplified Variants of Gödel’s Ontological Argument in Isabelle/HOL. In: Archive of Formal Proofs.
Benzmüller, Christoph/Fuenmayor, David (2021): Value-Oriented Legal Argumentation in Isabelle/HOL. In: Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. S. 1–20.
Benzmüller, Christoph/Reiche, Sebastian (2021a): Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL. In: Archive of Formal Proofs.
Benzmüller, Christoph/Reiche, Sebastian (2021b): Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy. Online: arXiv. S. 1–28.
Solopova, Veronika et al. (2021): A German Corpus of Reflective Sentences. In: Proceedings of the 18th International Conference on Natural Language Processing (ICON). India (NLPAI): NLP Association of India (NLPAI). S. 593–600.
Steen, Alexander/Benzmüller, Christoph (2021): Extensional Higher-Order Paramodulation in Leo-III. In: Journal of Automated Reasoning, S. 775–807.
Benzmüller, Christoph/Miller, Bruce (Hg.) (2020): Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings. Cham: Springer International Publishing. (= Lecture Notes in Computer Science).
Benzmüller, Christoph (2020a): A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel’s Ontological Argument. In: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning. IJCAI Organization. S. 779–789.
Benzmüller, Christoph (2020b): A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel’s Ontological Argument. arXiv. S. 1–11.
Benzmüller, Christoph et al. (2020): LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset). In: Data in Brief.
Benzmüller, Christoph/Fuenmayor, David (2020): Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel’s Ontological Argument. In: Bulletin of the Section of Logic 49, S. 127–148.
Benzmüller, Christoph/Fuenmayor, David/Lomfeld, Bertram (2020): Modelling Value-oriented Legal Reasoning in LogiKEy. arXiv. S. 1–57.
Benzmüller, Christoph/Lomfeld, Bertram (2020a): Reasonable Machines: a Research Manifesto. In: KI 2020. Berlin: Springer. S. 251–258.
Benzmüller, Christoph/Lomfeld, Bertram (2020b): Reasonable Machines: a Research Manifesto. arXiv. S. 1–8.
Benzmüller, Christoph/Parent, Xavier/Ricca, Francesco (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). In: Theory and Practice of Logic Programming. Cambridge [u.a.]: Cambridge Univ. Press. S. 1–3.
Benzmüller, Christoph/Parent, Xavier/van der Torre, Leendert (2020): Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. In: Artificial Intelligence.
Benzmüller, Christoph/Scott, Dana S. (2020): Automating Free Logic in HOL, with an Experimental Application in Category Theory. In: Journal of Automated Reasoning 64, S. 53–72.
Fuenmayor, David/Benzmüller, Christoph (2020a): Computer-Supported Analysis of Arguments in Climate Engineering. In: Lecture Notes in Computer Science. Cham: Springer. S. 104–115. (= Lecture Notes in Computer Science).
Fuenmayor, David/Benzmüller, Christoph (2020b): A Case Study on Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument. In: Silvestre, Ricardo Sousa et al. (Hg.): Beyond Faith and Rationality: Sophia Studies in Cross-cultural Philosophy of Traditions and Cultures. Cham: Springer. S. 195–228.
Fuenmayor, David/Benzmüller, Christoph (2020c): Normative Reasoning with Expressive Logic Combinations. In: ECAI 2020. IOS Press. S. 2903–2904.
Fuenmayor, David/Benzmüller, Christoph (2020d): Higher-order Logic as Lingua Franca: Integrating Argumentative Discourse and Deep Logical Analysis. arXiv. S. 1–35.
Makarenko, Irina/Benzmüller, Christoph (2020): Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding. In: Lecture notes in computer science. Berlin: Springer. S. 116–131.
Reiche, Sebastian/Benzmüller, Christoph (2020a): Public Announcement Logic in HOL. In: Lecture Notes in Computer Science. Cham: Springer. S. 222–238.
Reiche, Sebastian/Benzmüller, Christoph (2020b): Public Announcement Logic in HOL. arXiv. S. 1–17.
Steen, Alexander/Benzmüller, Christoph (2020a): The Higher-Order Prover Leo-III. In: Frontiers in Artificial Intelligence and Applications. Amsterdam: IOS Press. S. 2937–2938.
Steen, Alexander/Benzmüller, Christoph (2020b): On Reductions of Hintikka Sets for Higher-Order Logic. arXiv. S. 1–10.
Tiemens, Lucca et al. (2020): Computer-Supported Exploration of a Categorical Axiomatization of Modeloids. In: Lecture Notes in Computer Science. Cham: Springer. S. 302–317.
Benzmüller, Christoph/Stuckenschmidt, Heiner (Hg.) (2019): KI 2019: Advances in Artificial Intelligence; 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings. Cham: Springer. (= Lecture Notes in Computer Science).
(2019): Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Kalpa Publications in Computing.
Benzmüller, Christoph (2019a): What is a proof? What should it be?. In: arXiv. arXiv.org.
Benzmüller, Christoph (2019b): Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset). In: Data in Brief 24.
Benzmüller, Christoph (2019c): Universal (meta-)logical reasoning: Recent successes. In: Science of computer programming 172, S. 48–62.
Benzmüller, Christoph/Andrews, Peter (2019): Church’s Type Theory. In: The Stanford Encyclopedia of Philosophy.
Benzmüller, Christoph et al. (2019): I/O Logic in HOL. In: Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications 6, S. 715–733.
Benzmüller, Christoph/Farjami, Ali/Parent, Xavier (2019): Aqvist’s Dyadic Deontic Logic E in HOL. In: Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications 6, S. 733–755.
Benzmüller, Christoph/Fuenmayor, David (2019): Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel’s Ontological Argument. arXiv.
Benzmüller, Christoph/Parent, Xavier/Ricca, Francesco (2019): Report on the Second International Joint Conference on Rules and Reasoning. In: AI Magazine 40, S. 73–74.
Benzmüller, Christoph/Parent, Xavier/van der Torre, Leendert (2019): Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support. arXiv. S. 1–50.
Benzmüller, Christoph/Sutcliffe, Geoff (2019): Explicit Normative Reasoning and Machine Ethics. In: Arcade 2019 Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements. S. 5.
Fuenmayor Pelaez, David/Benzmüller, Christoph (2019): Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations. In: Lecture Notes in Computer Science. Cham: Springer. S. 112–128.
Fuenmayor, David/Benzmüller, Christoph (2019a): Harnessing Higher-Order (Meta-) Logic to Represent and Reason with Complex Ethical Theories. In: Lecture Notes in Computer Science. Cham: Springer. S. 418–432.
Fuenmayor, David/Benzmüller, Christoph (2019b): A Computational-Hermeneutic Approach for Conceptual Explicitation. In: Studies in Applied Philosophy, Epistemology and Rational Ethics. Cham: Springer. S. 441–469.
Fuenmayor, David/Benzmüller, Christoph (2019c): Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories. arXiv. S. 1–14.
Fuenmayor, David/Benzmüller, Christoph (2019d): A Computational-Hermeneutic Approach for Conceptual Explicitation. arXiv. S. 1–29.
Fuenmayor, David/Benzmüller, Christoph (2019e): Computational Hermeneutics: an Integrated Approach for the Logical Analysis of Natural-Language Arguments. In: Logic in Asia. Singapore: Springer. S. 187–207.
Kirchner, Daniel/Benzmüller, Christoph/Zalta, Edward N. (2019a): Computer Science and Metaphysics: a Cross-Fertilization. In: Open Philosophy 2, S. 230–251.
Kirchner, Daniel/Benzmüller, Christoph/Zalta, Edward N. (2019b): Computer Science and Metaphysics: a Cross-Fertilization. arXiv. S. 1–39.
Kirchner, Daniel/Benzmüller, Christoph/Zalta, Edward N. (2019c): Mechanizing prinzipia Logico-Metaphysica in functional type-theory. In: The review of symbolic logic 13, S. 206–218.
Steen, Alexander/Benzmüller, Christoph (2019): Extensional Higher-Order Paramodulation in Leo-III. arXiv. S. 1–34.
Tiemens, Lucca et al. (2019): Computer-supported Exploration of a Categorical Axiomatization of Modeloids. arXiv. S. 1–24.
Zahoransky, Valeria (2019): Modelling the US Constitution to establish constitutional dictatorship. In: CEUR Workshop Proceedings. Aachen, Germany: RWTH Aachen. S. 1–13.
Fuenmayor, David/Benzmüller, Christoph (2017): Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic. In: Lecture Notes in Artificial Intelligence. Cham: Springer. S. 114–127. (= Lecture Notes in Computer Science).