David Fuenmayor
Orcid: 0000-0002-0042-4538
According to our database1,
David Fuenmayor
authored at least 26 papers
between 2017 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account.
Rev. Symb. Log., 2022
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version).
CoRR, 2022
Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers.
CoRR, 2022
Proceedings of the Rules and Reasoning, 2022
Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022
2021
CoRR, 2021
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021
2020
Higher-order Logic as Lingua Franca - Integrating Argumentative Discourse and Deep Logical Analysis.
CoRR, 2020
Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic.
CoRR, 2020
Arch. Formal Proofs, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the Logic and Argumentation - Third International Conference, 2020
2019
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument.
CoRR, 2019
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations.
Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019
2018
A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument.
FLAP, 2018
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL.
Arch. Formal Proofs, 2018
Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments.
Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), 2018
Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments.
Proceedings of the Dynamics, 2018
2017
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument.
Arch. Formal Proofs, 2017
Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic.
Proceedings of the KI 2017: Advances in Artificial Intelligence, 2017