保鲜膜

Potasco是波茨坦答案集解决方案集合,它将波茨坦大学开发的答案集编程工具捆绑在一起:Clingo将gringo和clasp组合成一个单片系统。通过这种方式,它提供了比gringo和clasp能够单独提供的更多对接地和解决过程的控制-例如,增量接地和解决。Clingo自带clapd-2版本,因此现在支持并行和析取解决。注意!Gringo3和Gringo4的语言不完全兼容,因为Gringo4遵循最新的ASP语言标准。对于处理遗留编码,我们建议除了gringo4外,还下载gringo3的最新版本。


zbMATH中的参考文献(参考文献65条,2标准条款)

显示第1到第20个结果,共65个。
按年份排序(引用)
  1. 乔治,巴里安尼斯;髂动脉速增;巴萨基斯,索蒂里斯;安东尼奥,格里戈里斯;阿尔维亚诺,马里奥;Papadakis,Emmanuel:答案集编程中使用定性理论进行编码和推理的通用方法(2020)
  2. 布里加纳,亚历山德罗;法比亚诺,弗朗西斯科;多维尔,阿戈斯蒂诺;庞泰利,恩里科:ASP中的多智能体认知规划建模(2020)
  3. 卡巴拉、佩德罗;Di公司é盖兹,马特ín;肖布,托尔斯滕;安娜·舒曼:走向度量时间回答集编程(2020)
  4. 卡巴拉、佩德罗;范迪诺,豪尔赫;加里亚,哈维尔;罗梅罗,哈维尔;Schaub,Torsten:\textteclingo:认知逻辑程序的求解器(2020)
  5. 柴新伟;里贝罗,托尼;马格宁,摩根;鲁克斯,奥利维尔;Inoue,Katsumi:可达性问题的静态分析和随机搜索(2020)
  6. 康法罗涅里,罗伯托;库兹,奥利弗:解构主义下的融合。逻辑、本体论和认知在计算概念发明中的作用(2020)
  7. 克罗珀,安德鲁;埃文斯,理查德;法律,马克:归纳的一般游戏玩法(2020)
  8. 德萨罗,法比奥·奥雷里奥;比卡基斯,安东尼;狄更斯,卢克;米勒,罗伯:认知行为叙事的概率推理(2020)
  9. 多达罗,胭脂红;艾特,托马斯;奥格里斯,保罗;Schekotihin,Konstantin:用强化学习管理流推理的缓存策略(2020)
  10. Gaggl,莎拉A。;林斯比希勒,托马斯;马拉提亚,马可;Stefan Woltran:第二届国际论证计算模型竞赛的设计与结果(2020)
  11. 伊安尼,乔瓦姆巴蒂斯塔;帕森扎,弗朗西斯科;Zangari,Jessica:用定制简化对过度接地逻辑程序进行增量维护(2020)
  12. 灰褐色,理查德;温齐尔,安东尼乌斯;Friedrich,Gerhard:《ASP中的冲突泛化:学习正确有效的非基础约束》(2020)
  13. 温齐尔,安东尼乌斯;灰褐色,理查德;Friedrich,Gerhard:推进惰性接地ASP解决技术——重新启动、阶段节省、启发式等(2020)
  14. 阿尔维亚诺,马里奥;多达罗,胭脂红;费希特,约翰尼斯K。;赫彻,马库斯;菲利浦,托比亚斯;Rath,Jakob:ASP的不一致性证明:ASP-DRUPE格式(2019)
  15. 阿蒙多拉,乔凡尼;多达罗,胭脂红;Ricca,Francesco:用更少的资源获得更好的准一致性答案集(2019年)
  16. 卡利梅里,弗朗西斯科;伊安尼,乔瓦姆巴蒂斯塔;帕森扎,弗朗西斯科;佩里,西蒙娜;Zangari,Jessica:overgrounding的增量答案集编程(2019)
  17. 卡特里,贝尔纳多;多达罗,胭脂红;里卡,弗朗西斯科;附表üLer,Peter:ASP程序的部分编译(2019)
  18. 艾特,托马斯;奥格里斯,保罗;Schekotihin,Konstantin:LARS流推理的分布式方法(系统论文)(2019)
  19. 斯特雷德(莫雷德);Schulz,Claudia(编辑):《面向用户的逻辑编程与推理范例TPLP专刊导论》(2019)
  20. 埃弗拉多,弗拉维奥;简胡南,托米;卡明斯基,罗兰;Schaub,Torsten:回归\texttxorro(2019)