黄蜂

WASP:一个基于约束学习的原生ASP求解器。本文介绍了在稳定模型语义下处理析取逻辑程序的ASP求解器WASP。WASP实现了最初为SAT求解引入的技术,这些技术已经扩展到处理ASP程序。其中包括重新启动、冲突驱动的约束学习和回跳。此外,WASP还将这些基于SAT的技术与专门为ASP计算而设计的优化方法相结合,例如源指针增强无基集计算、基于atom支持的正向和反向推理运算符以及用于稳定模型检查的技术。在分支启发式方面,WASP采用了与前瞻技术相结合的BerkMin准则。本文还报道了WASP在第三届ASP竞赛系统赛道上运行的实验结果。


zbMATH中的参考文献(参考文献56条,1标准件)

显示第1到第20个结果,共56个。
按年份排序(引用)
  1. Hecher,Markus:Treewidth-aware reduced of normal\textscSAT-是否normal\textscap比\textscSAT更危险?(2022年)
  2. 阿蒙多拉,乔凡尼;多达罗,胭脂红;费伯,沃尔夫冈;Ricca,Francesco:次相干答案集计算(2021)
  3. 贝托鲁奇,里卡多;卡皮塔内利,阿莱西奥;多达罗,胭脂红;利昂,尼古拉;马拉提亚,马可;马斯特罗乔瓦尼,富尔维奥;Vallati,Mauro:通过答案集编程使用双臂机器人操纵关节物体(2021)
  4. 卡利梅里,弗朗西斯科;卡特鲁乔,弗朗西斯科;西内利,卢卡;马尔祖罗,阿尔多;雄蕊,克劳迪奥;泰拉契纳,乔治;杜兰德杜比夫,弗朗索瓦;Sappey Marinier,Dominique:利用神经网络研究神经疾病进化的逻辑框架(2021)
  5. 利勒,尤利娅;Robbins,Justin:DualGrounder:通过clingo multi-shot框架延迟实例化(2021)
  6. 阿尔维亚诺,马里奥;Dodaro,Carmine:不满意的核心分析和最佳稳定模型搜索的聚集(2020)
  7. 阿蒙多拉,乔凡尼;里卡,弗朗西斯科;Truszczynski,Miroslaw:生成硬随机布尔公式和析取逻辑程序的新模型(2020)
  8. 比奇勒,曼努埃尔;莫拉克,迈克尔;沃尔特兰,斯特凡:selp:一个一次性的认知逻辑程序求解器(2020)
  9. 波曼森,乔里;Janhunen,Tomi:用加权比较器网络促进答案集优化(2020)
  10. 卡利梅里,弗朗西斯科;多达罗,胭脂红;达斯卡,戴维德;佩里,西蒙娜;Zangari,Jessica:技术说明。高效耦合(\mathscrI)-DLV地滚球与ASP解算器(2020)
  11. 德沃夫,狼;Bogaerts,Bart:\ textscp2pb:将答案集程序转换为伪布尔理论(2020)
  12. 多达罗,胭脂红;艾特,托马斯;奥格里斯,保罗;Schekotihin,Konstantin:用强化学习管理流推理的缓存策略(2020)
  13. 多达罗,胭脂红;Ricca,Francesco:扩展WASP的外部接口(2020)
  14. 格布瑟,马丁;马拉提亚,马可;Ricca,Francesco:第七届答案集编程竞赛:设计与结果(2020)
  15. 伊安尼,乔瓦姆巴蒂斯塔;帕森扎,弗朗西斯科;Zangari,Jessica:用定制简化对过度接地逻辑程序进行增量维护(2020)
  16. 温齐尔,安东尼乌斯;灰褐色,理查德;Friedrich,Gerhard:推进惰性接地ASP解决技术——重新启动、阶段节省、启发式等(2020)
  17. 阿尔维亚诺,马里奥;阿蒙多拉,乔凡尼;多达罗,胭脂红;利昂,尼古拉;马拉提亚,马可;Ricca,Francesco:WASP中析取程序的评估(2019)
  18. 阿尔维亚诺,马里奥;多达罗,胭脂红;费希特,约翰尼斯K。;赫彻,马库斯;菲利浦,托比亚斯;Rath,Jakob:ASP的不一致性证明:ASP-DRUPE格式(2019)
  19. 阿尔维亚诺,马里奥;Faber,Wolfgang:广义原子逻辑程序的链答案集(2019)
  20. 阿尔维亚诺,马里奥;利昂,尼古拉;维尔特里,皮尔弗兰切斯科;Zangari,Jessica:增强魔术集与本体论推理的应用(2019)