DLV-EX公司

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


zbMATH参考文献(14篇文章引用了,1标准件)

显示第1至14个结果,共14个。
按年份排序(引用)

  1. Arias,Joaquin;Carro,Manuel;Salazar,Elmer;Marple,Kyle;Gupta,Gopal:无基础约束答案集编程(2018)
  2. Gebser,Martin;Kaminski,Roland;Kaufmann,Benjamin;Schaub,Torsten:使用clingo进行多点ASP解决(2018)
  3. Balduccini,Marcello;Lierer,Yuliya:Constraint answer set solver\textscezcspand why integration schemas matter(2017年)
  4. Thomas Eiter;Fink,Michael;Ianni,Giovambattista;Krennwallner,Thomas;Redl,Christoph;Schüller,Peter:带外部计算的答案集编程模型构建框架(2016)
  5. Thomas Eiter;Fink,Michael;Krennwallner,Thomas;Redl,Christoph:具有外部资源的ASP程序的域扩展(2016)
  6. Faber,Wolfgang;Leon,Nicola;Perri,Simona:DLV的智能地滚球(2012)
  7. Thomas Eiter;Brewka,Gerhard;Dao Tran,Minh;Fink,Michael;Ianni,Giovambattista;Krennwallner,Thomas:将非单调知识库与外部资源相结合(2009)
  8. 艾特,托马斯;伊尼,乔瓦姆巴蒂斯塔;克伦沃纳,托马斯:答案集编程:入门(2009)
  9. 佛罗伦萨,卡米洛;莫米利亚诺,阿尔伯托;奥纳吉,马里奥:走向答案集编程的类型学科(2009)
  10. Gebser,Martin;Ostrowski,Max;Schaub,Torsten:约束答案集求解(2009)
  11. Ianni,Giovambattista;Martello,Alessandra;Panetta,Claudio;Terracina,Giorgio:使用答案集编程高效查询RDF本体(2009)
  12. 《企业》杂志,2009年版;罗曼蒂娜·安托洛;罗曼蒂娜·安托洛斯;罗曼蒂娜·安托洛斯,2009年;罗曼蒂娜·安托洛斯;罗曼蒂娜·安托洛斯;罗曼蒂娜·安托洛斯,2009年)
  13. Calimeri,Francesco;Cozza,Susanna;Ianni,Giovambattista;Leone,Nicola:ASP中的可计算函数:理论与实现(2008)
  14. Calimeri,Francesco;Cozza,Susanna;Ianni,Giovambattista:逻辑编程中知识和价值创造的外部来源(2007)