奥克林戈

oClingo是一个反应式答案集编程系统,它扩展了gringo和clap,用于处理控制器在运行时提供的外部模块。它是由托尔斯滕·格罗特编写的,作为免费软件提供,你可以自由地将它用于任何目的,也可以研究、分享和改进它。


zbMATH中的参考文献(参考文献12条)

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

  1. 贝克,哈拉尔德;明道川;托马斯·艾特:基于逻辑的流分析推理框架(2018)
  2. 布雷卡,格哈德;艾尔莫塔勒,斯特凡;冈州ç阿尔维斯,里卡多;克诺尔,马提亚斯;莱特,乔ão;Pü你好,Jörg:反应式多上下文系统:动态环境中的异构推理(2018)
  3. 格布瑟,马丁;卡明斯基,罗兰;考夫曼,本杰明;Schaub,Torsten:clingo的多镜头ASP解决方案(2018)
  4. 因克莱赞,丹妮拉;盖尔方德,迈克尔:模块化动作语言(\mathcalALM)(2016)
  5. 科瓦尔斯基,罗伯特;Sadri,Fariba:无逻辑编程的逻辑编程(2016)
  6. 爸爸,约瑟夫;Lee,Joohung:Cplus2ASP:答案集编程中的计算动作语言(\mathcalC+)(2013)
  7. 塞雷克斯,提摩太;萨本库,奥克特;学习回答条款:迈克尔·蒂切尔游戏集(2013)
  8. 爸爸,约瑟夫;Lee,Joohung:稳定模型一般理论的模定理(2012)
  9. 天哪,伯恩哈德;莫拉克,迈克尔;Woltran,Stefan:D-FLAT:使用树分解和答案集编程的声明性问题解决(2012)
  10. 格布瑟,马丁;考夫曼,罗兰;Schaub,Torsten:为有效的ASP规划做好准备(2012)
  11. 格布瑟,马丁;格罗特,托尔斯顿;卡明斯基,罗兰;Schaub,Torsten:反应式答案集编程(2011)
  12. 格布瑟,马丁;考夫曼,本杰明;卡明斯基,罗兰;奥斯特罗夫斯基,马克斯;肖布,托尔斯滕;施耐德,马吕斯:Potasco:波茨坦答案集解决方案集(2011)