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

Add code
Sep 12, 2022
Figure 1 for Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
Figure 2 for Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
Figure 3 for Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
Figure 4 for Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: