David Fuenmayor

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 29

Top Topics

Higher Order Logic

Automated Reasoning

Classical Logic

Top Venues

Arch. Formal Proofs

Publications

Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
Who finds the short proof? Log. J. IGPL 32 (3) (2024)
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)
Walter Carnielli, Marcelo E. Coniglio, David Fuenmayor
Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account. Rev. Symb. Log. 15 (3) (2022)
Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
Automation of Boolos' Curious Inference in Isabelle/HOL. Arch. Formal Proofs 2022 (2022)
David Fuenmayor, Fabián Fernando Serrano Suárez
Formalising Basic Topology for Computational Logic in Simple Type Theory. CICM (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, David Fuenmayor
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version). CoRR (2022)
Alexander Steen, David Fuenmayor
Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning. RuleML+RR (2022)
David Fuenmayor
Topological semantics for paraconsistent and paracomplete logics in Isabelle/HOL. CoRR (2021)
Christoph Benzmüller, David Fuenmayor
Value-Oriented Legal Argumentation in Isabelle/HOL. ITP (2021)
Alexander Steen, David Fuenmayor
A Formalisation of Abstract Argumentation in Higher-Order Logic. CoRR (2021)
David Fuenmayor, Christoph Benzmüller
Higher-order Logic as Lingua Franca - Integrating Argumentative Discourse and Deep Logical Analysis. CoRR (2020)
David Fuenmayor, Christoph Benzmüller
Computer-Supported Analysis of Arguments in Climate Engineering. CLAR (2020)
Christoph Benzmüller, David Fuenmayor, Bertram Lomfeld
Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic. CoRR (2020)
David Fuenmayor, Christoph Benzmüller
Normative Reasoning with Expressive Logic Combinations. ECAI (2020)
David Fuenmayor
Topological semantics for paraconsistent and paracomplete logics. Arch. Formal Proofs 2020 (2020)
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)
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)
David Fuenmayor
Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments. RuleML+RR (Supplement) (2018)
David Fuenmayor
A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument. FLAP 5 (7) (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)
David Fuenmayor, Christoph Benzmüller
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument. Arch. Formal Proofs 2017 (2017)
David Fuenmayor, Christoph Benzmüller
Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic. KI (2017)
David Fuenmayor, Christoph Benzmüller
Types, Tableaus and Gödel's God in Isabelle/HOL. Arch. Formal Proofs 2017 (2017)