DLV2型 swMATH ID: 33094 软件作者： 阿尔维亚诺，马里奥；弗朗西斯科·卡利默里；多达罗、卡明；福斯科，戴维德；尼古拉·利昂内（Nicola Leone）；西蒙娜·佩里（Simona Perri）；弗朗西斯科·里卡；皮尔弗朗西斯科·维尔特里；Jessica Zangari 描述： ASP系统DLV2。我们介绍了DLV2，一种新的答案集编程（ASP）系统。DVL2联合收割机（mathcal{一} 马特姆{-DLV}），一个完全兼容的ASP-Core-2地滚球，拥有经过良好评估的解决方案WASP。输入程序可以通过注释和指令来丰富，这些注释和指令定制系统的启发式并扩展其求解能力。对过去ASP竞赛的基准进行的实证分析表明，DLV2优于旧的DVL系统，接近最先进的ASP系统Clingo。 主页： https://link.springer.com/chapter/10.1007%2F978-3-319-61660-5_19 关键词： 答案集编程;系统;接地;解决 相关软件： 克林戈;WASP公司;扣环;格林戈;DLV公司;GASP公司;数据日志;Potassco公司;SPARQL公司;OMiGA公司;超小卫星;RDFox公司;DBpedia（数据库）;C模型;国内流离失所者3;糠;马克西诺;Clingcon公司;ezcsp公司;LARS公司 引用于： 26文件 标准条款 2出版物描述软件，包括2出版物以zbMATH为单位 年份 增强DLV以进行大规模推理尼古拉·利昂内（Nicola Leone）；卡洛·阿洛卡；阿尔维亚诺，马里奥；弗朗西斯科·卡利默里；克里斯蒂娜·西维利；成本高昂，罗伯塔；佛罗伦萨，阿莱西奥；福斯科，戴维德；斯特凡诺·杰尔马诺；乔瓦尼·拉博切塔；贝尔纳多·卡特里（Bernardo Cuteri）；马可·曼纳；西蒙娜·佩里（Simona Perri）；里尔，克里斯蒂安；弗朗西斯科·里卡；皮尔弗朗西斯科·维尔特里；Jessica Zangari 2019 ASP系统DLV2。 Zbl 1472.68178号马里奥·阿尔维亚诺;弗朗西斯科·卡利默里;卡明·多达罗;戴维·福斯卡;尼古拉·利昂;西蒙娜·佩里;弗朗西斯科·里卡;皮尔弗朗西斯科·维尔特里;Jessica Zangari 2017 全部的 前5名44位作者引用 8 卡明·多达罗 7 Jessica Zangari 6 弗朗西斯科·里卡 5 马里奥·阿尔维亚诺 5 西蒙娜·佩里 4 弗朗西斯科·卡利默里 三 格哈德·弗里德里希（Gerhard E.Friedrich）。 三 尼古拉·利昂 三 马可·马拉提亚 三 理查德·塔普 三 安东尼乌斯·温齐尔 2 乔瓦尼·阿蒙多拉 2 佛罗伦萨，阿莱西奥 2 戴维·福斯卡 2 刘燕红安妮 2 马可·曼纳 2 彼得·舒勒 2 皮尔弗朗西斯科·维尔特里 1 格里戈里斯·安东尼奥 1 哈拉尔德·贝克 1 托拜厄斯·贝雷 1 曼纽尔·比什勒 1 伊丽莎·伯尔 1 成龙（Cheng，Long） 1 贝尔纳多·卡特里 1 明州道特兰 1 德雷克·德拉海姆 1 托马斯·艾特 1 莎拉·爱丽丝·加格尔 1 马丁·格布瑟 1 Järv，普里特 1 马蒂·Järvisalo 1 马蒂亚斯·克诺尔 1 迈克尔·马赫（Michael J.Maher）。 1 埃琳娜·马斯特里亚 1 迈克尔·莫拉克 1 亚历山德罗·普雷维蒂 1 康斯坦丁·舍科提欣 1 斯科特·斯托勒。 1 伊利亚斯·塔赫马齐迪斯 1 塔内尔·塔米特 1 Tekle，K.Tuncay 1 斯蒂芬，韦德 1 斯特凡·沃尔特兰 3篇连载文章中引用 14 逻辑程序设计理论与实践 2 计算机基础理论 1 人工智能 在2个字段中引用 25 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文