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

12 September 2022

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 A. Steen LRM 68 7 0 23 Mar 2022
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 A. Steen Christoph Benzmüller LRM 29 25 0 26 Jul 2019
Enabling Reasoning with LegalRuleML Brian Lam M. Hashmi AILaw 37 33 0 11 Nov 2017