Formal Verification of Some Potential Contradictions in Knowledge Base Using a High Level Net Approach.评价结果

评估详情