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

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

A. Steen
D. Fuenmayor
ArXiv (abs)PDFHTML

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

4 / 4 papers shown
Title
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning
A. Steen
LRM
66
7
0
23 Mar 2022
Automated Reasoning in Non-classical Logics in the TPTP World
Automated Reasoning in Non-classical Logics in the TPTP World
A. Steen
D. Fuenmayor
Tobias Gleißner
G. Sutcliffe
Christoph Benzmüller
LRM
28
8
0
20 Feb 2022
Extensional Higher-Order Paramodulation in Leo-III
Extensional Higher-Order Paramodulation in Leo-III
A. Steen
Christoph Benzmüller
LRM
27
25
0
26 Jul 2019
Enabling Reasoning with LegalRuleML
Enabling Reasoning with LegalRuleML
Brian Lam
M. Hashmi
AILaw
35
33
0
11 Nov 2017