David Fuenmayor

31 papers A 1B 2C 1Misc 1Journal 20Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Discernment is all you need.
CoRR
David Fuenmayor
2025 J jnl
Semantical Investigations on Non-Classical Logics With Recovery Operators: Negation.
Log. J. IGPL
David Fuenmayor
2024 J jnl
Who finds the short proof?
Log. J. IGPL
Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
2022 — conf
Automated Reasoning in Non-classical Logics in the TPTP World.
PAAR@IJCAR
Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller
2022 J jnl
Automated Reasoning in Non-classical Logics in the TPTP World.
CoRR
Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller
2022 J jnl
Automation of Boolos' Curious Inference in Isabelle/HOL.
Arch. Formal Proofs
Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
2022 B conf
Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning.
RuleML+RR
Alexander Steen, David Fuenmayor
2022 J jnl
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version).
CoRR
Alexander Steen, David Fuenmayor
2022 C conf
Formalising Basic Topology for Computational Logic in Simple Type Theory.
CICM
David Fuenmayor, Fabián Fernando Serrano Suárez
2022 J jnl
Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account.
Rev. Symb. Log.
Walter Carnielli, Marcelo E. Coniglio, David Fuenmayor
2022 J jnl
Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers.
CoRR
Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
2021 J jnl
A Formalisation of Abstract Argumentation in Higher-Order Logic.
CoRR
Alexander Steen, David Fuenmayor
2021 J jnl
Topological semantics for paraconsistent and paracomplete logics in Isabelle/HOL.
CoRR
David Fuenmayor
2021 B conf
Value-Oriented Legal Argumentation in Isabelle/HOL.
ITP
Christoph Benzmüller, David Fuenmayor
2020 — conf
Computer-Supported Analysis of Arguments in Climate Engineering.
CLAR
David Fuenmayor, Christoph Benzmüller
2020 J jnl
Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic.
CoRR
Christoph Benzmüller, David Fuenmayor, Bertram Lomfeld
2020 J jnl
Higher-order Logic as Lingua Franca - Integrating Argumentative Discourse and Deep Logical Analysis.
CoRR
David Fuenmayor, Christoph Benzmüller
2020 A conf
Normative Reasoning with Expressive Logic Combinations.
ECAI
David Fuenmayor, Christoph Benzmüller
2020 J jnl
Topological semantics for paraconsistent and paracomplete logics.
Arch. Formal Proofs
David Fuenmayor
2019 J jnl
A Computational-Hermeneutic Approach for Conceptual Explicitation.
CoRR
David Fuenmayor, Christoph Benzmüller
2019 J jnl
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument.
CoRR
Christoph Benzmüller, David Fuenmayor
2019 — conf
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories.
PRICAI (1)
David Fuenmayor, Christoph Benzmüller
2019 J jnl
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories.
CoRR
David Fuenmayor, Christoph Benzmüller
2019 — conf
Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations.
FroCos
David Fuenmayor, Christoph Benzmüller
2018 J jnl
A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument.
FLAP
David Fuenmayor
2018 — conf
Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments.
CLAR
David Fuenmayor, Christoph Benzmüller
2018 — conf
Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments.
RuleML+RR (Supplement)
David Fuenmayor
2018 J jnl
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL.
Arch. Formal Proofs
David Fuenmayor, Christoph Benzmüller
2017 Misc conf
Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic.
KI
David Fuenmayor, Christoph Benzmüller
2017 J jnl
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument.
Arch. Formal Proofs
David Fuenmayor, Christoph Benzmüller
2017 J jnl
Types, Tableaus and Gödel's God in Isabelle/HOL.
Arch. Formal Proofs
David Fuenmayor, Christoph Benzmüller