黄蜂

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


zbMATH中的参考文献(参考 35篇文章 引用,第1条标准)

显示第1到第20个结果,共35个。
按年份排序(引用)
  1. Amendola,Giovanni;Ricca,Francesco;Truszczynski,Miroslaw:生成硬随机布尔公式和析取逻辑程序的新模型(2020)
  2. 阿尔维亚诺,马里奥;阿蒙多拉,乔瓦尼;多达罗,卡敏;利昂,尼古拉;马拉提亚,马可;里卡,弗朗西斯科:对黄蜂分离程序的评估(2019年)
  3. Alviano,Mario;Dodaro,Carmine;Fichte,Johannes K.;Hecher,Markus;Philipp,Tobias;Rath,Jakob:ASP的不一致性证明:ASP-DRUPE格式(2019)
  4. Alviano,Mario;Faber,Wolfgang:广义原子逻辑程序的链式答案集(2019)
  5. 阿尔维亚诺,马里奥;利昂,尼古拉;维尔特里,皮尔弗兰切斯科;赞加里,杰西卡:增强魔术集与应用到本体论推理(2019)
  6. 阿蒙多拉,乔凡尼;多达罗,卡敏;马拉提亚,马可:《计算ASP程序谨慎后果的抽象求解器》(2019)
  7. 阿蒙多拉,乔凡尼;多达罗,卡敏;里卡,弗朗西斯科:用更少的资源获得更好的准一致答案集(2019年)
  8. 阿蒙多拉,乔凡尼;里卡,弗朗西斯科;特鲁兹钦斯基,米罗斯劳:超越NP:量化超过答案集(2019)
  9. Calimeri,Francesco;Ianni,Giovambattista;Pacenza,Francesco;Perri,Simona;Zangari,Jessica:overgrounding的增量答案集编程(2019)
  10. Bernardo Cuteri;Dodaro,Carmine;Ricca,Francesco;Schüller,Peter:ASP程序的部分编译(2019年)
  11. Dodaro,Carmine;Gasteiger,Philip;Reale,Kristian;Ricca,Francesco;Schekotihin,Konstantin:调试非基础ASP程序:技术和图形工具(2019)
  12. Ellmouthaler,Stefan(编辑);Schulz,Claudia(编辑):《面向用户的逻辑编程和推理范例TPLP专题介绍》(2019)
  13. Fandinno,Jorge;Schulz,Claudia:回答集编程中的“为什么”——解释方法调查(2019)
  14. Gelfond,Michael;Zhang,Yuanlin:基于ASP的语言中的恶性循环原理、聚合和集合的形成(2019)
  15. 利昂,尼古拉;阿洛卡,卡罗;阿尔维亚诺,马里奥;卡利梅里,弗朗西斯科;Civili,Cristina;Costable,Roberta;佛罗伦萨,Alessio;Fuscá,Davide;Germano,Stefano;Laboccetta,Giovanni;Cuteri,Bernardo;Manna,Marco;Perri,Simona;Reale,Kristian;Ricca,Francesco;Veltri,Pierfrancesco;Zangari,大比例尺推理(2019年:杰西卡)
  16. Alviano,Mario;Dodaro,Carmine;Järvisalo,Matti;Marco Maratea;Previti,Alessandro:ASP中通过最小模型和不满意核心的谨慎推理(2018)
  17. Mario Alviano;Carmine Dodaro;Marco Marotea:答案集编程中的共享聚合集(2018)
  18. Bliem,Bernhard:Treewidth在非基础答案集解决和图中的联盟问题(2018)
  19. Gebser,Martin;Kaminski,Roland;Kaufmann,Benjamin;Schaub,Torsten:使用clingo进行多点ASP解决(2018)
  20. 阿尔维亚诺,马里奥;卡利梅里,弗朗西斯科;多达罗,卡敏;福斯卡,戴维德;利昂,尼古拉;佩里,西蒙娜;里卡,弗朗西斯科;维尔特里,皮尔弗兰切斯科;桑加里,杰西卡:ASP系统DLV2(2017)