Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic. - David Fuenmayor; Christoph Benzmüller (KI, 2017)

Types, Tableaus and Gödel's God in Isabelle/HOL. - David Fuenmayor; Christoph Benzmüller (Arch. Formal Proofs, 2017)

Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument. - David Fuenmayor; Christoph Benzmüller (Arch. Formal Proofs, 2017)

Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments. - David Fuenmayor; Christoph Benzmüller (CLAR, 2018)

Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments. - David Fuenmayor (RuleML+RR (Supplement), 2018)

Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL. - David Fuenmayor; Christoph Benzmüller (Arch. Formal Proofs, 2018)

A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument. - David Fuenmayor (FLAP, 2018)

Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations. - David Fuenmayor; Christoph Benzmüller (FroCos, 2019)

Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories. - David Fuenmayor; Christoph Benzmüller (PRICAI (1), 2019)

A Computational-Hermeneutic Approach for Conceptual Explicitation. - David Fuenmayor; Christoph Benzmüller (CoRR, 2019)

Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument. - Christoph Benzmüller; David Fuenmayor (CoRR, 2019)

Computer-Supported Analysis of Arguments in Climate Engineering. - David Fuenmayor; Christoph Benzmüller (CLAR, 2020)

Normative Reasoning with Expressive Logic Combinations. - David Fuenmayor; Christoph Benzmüller (ECAI, 2020)

Topological semantics for paraconsistent and paracomplete logics. - David Fuenmayor (Arch. Formal Proofs, 2020)

Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic. - Christoph Benzmüller; David Fuenmayor; Bertram Lomfeld (CoRR, 2020)

Higher-order Logic as Lingua Franca - Integrating Argumentative Discourse and Deep Logical Analysis. - David Fuenmayor; Christoph Benzmüller (CoRR, 2020)

Value-Oriented Legal Argumentation in Isabelle/HOL. - Christoph Benzmüller; David Fuenmayor (ITP, 2021)

Topological semantics for paraconsistent and paracomplete logics in Isabelle/HOL. - David Fuenmayor (CoRR, 2021)

A Formalisation of Abstract Argumentation in Higher-Order Logic. - Alexander Steen; David Fuenmayor (CoRR, 2021)

Formalising Basic Topology for Computational Logic in Simple Type Theory. - David Fuenmayor; Fabián Fernando Serrano Suárez (CICM, 2022)

Automated Reasoning in Non-classical Logics in the TPTP World. - Alexander Steen; David Fuenmayor; Tobias Gleißner; Geoff Sutcliffe; Christoph Benzmüller (PAAR@IJCAR, 2022)

Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning. - Alexander Steen; David Fuenmayor (RuleML+RR, 2022)

Automation of Boolos' Curious Inference in Isabelle/HOL. - Christoph Benzmüller; David Fuenmayor; Alexander Steen; Geoff Sutcliffe (Arch. Formal Proofs, 2022)

Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers. - Christoph Benzmüller; David Fuenmayor; Alexander Steen; Geoff Sutcliffe (CoRR, 2022)

Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version). - Alexander Steen; David Fuenmayor (CoRR, 2022)

Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account. - Walter Carnielli; Marcelo E. Coniglio; David Fuenmayor (Rev. Symb. Log., 2022)

Who finds the short proof? - Christoph Benzmüller; David Fuenmayor; Alexander Steen; Geoff Sutcliffe (Log. J. IGPL, 2024)