DLV公司

DLV是一个基于析取逻辑编程的演绎数据库系统,它为几种高级KR形式提供前端。它是由意大利奥地利的一个研究小组(卡拉布里亚大学和维也纳理工大学)提出的。该系统支持一种基于逻辑形式的语言,具有很高的表达能力,使程序能够在知识不完整或相互矛盾的情况下表现相关的实际问题。经过几年的理论研究,该系统于1997年首次发布。在过去的几年里,它得到了一次又一次的显著改进,在发动机的所有模块中加入了新的功能和相关的优化技术。它代表了当今知识表示与推理(KRR)系统的最新发展。由于长期的理论和实现努力,该语言现在得到了一个高效的运行时系统的支持,该系统利用了科学和工业数据库社区多年来开发的技术。通过分析其特定输入的性质,系统能够应用能够更好地反映当前问题复杂性的技术,从而使“简单”问题得到快速解决,而只有较难的问题涉及到计算成本较高的方法。


zbMATH中的参考文献(参考文献30篇文章,2标准条款)

显示第1到第20个结果,共30个。
按年份排序(引用)
  1. Luigi Bellomarini,Georg Gottlob,Emanuel Sallinger:Vadalog系统:基于数据日志的知识图推理(2020)阿尔十四
  2. 阿尔维亚诺,马里奥;Faber,Wolfgang:广义原子逻辑程序的链答案集(2019)
  3. 阿尔维亚诺,马里奥;利昂,尼古拉;维尔特里,皮尔弗兰切斯科;Zangari,Jessica:增强魔术集与本体论推理的应用(2019)
  4. 多达罗,胭脂红;加斯泰格,菲利普;真的,克里斯蒂安;里卡,弗朗西斯科;Schekotihin,Konstantin:调试非基础ASP程序:技术和图形工具(2019)
  5. 凯恩,托比亚斯;汤姆皮茨,汉斯:乌胡拉:一个使用受控自然语言指定答案集程序的创作工具(2019)
  6. 利昂,尼古拉;阿洛卡,卡罗;阿尔维亚诺,马里奥;卡利梅里,弗朗西斯科;公民,克里斯蒂娜;可负担的,罗伯塔;佛罗伦萨,阿莱西奥;保险丝à, 戴维德;杰马诺,斯特凡诺;拉波切塔,乔瓦尼;卡特里,贝尔纳多;吗哪,马可;佩里,西蒙娜;真的,克里斯蒂安;里卡,弗朗西斯科;维尔特里,皮尔弗兰切斯科;Zangari,Jessica:增强大规模推理的DLV(2019)
  7. Lifschitz,Vladimir:答案集编程(2019)
  8. 袁,提摩太T。;雷耶斯,玛丽莎;张元林:通过逻辑编程向高中生介绍计算机科学(2019)
  9. 阿尔维亚诺,马里奥;多达罗,胭脂红;Jä阿维萨洛,马蒂;马拉提亚,马可;Previti,Alessandro:ASP中通过最小模型和不满足核心的谨慎推理(2018)
  10. 阿尔维亚诺,马里奥;多达罗,胭脂红;Marco,Marco:答案集编程中的共享集合集(2018)
  11. Bliem,Bernhard:Treewidth在非基础答案集解决和图中的联盟问题(2018)
  12. 法律、商标;拉索,亚历山德拉;Broda,Krysia:学习答案集程序的复杂性和普遍性(2018)
  13. 阿尔维亚诺,马里奥;卡利梅里,弗朗西斯科;多达罗,胭脂红;保险丝à, 戴维德;利昂,尼古拉;佩里,西蒙娜;里卡,弗朗西斯科;维尔特里,皮尔弗兰切斯科;Zangari,Jessica:ASP系统DLV2(2017)
  14. 比奇勒,曼努埃尔;莫拉克,迈克尔;Woltran,Stefan:Lpopt:答案集编程的规则优化工具(2017)
  15. Sato,Taisuke:数据日志评估的线性代数方法(2017)
  16. 阿尔维亚诺,马里奥;Dodaro,Carmine:Anytime Anytime Anytime Anytime Anytime Anytime Anytime Anytime Anytime Anytime Anytime Anytime Anytime Anytime Anytime Anytime An
  17. 博加茨,巴特;简胡南,托米;Tasharrofi,Shahab:稳定的不稳定语义:用正常逻辑程序超越NP(2016)
  18. 阿尔维亚诺,马里奥;费伯,沃尔夫冈;Gebser,Martin:在答案集编程中重写递归聚合:回到单调性(2015)
  19. 阿尔维亚诺,马里奥;体育课ñaloza,Rafael:通过可满足模理论计算模糊答案集(2015)
  20. 多尔蒂,帕特里克;深圳łas,Andrzej:稳定性、支持性、极简性和Kleene答案集计划(2015)