1 citations · 1 across the 3 of their papers we have counts for
5 papers
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
Alexander Steen, David Fuenmayor
LegalRuleML is a comprehensive XML-based representation framework for modeling and exchanging normative rules. The TPTP input and output formats, on the other hand, are general-pur…
Automated Reasoning in Non-classical Logics in the TPTP World
Alexander Steen, David Fuenmayor, Tobias Gleißner +2
Non-classical logics are used in a wide spectrum of disciplines, including artificial intelligence, computer science, mathematics, and philosophy. The de-facto standard infrastruct…
A Formalisation of Abstract Argumentation in Higher-Order Logic
Alexander Steen, David Fuenmayor
We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic. This provides a uniform framework for computer-ass…
Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis
David Fuenmayor, Christoph Benzmüller
We present an approach towards the deep, pluralistic logical analysis of argumentative discourse that benefits from the application of state-of-the-art automated reasoning technolo…
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories
David Fuenmayor, Christoph Benzmüller
The computer-mechanization of an ambitious explicit ethical theory, Gewirth's Principle of Generic Consistency, is used to showcase an approach for representing and reasoning with…