Picture for David Fuenmayor

David Fuenmayor

Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)

Add code
Sep 12, 2022
Figure 1 for Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
Figure 2 for Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
Figure 3 for Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
Figure 4 for Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
Viaarxiv icon

Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers

Add code
Aug 22, 2022
Viaarxiv icon

Automated Reasoning in Non-classical Logics in the TPTP World

Add code
Feb 20, 2022
Figure 1 for Automated Reasoning in Non-classical Logics in the TPTP World
Viaarxiv icon

A Formalisation of Abstract Argumentation in Higher-Order Logic

Add code
Oct 18, 2021
Figure 1 for A Formalisation of Abstract Argumentation in Higher-Order Logic
Figure 2 for A Formalisation of Abstract Argumentation in Higher-Order Logic
Figure 3 for A Formalisation of Abstract Argumentation in Higher-Order Logic
Figure 4 for A Formalisation of Abstract Argumentation in Higher-Order Logic
Viaarxiv icon

Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis

Add code
Jul 02, 2020
Figure 1 for Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis
Figure 2 for Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis
Viaarxiv icon

Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic

Add code
Jun 23, 2020
Figure 1 for Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic
Figure 2 for Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic
Figure 3 for Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic
Figure 4 for Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic
Viaarxiv icon

Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument

Add code
Oct 20, 2019
Figure 1 for Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument
Figure 2 for Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument
Figure 3 for Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument
Figure 4 for Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument
Viaarxiv icon

A Computational-Hermeneutic Approach for Conceptual Explicitation

Add code
Jul 19, 2019
Figure 1 for A Computational-Hermeneutic Approach for Conceptual Explicitation
Figure 2 for A Computational-Hermeneutic Approach for Conceptual Explicitation
Figure 3 for A Computational-Hermeneutic Approach for Conceptual Explicitation
Figure 4 for A Computational-Hermeneutic Approach for Conceptual Explicitation
Viaarxiv icon