钾肥

Potasco:波茨坦答案集解决方案集。本文概述了开放源代码项目potasco、波茨坦答案集解决方案集合以及在波茨坦大学开发的答案集编程工具。


zbMATH参考文献(参考,第1条标准)

显示第1到第20个结果,共66个。
按年份排序(引用)
  1. 布莱姆,伯恩哈德;莫拉克,迈克尔;摩尔多瓦人,马吕斯;沃特兰,斯特凡:树维特对答案集项目的基础和解决的影响(2020年)
  2. 埃弗拉多,弗拉维奥;詹胡南,托米;卡明斯基,罗兰;朔布,托尔斯滕:回归\texttxorro(2019)
  3. Kahl,Patrick Thor;Leclerc,Anthony P.;Tran,Son Cao:一个并行内存高效的认知逻辑程序求解器:更难、更好、更快(2019)
  4. Kain,Tobias;Tompits,Hans:Uhura:使用受控自然语言指定答案集程序的创作工具(2019)
  5. Marcopoulos,Elias;Zhang,Yuanlin:onlineSPARC:答案集编程的编程环境(2019)
  6. Yuan,Timothy T.;Reyes,Maritza;Zhang,Yuanlin:通过逻辑编程向高中生介绍计算机科学(2019)
  7. Gebser,Martin;Kaminski,Roland;Kaufmann,Benjamin;Schaub,Torsten:使用clingo进行多点ASP解决(2018)
  8. Mushthofa,Mushthofa;Schockaert,Steven;Hung,Ling Hong;Marchal,Kathleen;De Cock,Martine:使用模糊答案集编程建模多值生物交互网络(2018)
  9. Dodaro,Carmine;Marotea,Marco:通过答案集编程进行护士排班(2017年)
  10. Gebser,Martin;Kaminski,Roland;Schaub,Torsten:aspcud:基于答案集编程的Linux软件包配置工具(2017)阿尔十四
  11. Greßler,Alexander;Oetsch,Johannes;Tompits,Hans:(\mathsfHarvey):ASP中的随机测试系统(2017)
  12. Hyttinen,Antti;Plis,Sergey;Järvisalo,Matti;Eberhardt,Frederick;Danks,David:从子样本时间序列数据中发现因果关系的约束优化方法(2017)
  13. Le,Tiep;Son,Tran Cao;Pontelli,Enrico;Yeoh,William:使用逻辑编程解决分布式约束优化问题(2017)
  14. Lierer,Yuliya:什么是命题满足性的答案集编程(2017)
  15. Sergey Paramonov;van Leeuwen,Matthijs;De Raedt,Luc:关系数据因子分解(2017)
  16. Peña,Jose M.;Bendtsen,Marcus:无环定向混合图和选通模型中的因果效应识别(2017)
  17. Pührer,Jörg:ArgueApply:一个用于辩论的移动应用程序(2017)
  18. 布兰特,费利克斯;盖斯特,克里斯蒂安;哈伦斯坦,保罗:关于麦凯维未发现集和帕累托最优性(2016年)的一个注释
  19. Thomas Eiter;Fink,Michael;Krennwallner,Thomas;Redl,Christoph:具有外部资源的ASP程序的域扩展(2016)
  20. Eiter,Thomas;Kaminski,Tobias:利用上下文知识对视觉对象进行混合分类(2016)