数据集 - 海数据

LegalRuleML_TPTP_Based_自动规范推理桥接补充数据_2022

2026年1月15日 30 134 60

数据集概述本数据集是会议论文《Bridging between LegalRuleML and TPTP for Automated Normative Reasoning》的补充材料，包含LegalRuleML示例文件、NMF...
- ZIP

智能助手

您好！我是海数据平台的智能助手，有什么可以帮助您的吗？