埃尔布郎模相关硕士博士期刊学术论文

逻辑程序是一些具有正负子句的规则集合.基于MOORE提出的自认知逻辑的基础上,GELFOND引进了稳定模的概念,后来得到更进一步的发展.......