刚果语

CONGORG是一种基于情景演算的并行程序设计语言,它是一种基于并行程序执行的高级Agent控制方法。给出了这种编程语言的状态演算的形式化定义,并举例说明。该语言包括用于优先执行并发进程、在某些条件变为真时中断执行、以及处理外生动作的设施。该语言不同于其他过程形式主义的并发性,因为初始状态可以不完全指定,并且原始动作可以由情境演算中的公理来定义。语言的一些数学特性被证明,例如,所提出的语义等价于较早给出的语言部分而没有并发性。


ZBMaX中的参考文献(47篇)2篇标准文章

显示结果1至20的47。
按年份排序(引文
  1. De Giacomo,朱塞佩;Gerevini,Alfonso Emilio;Patrizi,法比奥;Saetti,Alessandro;萨尔迪纳,FILE:代理计划程序(2016)
  2. De Giacomo,朱塞佩;莱斯普朗斯,Yves;Patrizi,法比奥:有界情境演算行动理论(2016)
  3. Herzig,安德烈亚斯;佩鲁塞尔,劳伦特;萧,占昊:分层任务网络(2016)
  4. LaskOS,Sotirios;可汗,Shakil M.;Litoiu,Marin;JungBuLt,Marina Daoud;Rogozhkin,Vyacheslav;Mylopoulos,约翰:信息系统通过目标模型的行为适应(2012)伊波尔特
  5. 希弗,斯特凡;Felin,亚力山大;Lakimeee,格哈德:情景演算中国内域定性位置信息的推理(2012)伊波尔特
  6. 比恩维努,MeGyn;弗里茨,克里斯蒂安;麦克里斯,Sheila A.:指定和计算首选方案(2011)
  7. 布洛姆,Michelle L.;皮尔斯,Adrian R.:启发式GOROG(2011)的松弛回归
  8. Gabaldon,阿尔弗雷多:使GOROG规范符合(2011)
  9. MelMET,布鲁诺;西蒙,Ga'le LE:用GDTS(2011)指定递归代理伊波尔特
  10. 摩根斯坦,Leora;麦克里斯,Sheila A.:约翰·麦卡锡的遗产(2011)
  11. 巴尔多尼,Matteo;巴罗里奥,克里斯蒂娜;马斯卡蒂,Viviana;Omicini,安德列;Torroni,Paolo:代理,多智能体系统和声明性编程:什么、何时、何地、为什么、谁、如何?(2010)
  12. CLA-EN,Jens;Lakimeee,格哈德:关于非终止GOOGO程序的非常表达时间特性的验证(2010)
  13. 可汗,Shakil M.;莱普雷恩斯,尤维斯:目标变化逻辑命题中的优先目标和子目标——初步报告(2010)
  14. Lakimeee,格哈德:情景演算:模态逻辑的一个案例(2010)
  15. Bryl,Volha;吉奥吉尼,Paolo;Mylopoulos,约翰:设计社会技术系统:从利益相关者目标到社会网络(2009)伊波尔特
  16. Kiringa,ILUJU:将活动数据库指定为非马尔可夫行动理论(2009)伊波尔特
  17. Kiringa,ILUJU:将活动数据库指定为非马尔可夫行动理论(2009)伊波尔特
  18. LaPounhani,阿列克谢;Leppe Rrices,YVES:使用CONGORG和CASL形式代理规范语言(I^*)模型的分析、验证和仿真(2009)伊波尔特
  19. Slota,马丁;莱特,乔安诺:进化论:基于语义的转换(2009)
  20. 乔林,约瑟夫;Hong,郎:由威胁投影和优先级驱动的传感器资源管理(2008)伊波尔特