Automated Reasoning in Non-classical Logics in the TPTP World

20 February 2022

Papers citing "Automated Reasoning in Non-classical Logics in the TPTP World"

2 / 2 papers shown

Title
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version) A. Steen D. Fuenmayor 104 1 0 12 Sep 2022
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning A. Steen LRM 76 7 0 23 Mar 2022