3 citations · 7 across the 6 of their papers we have counts for
6 papers · 1 filter
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…
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning
Alexander Steen
The logic embedding tool provides a procedural encoding for non-classical reasoning problems into classical higher-order logic. It is extensible and can support an increasing numbe…
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…
The NAI Suite -- Drafting and Reasoning over Legal Texts
Tomer Libal, Alexander Steen
A prototype for automated reasoning over legal texts, called NAI, is presented. As an input, NAI accepts formalized logical representations of such legal texts that can be created…
The Higher-Order Prover Leo-III (Extended Version)
Alexander Steen, Christoph Benzmüller
The automated theorem prover Leo-III for classical higher-order logic with Henkin semantics and choice is presented. Leo-III is based on extensional higher-order paramodulation and…