奥克林戈

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


zbMATH参考文献(参考12篇文章)

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

  1. Beck,Harald;Dao Tran,Minh;Eiter,Thomas:LARS:基于逻辑的流分析推理框架(2018)
  2. Brewka,Gerhard;Ellmouthaler,Stefan;Gonçalves,Ricardo;Knorr,Matthias;Leite,João;Pührer,Jörg:反应性多上下文系统:动态环境中的异构推理(2018)
  3. Gebser,Martin;Kaminski,Roland;Kaufmann,Benjamin;Schaub,Torsten:使用clingo进行多点ASP解决(2018)
  4. Daniela Inclezan;Michael Gelfond:模块化动作语言(\mathcalALM)(2016)
  5. Kowalski,Robert;Sadri,Fariba:逻辑编程中没有逻辑编程的编程(2016)
  6. Babb,Joseph;Lee,Joohung:Cplus2ASP:答案集编程中的计算动作语言(\mathcalC+)(2013)
  7. Cerexhe,Timothy;Sabuncu,Orkunt;Thielscher,Michael:评估一般游戏中的答案集从句学习(2013)
  8. Babb,Joseph;Lee,Joohung:稳定模型一般理论的模定理(2012)
  9. Bliem,Bernhard;Morak,Michael;Woltran,Stefan:D-FLAT:使用树分解和答案集编程的声明性问题解决(2012)
  10. Gebser,Martin;Kaufmann,Roland;Schaub,Torsten:为有效的ASP规划做好准备(2012年)
  11. Gebser,Martin;Grote,Torsten;Kaminski,Roland;Schaub,Torsten:反应式答案集编程(2011)
  12. 马丁·格布瑟;本杰明·考夫曼;罗兰·卡明斯基;马克斯·奥斯特罗夫斯基;肖布、托尔斯滕;施耐德、马吕斯:Potasco:波茨坦答案集解题集(2011)