DLV公司

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


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

显示第1到第20个结果,共30个。
按年份排序(引用)
  1. 基于数据的逻辑推理系统阿尔十四
  2. Alviano,Mario;Faber,Wolfgang:广义原子逻辑程序的链式答案集(2019)
  3. 阿尔维亚诺,马里奥;利昂,尼古拉;维尔特里,皮尔弗兰切斯科;赞加里,杰西卡:增强魔术集与应用到本体论推理(2019)
  4. Dodaro,Carmine;Gasteiger,Philip;Reale,Kristian;Ricca,Francesco;Schekotihin,Konstantin:调试非基础ASP程序:技术和图形工具(2019)
  5. Kain,Tobias;Tompits,Hans:Uhura:使用受控自然语言指定答案集程序的创作工具(2019)
  6. 利昂,尼古拉;阿洛卡,卡罗;阿尔维亚诺,马里奥;卡利梅里,弗朗西斯科;Civili,Cristina;Costable,Roberta;佛罗伦萨,Alessio;Fuscá,Davide;Germano,Stefano;Laboccetta,Giovanni;Cuteri,Bernardo;Manna,Marco;Perri,Simona;Reale,Kristian;Ricca,Francesco;Veltri,Pierfrancesco;Zangari,杰西卡:增强大规模推理的DLV(2019)
  7. Lifschitz,Vladimir:答案集编程(2019)
  8. Timrey-Zhang向学生介绍计算机科学;Timreya,2019
  9. Alviano,Mario;Dodaro,Carmine;Järvisalo,Matti;Marco Maratea;Previti,Alessandro:ASP中通过最小模型和不满意核心的谨慎推理(2018)
  10. Mario Alviano;Carmine Dodaro;Marco Marotea:答案集编程中的共享聚合集(2018)
  11. Bliem,Bernhard:Treewidth在非基础答案集解决和图中的联盟问题(2018)
  12. Law,Mark;Russo,Alessandra;Broda,Krysia:学习答案集程序的复杂性和普遍性(2018)
  13. 阿尔维亚诺,马里奥;卡利梅里,弗朗西斯科;多达罗,卡敏;福斯卡,戴维德;利昂,尼古拉;佩里,西蒙娜;里卡,弗朗西斯科;维尔特里,皮尔弗兰切斯科;桑加里,杰西卡:ASP系统DLV2(2017)
  14. Bichler,Manuel;Morak,Michael;Woltran,Stefan:Lpopt:答案集编程的规则优化工具(2017)
  15. Sato,Taisuke:数据日志评估的线性代数方法(2017)
  16. Alviano,Mario;Dodaro,Carmine:Anytime Anytime Anytime Anytime Anytime Anytime Anywhere Anytime Anything set optimization via Unsatifiable core收缩(2016年),马里奥;多达罗,卡敏
  17. Bogaerts,Bart;Janhunen,Tomi;Tasharrofi,Shahab:《稳定不稳定语义:用正常逻辑程序超越NP》(2016)
  18. Alviano,Mario;Faber,Wolfgang;Gebser,Martin:在答案集编程中重写递归聚合:回到单调性(2015)
  19. Alviano,Mario;Peñaloza,Rafael:通过可满足模理论进行模糊答案集计算(2015)
  20. Patrick Doherty;Szałas,Andrzej:稳定性、支持性、极简性和Kleene答案集计划(2015)