DLV-EX

逻辑编程中的知识和价值发明的外部来源,逻辑编程中的价值发明问题包含许多场景,如函数符号的逻辑编程、面向对象的逻辑语言、与外部知识源的互操作性、或集合统一。这项工作介绍了一个框架嵌入价值发明在一般情况下。识别具有适当(但一般来说,不可判定)“有限接地属性”的程序类,并引入“价值发明限制”程序的类别。限值程序具有有限的接地特性,可在多项式时间内确定。他们是一个非常大的多项式可判定类,具有这样的性质,当不能假设关于发明价值的性质(而后者是在特定文献中关于函数符号的逻辑编程的情况)。最后讨论了与现有形式关系的关系,并描述了支持此类程序类的系统的实现。


ZBMaX中的参考文献(14篇)1标准条款

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

  1. 阿里亚斯,Joaquin;CARO,曼努埃尔;萨拉查,埃尔默;Marple,Kyle;Gupta,Gopa:约束回答集无接地编程(2018)
  2. Gebser,马丁;卡明斯基,罗兰;考夫曼,本杰明;肖布,托斯滕:用Culgo(2018)解决多重射击ASP
  3. Balduccini,马塞洛;Lierler,Yulyay:约束回答集求解器.TraceScript和为什么集成模式重要(2017)
  4. Eiter,托马斯;芬克,米迦勒;IANI,GIOVAMBATISTA;Krennwallner,托马斯;ReRL,克里斯托夫;SCHü勒,彼得:一个具有外部计算的答案集编程模型构建框架(2016)
  5. Eiter,托马斯;芬克,米迦勒;Krennwallner,托马斯;ReRL,克里斯托夫:ASP程序与外部源的域扩展(2016)
  6. 费伯,沃尔夫冈;Leone,尼古拉;佩里,Simona:DLV智能地雷(2012)
  7. Eiter,托马斯;布雷卡,格哈德;Dao Tran,明;芬克,米迦勒;IANI,GIOVAMBATISTA;Krennwallner,托马斯:将非单调知识库与外部源相结合(2009)
  8. Eiter,托马斯;IANI,GIOVAMBATISTA;Krennwallner,托马斯:回答集编程:入门(2009)
  9. 菲奥伦蒂尼,卡米洛,MimigiLaNo,阿尔伯托;OrnaGi,马里奥:面向回答集编程的一门学科(2009)
  10. Gebser,马丁;Ostrowski,马克斯;Suab,Trest:约束回答集求解(2009)
  11. 扬尼,GioVaBaTiStA;Martello,Alessandra;帕内塔,克劳迪奥;泰拉奇纳,吉奥吉奥:用回答集编程有效地查询RDF(S)本体(2009)
  12. 里卡,弗朗西斯科;GuluCi,洛伦佐;辛德劳尔,罗马;Del'Amii,蒂娜;Graso,乔凡尼;Leone,尼古拉:OntoDLV:一个基于ASP的企业本体系统(2009)
  13. Calimeri,弗朗西斯科;Cozza,苏珊娜;Ihani,GioVaBaTiista;Leone,尼古拉:ASP可计算函数:理论与实现(2008)
  14. Calimeri,弗朗西斯科;Cozza,苏珊娜;IANI,GIOVAMBATISTA:逻辑程序设计中的外部知识源和价值发明(2007)