DLV公司 swMATH ID: 4640 软件作者： 乔瓦尼·格拉索；萨尔瓦多伊里塔诺；尼古拉·利昂内（Nicola Leone）；弗朗西斯科·里卡 描述： DLV是一个基于析取逻辑编程的演绎数据库系统，它为几种高级KR形式提供了前端。它是由一个意大利-澳大利亚研究团队（卡拉布里亚大学和维也纳理工大学）构思的。该系统支持基于逻辑形式的语言，具有很高的表达能力，因此程序能够在存在不完整或矛盾知识的情况下表示相关的实际问题。经过几年的理论研究，该系统于1997年首次发布。在过去的几年中，它经过了一次又一次的显著改进，在发动机的所有模块中加入了新功能和相关优化技术。如今，它代表了知识表示与推理（KRR）系统的最新水平。由于长期的理论和实现努力，该语言现在得到了高效运行时系统的支持，该系统利用了科学和工业数据库社区多年来开发的技术。通过分析其特定输入的性质，系统能够应用能够更好地反映当前问题复杂性的技术，从而快速解决“简单”问题，而只有较难的问题涉及计算成本较高的方法。 主页： http://www.dlvsystem.com/dlvsystema/index.php/Products 相关软件： WASP公司;格林戈;扣环;C模型;数据日志;亚萨特;DLV2型;克林戈;国内流离失所者3;DBpedia（数据库）;ASP工具;L解析;天基信息平台;马西诺牌手表;github;LUBM公司;SPARQL公司;RDFox公司;流浪汉;罗索·克林戈 引用于： 29文件 标准文章 2出版物描述软件 年份 分离式数据记录系统DLV阿尔维亚诺，马里奥；沃尔夫冈·法伯；尼古拉·利昂内（Nicola Leone）；西蒙娜·佩里（Simona Perri）；杰拉尔德·菲费尔（Gerald Pfeifer）；乔治·特拉西纳 2011 用于知识管理的一些DLV应用程序乔瓦尼·格拉索；萨尔瓦多伊里塔诺；尼古拉·利昂内（Nicola Leone）；弗朗西斯科·里卡 2009 全部的 前5名49位作者引用 9 马里奥·阿尔维亚诺 6 卡明·多达罗 5 汤米·詹胡宁 4 尼古拉·利昂 3 弗朗西斯科·卡利默里 3 沃尔夫冈·费伯 3 埃米利亚·奥伊卡里宁 3 西蒙·佩里 3 弗朗西斯科·里卡 3 Jessica Zangari 2 巴特·博加特 2 帕特里克·多尔蒂 2 戴维·福斯卡 2 马可·马拉提亚 2 斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 汉斯·托姆皮茨 2 维尔特里，皮尔弗兰西斯科 2 斯特凡·沃尔特兰 1 金加尔巴苏 1 曼纽尔·比什勒 1 伯恩哈德·布利姆 1 Krysia B.布罗达。 1 苏珊娜·科萨 1 沃尔夫·德·沃尔夫 1 菲利普·加斯泰格 1 马丁·格布瑟 1 乔瓦尼·格拉索 1 戈帕尔·古普塔 1 乔瓦姆巴蒂斯塔·伊安尼 1 萨尔瓦多伊里塔诺 1 马蒂·Järvisalo 1 托比亚斯·凯恩 1 法律，Mark M。 1 弗拉基米尔·利夫希茨 1 文森齐诺·里奥 1 马可·曼纳 1 迈克尔·莫拉克 1 拉斐尔·佩尼亚洛萨 1 德鲁瓦省彭达尔卡 1 亚历山德罗·普雷维蒂 1 克里斯蒂安·雷亚尔 1 雷耶斯，马里扎 1 亚历山德拉·拉索。 1 佐藤泰介 1 康斯坦丁·舍科提欣 1 法哈德·沙克林 1 沙哈卜·塔沙罗菲 1 Timothy T.Yuen。 1 张元林 5篇连载文章中引用 13 逻辑程序设计理论与实践 1 人工智能 1 国际近似推理杂志 1 人工智能研究杂志 1 数学与人工智能年鉴 在4个字段中引用 28 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 1 数学教育（97-XX） 按年份列出的引文