May, 2014

FO(C): 一个因果关系知识表示语言

TL;DR本文提出了一种新的语言C-Log,它在表示效果方面更具表现力,可以与一阶逻辑集成,相对于一些相关语言,如归纳定义、分离式逻辑编程、商业规则和Datalog的扩展,具有更多优势。