芦笋

基于Web的芦笋基准环境:答案集编程(ASP)作为一种新的声明式编程范式出现于20世纪90年代末,其根源在于非单调推理、演绎数据库和以否定为失败的逻辑编程。ASP自诞生以来,一直被认为是非单调推理的计算体现,是有效的知识表示工具的主要候选。这一观点被ASP高效求解器的出现所推动。

zbMATH参考文献(参考 5篇文章

显示第1到第5个结果,共5个。
按年份排序(引用)

  1. Günther Charwat;Ianni,Giovambattista;Krennwallner,Thomas;Kronegger,Martin;Pfandler,Andreas;Redl,Christoph;Schwengerer,Martin;Spendier,Lara Katharina;Wallner,Johannes Peter;肖国辉:版本化竞争工作流编译器(2013)ioport公司
  2. 马普尔,凯尔;古普塔,戈帕尔:一个目标导向的答案集求解器(2013)ioport公司
  3. Andres,Benjamin;Kaufmann,Benjamin;Matheis,Oliver;Schaub,Torsten:clap中基于不可满足的优化(2012)
  4. Brain,Martin;Crick,Tom;De Vos,Marina;Fitch,John:TOAST:将答案集编程应用于超优化(2006)
  5. Anger,Christian;Gebser,Martin;Linke,Thomas;Neumann,André;Schaub,Torsten:答案集求解的nomore++方法(2005)