论文研究 Restricted Semantics for Inconsistency and Incoherence.pdf
解决不一致性和不连贯性的限定语义,林作铨,陈晨,在缺省推理和答集程序设计中都可能存在唯一平凡扩张和答集或无扩张和答集,我们提出缺省推理和答集程序设计的限定语义来解决这种��
下载地址
用户评论
