亚历山德罗·达尔·帕洛；阿戈斯蒂诺·多维尔；恩里科·蓬泰利；吉安弗兰科·罗西 GASP：用惰性接地回答集合编程。 （英语） Zbl 1207.68118号 芬丹。通知。 96，第3期，297-322（2009）. 摘要：近年来，答案集编程作为一种可行的知识表示和推理应用范例，越来越受欢迎。本文提出了一种计算答案集程序答案集的新方法。所提出的方法保持了一种自下而上的答案集计算方法（与现有系统一样），但它使用了一种新颖的计算结构，该结构源自程序的非基础版本。在计算答案集的过程中，接地缓慢进行。该实现是使用有限域上的约束逻辑编程实现的。 引用于19文件 MSC公司： 68N17号 逻辑编程 68T27型 人工智能中的逻辑 关键词：答案集程序；逻辑程序设计；非单调推理 软件：斯莫德尔斯；亚萨特；GASP公司；C模型；扣环 PDF格式BibTeX公司 XML格式引用 \textit{A.Dal Paló}等人，Fundam。通知。96，第3号，297--322（2009；Zbl 1207.68118） 全文： 内政部