×

DLV2型

swMATH标识: 33094
软件作者: 阿尔维亚诺,马里奥;卡利梅里,弗朗西斯科;多达罗,胭脂红;达斯卡,戴维德;利昂,尼古拉;佩里,西蒙娜;里卡,弗朗西斯科;维尔特里,皮尔弗兰切斯科;Zangari,杰西卡
说明: 介绍了一种新的答案集编程系统DLV2。DVL2结合了(mathcal{I}mathrm{-DLV}),一个完全兼容的ASP-Core-2的grounder,以及评估良好的解算器WASP。输入程序可以通过注释和指令来丰富,这些注释和指令可以定制系统的启发式并扩展其解决能力。对以往ASP比赛的基准进行了实证分析,结果表明DLV2优于旧的DVL系统,接近于最先进的ASP系统Clingo。
主页: https://link.springer.com/chapter/10.1007%2F978-3-319-61660-5_19
关键词: 答案集编程;系统;接地;解决
相关软件: 黄蜂;保鲜膜;扣环;外国佬;DLV公司;数据日志;喘息;奥米加;超小卫星;;保鲜膜;IDP3公司;C模型;马克西诺;SPARQL公司;SWI序言;钾肥;github;卡扣福利奥2;ezcsp公司
参考文献: 23种出版物

按年份引用出版物