×

喘息

swMATH标识: 7096
软件作者: 达尔帕鲁,亚历山德罗;多维尔,阿戈斯蒂诺;庞泰利,恩里科;罗西,詹弗兰科
说明: 回答集编程与懒惰接地。近年来,答案集编程作为一种可行的范例在知识表示和推理中得到了广泛的应用。本文提出了一种计算答案集程序答案集的新方法。所提出的方法保持了自下而上的方法来计算答案集(就像在现有系统中一样),但是它使用了一种新的计算结构,这种结构源自程序的非基础版本。在计算答案集的过程中,接地是惰性的。这个实现是用有限域上的约束逻辑编程实现的。
主页: http://users.dimi.uniud.it/~agostino.dovier/PAPERS/LaSh08.pdf
关键词: 答案集程序最小;逻辑程序设计;非单调推理
相关软件: 保鲜膜;外国佬;黄蜂;扣环;阿萨德;奥米加;DLV2型;数据日志;保鲜膜;ezcsp公司;sCASP公司;C模型;超小卫星;DLV-EX公司;烟雾;github;卡扣福利奥2;;微量锌;伊克林戈
引用于: 17种出版物

按年份列出的引文