DLV复合物

DLV复合体是通过函数扩展DLV的答案集编程系统。它是一个非常强大的ASP系统,支持(递归)函数、集合和列表,以及它们的操作库。DLV复合物是基于DLV系统和DLV-EX框架的,它继承了定义外部谓词的可能性。

ZBMaCT中的参考文献(5篇文章中引用)

显示结果1至5的5。
按年份排序(引文

  1. Calimeri,弗朗西斯科;Cozza,苏珊娜;IANI,GIOVAMBATISTA;Leone,尼古拉:有限递归程序自底向上评价的魔术组(2009)
  2. Calimeri,弗朗西斯科;Cozza,苏珊娜;IANI,GIOVAMBATISTA;Leone,尼古拉:一个具有函数、列表和集合的ASP系统(2009)伊波尔特
  3. 菲奥伦蒂尼,卡米洛,MimigiLaNo,阿尔伯托;OrnaGi,马里奥:面向回答集编程的一门学科(2009)
  4. Ornaghi,马里奥;菲奥伦蒂尼,CAMILO;MimigiLaNo,阿尔伯托;帕加诺,弗朗西斯科:应用ASP到UML模型验证(2009)伊波尔特
  5. Calimeri,弗朗西斯科;Cozza,苏珊娜;Ihani,GioVaBaTiista;Leone,尼古拉:ASP可计算函数:理论与实现(2008)