C模型

Cmodels是一个为析取逻辑程序或包含选择规则的逻辑程序计算答案集的系统。答案集解算器Cmodels使用SAT解算器作为搜索引擎来枚举逻辑程序的模型——可能的解决方案,对于析取程序,SAT solver zChaff也用于验证找到的模型的最小值。系统模型基于逻辑程序的回答集和完成语义之间的关系。对于称为stright的大类程序,答案集语义等价于完成语义,这样就可以通过SAT解算器来枚举此类程序的答案集。另一方面,对于不重要的程序[6]和[7]引入了循环公式的概念,并证明了由程序的所有循环公式扩展的完成模型等价于th!e程序。不恰当的循环公式数量可能很大,因此计算所有这些公式可能会变得计算开销。这就导致采用了“根据需要”计算循环公式来寻找程序答案集的算法。


zbMATH参考文献(参考 66篇文章 参考)

显示第21到40个结果,共66个。
按年份排序(引用)
  1. Tu,Phan Huy;Son,Tran Cao;Gelfond,Michael;Morales,A.Ricardo:行动理论的近似及其在整合规划中的应用(2011)
  2. 克劳奇,迈克尔;伊梅曼,尼尔;莫斯,J.艾略特B.:自动寻找减少(2010)
  3. Liu,Lenging;Pontelli,Enrico;Son,Tran Cao;Truszcynèski,Miroslaw:具有抽象约束原子的逻辑程序:计算的作用(2010)
  4. truszcynèski,Miroslaw:命题理论的还原,可满足关系,和逻辑程序语义的推广(2010)
  5. Brain,Martin;De Vos,Marina:记忆成本在答案集求解器实现中的重要性(2009)
  6. Dal Palù,Alessandro;Dovier,Agostino;Pontelli,Enrico;Rossi,Gianfranco:GASP:答案集编程与惰性接地(2009)
  7. Dovier,Agostino;Formisano,Andrea;Pontelli,Enrico:约束逻辑规划与组合问题答案集规划解的实证研究(2009)
  8. Daniel Kayser;Nouioua,Farid:从事故的文本描述到事故原因(2009)ioport公司
  9. 博恩,乔治;布莱恩,马丁;德沃斯,玛丽娜;菲奇,约翰:用答案集编程自动合成旋律和和声音乐(2008)
  10. Calimeri,F.;Perri,S.;Ricca,F.:试验ASP程序实例化的并行性(2008)
  11. Catalano,Gelsomina;Leon,Nicola;Perri,Simona:DLV实例化器的按需索引(2008)
  12. Gebser,Martin;Schaub,Torsten;Thiele,Sven;Usadel,Björn;Veber,Philippe:用答案集编程检测大型生物网络中的不一致性(2008)
  13. 朱西格里亚,恩里科;利昂,尼古拉;马拉提亚,马可:关于答案集求解者之间的关系(2008)
  14. 曼奇尼,托尼;米卡莱托,戴维德;帕特里齐,法比奥;卡多利,马可:在CSPLib上评估ASP和商业解决方案(2008)
  15. Mellarkod,Veena S.;Gelfond,Michael;Zhang,Yuanlin:集成答案集编程和约束逻辑编程(2008)
  16. Niemelä,Ilkka:稳定模型与差分逻辑(2008)
  17. Perri,Simona;Ricca,Francesco;Vescio,Saverio:通过动态重写实现高效的并行ASP实例化(2008)
  18. Faber,Wolfgang;Leon,Nicola:关于使用聚合的答案集编程的复杂性(2007)
  19. Janhunen,Tomi;Oikarinen,Emilia:SMODELS系统内弱等效性的自动验证(2007)
  20. 林芳珍;陈寅:发现强等价逻辑程序类(2007)