Christoph Benzmüller

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 97

Top Venues

CoRR

Arch. Formal Proofs

ARQNL@IJCAR

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
Who finds the short proof? Log. J. IGPL 32 (3) (2024)
Veronika Solopova, Viktoriia Herman, Christoph Benzmüller, Tim Landgraf
Check News in One Click: NLP-Empowered Pro-Kremlin Propaganda Detection. CoRR (2024)
Xavier Parent, Christoph Benzmüller
Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset). Arch. Formal Proofs 2024 (2024)
Veronika Solopova, Viktoriia Herman, Christoph Benzmüller, Tim Landgraf
Check News in One Click: NLP-Empowered Pro-Kremlin Propaganda Detection. EACL (Demonstrations) (2024)
Veronika Solopova, Eiad Rostom, Fritz Cremer, Adrian Gruszczynski, Sascha Witte, Chengming Zhang, Fernando Ramos López, Lea Plößl, Florian Hofmann, Ralf Romeike, Michaela Gläser-Zikuda, Christoph Benzmüller, Tim Landgraf
PapagAI: Automated Feedback for Reflective Essays. KI (2023)
Veronika Solopova, Adrian Gruszczynski, Eiad Rostom, Fritz Cremer, Sascha Witte, Chengming Zhang, Fernando Ramos López, Lea Plößl, Florian Hofmann, Ralf Romeike, Michaela Gläser-Zikuda, Christoph Benzmüller, Tim Landgraf
PapagAI: Automated Feedback for Reflective Essays. CoRR (2023)
Xavier Parent, Christoph Benzmüller
Normative Conditional Reasoning as a Fragment of HOL. CoRR (2023)
Christoph Benzmüller, Sebastian Reiche
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy. J. Log. Comput. 33 (6) (2023)
Pietro Baroni, Christoph Benzmüller, Yì N. Wáng
Preface: Special Issue on Logic and Argumentation. J. Log. Comput. 33 (2) (2023)
Jonas Bayer, Alexey Gonus, Christoph Benzmüller, Dana S. Scott
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation. CICM (2023)
Colin Rothgang, Florian Rabe, Christoph Benzmüller
Theorem Proving in Dependently-Typed Higher-Order Logic - Extended Preprint. CoRR (2023)
Colin Rothgang, Florian Rabe, Christoph Benzmüller
Theorem Proving in Dependently-Typed Higher-Order Logic. CADE (2023)
Alexander Steen, Geoff Sutcliffe, Tobias Scholl, Christoph Benzmüller
Solving Modal Logic Problems by Translation to Higher-Order Logic. CLAR (2023)
Veronika Solopova, Oana-Iuliana Popescu, Christoph Benzmüller, Tim Landgraf
Automated multilingual detection of Pro-Kremlin propaganda in newspapers and Telegram posts. CoRR (2023)
Jonas Bayer, Aleksey Gonus, Christoph Benzmüller, Dana S. Scott
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation. CoRR (2023)
Veronika Solopova, Oana-Iuliana Popescu, Christoph Benzmüller, Tim Landgraf
Automated Multilingual Detection of Pro-Kremlin Propaganda in Newspapers and Telegram Posts. Datenbank-Spektrum 23 (1) (2023)
Jonas Bayer, Christoph Benzmüller, Kevin Buzzard, Marco David, Leslie Lamport, Yuri V. Matiyasevich, Lawrence C. Paulson, Dierk Schleicher, Benedikt Stock, Efim I. Zelmanov
Mathematical Proof Between Generations. CoRR (2022)
Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller
Automated Reasoning in Non-classical Logics in the TPTP World. PAAR@IJCAR (2022)
Henrik Mucha, Ana Correia de Barros, Jesse Josua Benjamin, Christoph Benzmüller, Andreas Bischof, Sandra Buchmüller, Alexandra de Carvalho, Anna-Katharina Dhungel, Claude Draude, Marc-Julian Fleck, Juliane Jarke, Stefanie Klein, Caroline Kortekaas, Albrecht Kurze, Diane Linke, Franzisca Maas, Nicola Marsden, Ricardo Melo, Susanne Michel, Claudia Müller-Birn, Monika Pröbster, Katja Antonia Rießenberger, Mirko Tobias Schäfer, Peter Sörries, Julia Stilke, Torben Volkmann, Anne Weibert, Wilhelm Weinhold, Sara Wolf, Isabel Zorn, Michael Heidt, Arne Berger
Collaborative Speculations on Future Themes for Participatory Design in Germany. i-com 21 (2) (2022)
Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
Automation of Boolos' Curious Inference in Isabelle/HOL. Arch. Formal Proofs 2022 (2022)
Christoph Benzmüller
A Simplified Variant of Gödel's Ontological Argument. CoRR (2022)
Xavier Parent, Christoph Benzmüller
Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results. ARQNL@IJCAR (2022)
Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller
Automated Reasoning in Non-classical Logics in the TPTP World. CoRR (2022)
Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers. CoRR (2022)
Alexander Steen, Geoff Sutcliffe, Tobias Gleißner, Christoph Benzmüller
Solving QMLTP Problems by Translation to Higher-order Logic. CoRR (2022)
Veronika Solopova, Oana-Iuliana Popescu, Margarita Chikobava, Ralf Romeike, Tim Landgraf, Christoph Benzmüller
A German Corpus of Reflective Sentences. ICON (2021)
Christoph Benzmüller, David Fuenmayor
Value-Oriented Legal Argumentation in Isabelle/HOL. ITP (2021)
Christoph Benzmüller
Exploring Simplified Variants of Gödel's Ontological Argument in Isabelle/HOL. Arch. Formal Proofs 2021 (2021)
Christoph Benzmüller, Sebastian Reiche
Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy. CoRR (2021)
Christoph Benzmüller, Xavier Parent, Francesco Ricca
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 Pract. Log. Program. 21 (1) (2021)
Christoph Benzmüller, Sebastian Reiche
Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL. Arch. Formal Proofs 2021 (2021)
Alexander Steen, Christoph Benzmüller
Extensional Higher-Order Paramodulation in Leo-III. J. Autom. Reason. 65 (6) (2021)
Christoph Benzmüller, Dana S. Scott
Automating Free Logic in HOL, with an Experimental Application in Category Theory. J. Autom. Reason. 64 (1) (2020)
Sebastian Reiche, Christoph Benzmüller
Public Announcement Logic in HOL. DaLí (2020)
Christoph Benzmüller, Bertram Lomfeld
Reasonable Machines: A Research Manifesto. KI (2020)
Irina Makarenko, Christoph Benzmüller
Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding. KI (2020)
David Fuenmayor, Christoph Benzmüller
Higher-order Logic as Lingua Franca - Integrating Argumentative Discourse and Deep Logical Analysis. CoRR (2020)
Sebastian Reiche, Christoph Benzmüller
Public Announcement Logic in HOL. CoRR (2020)
Christoph Benzmüller, Bertram Lomfeld
Reasonable Machines: A Research Manifesto. CoRR (2020)
Alexander Steen, Christoph Benzmüller
On Reductions of Hintikka Sets for Higher-Order Logic. CoRR (2020)
Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda
Computer-Supported Exploration of a Categorical Axiomatization of Modeloids. RAMiCS (2020)
David Fuenmayor, Christoph Benzmüller
Computer-Supported Analysis of Arguments in Climate Engineering. CLAR (2020)
Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre
Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. Artif. Intell. 287 (2020)
Christoph Benzmüller
A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument. KR (2020)
Christoph Benzmüller, David Fuenmayor, Bertram Lomfeld
Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic. CoRR (2020)
Alexander Steen, Christoph Benzmüller
The Higher-Order Prover Leo-III. ECAI (2020)
David Fuenmayor, Christoph Benzmüller
Normative Reasoning with Expressive Logic Combinations. ECAI (2020)
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
Mechanizing Principia Logico-Metaphysica in Functional Type-Theory. Rev. Symb. Log. 13 (1) (2020)
Christoph Benzmüller
A (Simplified) Supreme Being Necessarily Exists - Says the Computer! CoRR (2020)
Christoph Benzmüller, Ali Farjami, Xavier Parent
åqvist's Dyadic Deontic Logic E in HOL. FLAP 6 (5) (2019)
Alexander Steen, Christoph Benzmüller
The Higher-Order Prover Leo-III (Extended Abstract). KI (2019)
Christoph Benzmüller, Ali Farjami, Paul Meder, Xavier Parent
I/O Logic in HOL. FLAP 6 (5) (2019)
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
Computer Science and Metaphysics: A Cross-Fertilization. CoRR (2019)
Valeria Zahoransky, Christoph Benzmüller
Modelling the US Constitution to Establish Constitutional Dictatorship. MIREL@JURIX (2019)
Christoph Benzmüller, Xavier Parent, Francesco Ricca
Report on the Second International Joint Conference on Rules and Reasoning. AI Mag. 40 (2) (2019)
Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre
Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support. CoRR (2019)
David Fuenmayor, Christoph Benzmüller
A Computational-Hermeneutic Approach for Conceptual Explicitation. CoRR (2019)
David Fuenmayor, Christoph Benzmüller
Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations. FroCos (2019)
David Fuenmayor, Christoph Benzmüller
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories. PRICAI (1) (2019)
David Fuenmayor, Christoph Benzmüller
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories. CoRR (2019)
Alexander Steen, Christoph Benzmüller
Extensional Higher-Order Paramodulation in Leo-III. CoRR (2019)
Christoph Benzmüller, David Fuenmayor
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument. CoRR (2019)
Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda
Computer-supported Exploration of a Categorical Axiomatization of Modeloids. CoRR (2019)
Christoph Benzmüller
Universal (meta-)logical reasoning: Recent successes. Sci. Comput. Program. 172 (2019)
Christoph Benzmüller, Ali Farjami, Xavier Parent
A Dyadic Deontic Logic in HOL. DEON (2018)
Alexander Steen, Christoph Benzmüller
The Higher-Order Prover Leo-III. IJCAR (2018)
Christoph Benzmüller, Dana S. Scott
Axiom Systems for Category Theory in Free Logic. Arch. Formal Proofs 2018 (2018)
Alexander Steen, Christoph Benzmüller
The Higher-Order Prover Leo-III. CoRR (2018)
David Fuenmayor, Christoph Benzmüller
Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments. CLAR (2018)
David Fuenmayor, Christoph Benzmüller
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL. Arch. Formal Proofs 2018 (2018)
Christoph Benzmüller, Ali Farjami, Xavier Parent
Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL. CoRR (2018)
Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre
A Deontic Logic Reasoning Infrastructure. CiE (2018)
Christoph Benzmüller, Xavier Parent
I/O Logic in HOL - First Steps. CoRR (2018)
Alexander Steen, Christoph Benzmüller
System Demonstration: The Higher-Order Prover Leo-III. ARQNL@IJCAR (2018)
Christoph Benzmüller, Xavier Parent
First Experiments with a Flexible Infrastructure for Normative Reasoning. CoRR (2018)
Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller
Capability Discovery for Automated Reasoning Systems. IWIL@LPAR (2017)
David Fuenmayor, Christoph Benzmüller
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument. Arch. Formal Proofs 2017 (2017)
Alexander Steen, Max Wisniewski, Christoph Benzmüller
Going Polymorphic - TH1 Reasoning for Leo-III. IWIL@LPAR (2017)
David Fuenmayor, Christoph Benzmüller
Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic. KI (2017)
Christoph Benzmüller
Universal Reasoning, Rational Argumentation and Human-Machine Interaction. CoRR (2017)
Christoph Benzmüller
Cut-Elimination for Quantified Conditional Logic. J. Philos. Log. 46 (3) (2017)
Christoph Benzmüller, L. Weber, Bruno Woltzenlogel Paleo
Computer-Assisted Analysis of the Anderson-Hájek Ontological Controversy. Logica Universalis 11 (1) (2017)
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
Mechanizing Principia Logico-Metaphysica in Functional Type Theory. CoRR (2017)
Christoph Benzmüller
Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract). SBMF (2017)
Christoph Benzmüller, Alexander Steen, Max Wisniewski
Leo-III Version 1.1 (System description). LPAR (Short Presentations) (2017)
Tobias Gleißner, Alexander Steen, Christoph Benzmüller
Theorem Provers For Every Normal Modal Logic. LPAR (2017)
David Fuenmayor, Christoph Benzmüller
Types, Tableaus and Gödel's God in Isabelle/HOL. Arch. Formal Proofs 2017 (2017)
Alexander Steen, Max Wisniewski, Christoph Benzmüller
Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL. GCAI (2016)
Christoph Benzmüller, Bruno Woltzenlogel Paleo
The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics. IJCAI (2016)
Christoph Benzmüller, Dana S. Scott
Automating Free Logic in Isabelle/HOL. ICMS (2016)
Alexander Steen, Max Wisniewski, Christoph Benzmüller
Agent-Based HOL Reasoning. ICMS (2016)
Max Wisniewski, Christoph Benzmüller
Is It Reasonable to Employ Agents in Automated Theorem Proving?. ICAART (1) (2016)
Christoph Benzmüller, Dana S. Scott
Axiomatizing Category Theory in Free Logic. CoRR (2016)
Alexander Steen, Max Wisniewski, Christoph Benzmüller
Einsatz von Theorembeweisern in der Lehre. HDI (2016)
Harold Boley, Christoph Benzmüller, Meng Luan, Zhendong Sha
Translating Higher-Order Modal Logic from RuleML to TPTP. RuleML (Supplement) (2016)
Max Wisniewski, Alexander Steen, Christoph Benzmüller
TPTP and Beyond: Representation of Quantified Non-Classical Logics. ARQNL@IJCAR (2016)
Max Wisniewski, Alexander Steen, Kim Kern, Christoph Benzmüller
Effective Normalization Techniques for HOL. IJCAR (2016)
Max Wisniewski, Alexander Steen, Christoph Benzmüller
LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners. CoRR (2015)
Nik Sultana, Christoph Benzmüller, Lawrence C. Paulson
Proofs and Reconstructions. FroCos (2015)
Christoph Benzmüller, Bruno Woltzenlogel Paleo
Interacting with Modal Logics in the Coq Proof Assistant. CSR (2015)

Christoph Benzmüller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christoph Benzmüller