( en | de | ru )

 

Disambiguation of "Fuenmayor, David"

Author of the publication

copydeleteadd this publication to your clipboard
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version).

, and . CoRR, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bodo David

Erich David

Ernst David

Baruch Davidoff

Frida David

 

Other publications of authors with the same name

Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument., and . CoRR, (2019)Higher-order Logic as Lingua Franca - Integrating Argumentative Discourse and Deep Logical Analysis., and . CoRR, (2020)Topological semantics for paraconsistent and paracomplete logics in Isabelle/HOL.. CoRR, (2021)Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning., and . RuleML+RR, volume 13752 of Lecture Notes in Computer Science, page 244-260. Springer, (2022)Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations., and . FroCos, volume 11715 of Lecture Notes in Computer Science, page 112-128. Springer, (2019)A Formalisation of Abstract Argumentation in Higher-Order Logic., and . CoRR, (2021)A Computational-Hermeneutic Approach for Conceptual Explicitation., and . CoRR, (2019)Formalising Basic Topology for Computational Logic in Simple Type Theory., and . CICM, volume 13467 of Lecture Notes in Computer Science, page 56-74. Springer, (2022)Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments., and . CLAR, page 187-207. Springer, (2018)Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers., , , and . CoRR, (2022)