梅塔姆

Meta:介绍。介绍了一种使用时态逻辑作为可执行命令语言的方法。该方法提供了一个具体的框架,称为METATEM,用于执行时间公式,通过实例来说明和说明。此外,该介绍还提供了对可执行逻辑的元方法的进一步、更详细的工作的参考。


ZBMaX中的参考文献(55篇)1标准条款

显示结果1至20的55。
按年份排序(引文
  1. De Giacomo,朱塞佩;莱斯普朗斯,Yves;Patrizi,法比奥:有界情境演算行动理论(2016)
  2. 科瓦尔斯基,罗伯特;萨德里,法里巴:作为模型生成的反应式计算(2015)
  3. 马,Qian;段,振华;张,南;王,萧冰:用MSVL公理系统验证分布式系统(2015)
  4. Fisher,米迦勒:用时序逻辑介绍实用形式化方法(2011)
  5. Fisher,米迦勒:一个可执行时间框架中的代理审议(2011)
  6. 科瓦尔斯基,罗伯特;SADRI,FARABA:具有破坏性数据库的溯因逻辑程序设计Agent(2011)
  7. MelMET,布鲁诺;西蒙,Ga'le LE:用GDTS(2011)指定递归代理伊波尔特
  8. 巴尔多尼,Matteo;巴罗里奥,克里斯蒂娜;马斯卡蒂,Viviana;Omicini,安德列;Torroni,Paolo:代理,多智能体系统和声明性编程:什么、何时、何地、为什么、谁、如何?(2010)
  9. 琼克,C. M.;斯诺普,J. L.;崔尔,J;韦斯特霍夫,H. V.;Wijngad,W. C. A.:作为多智能体组织的活细胞:细胞内动力学的组成组织模型(2010)伊波尔特
  10. 科瓦尔斯基,罗伯特;SADRI,Fariba:具有破坏性指派和模型理论语义学的Agent语言(2010)
  11. 丹尼斯,路易丝;Fisher,米迦勒;HePple,安东尼:多Agent程序设计语言构造(2009)
  12. Valiev,M. K.;Dekhtyar,M. I.;迪科夫茨基,A. Ya:逻辑程序控制的代理系统:验证的复杂性(2009)
  13. Dastani,Mehdi:2APL:一个实用的代理程序设计语言。(2008)伊波尔特
  14. 琼克,C. M.;斯诺普,J. L.;崔尔,J;韦斯特霍夫,H. V.;Wijngaves,W.C.A:复杂细胞内动力学的BDI模型(2008)
  15. 杨,Xiaoxiao;段,Zhenhua:框架天妇罗的操作语义(2008)
  16. Matteo的Baldoi;BalgLogo,克里斯蒂娜;马特利,阿尔伯托;佩蒂,ViviaN:用于定制Web服务选择和组合的交互协议的推理(2007)
  17. Bugaychenko,德米特里;Soloviev,Igor:MasL:一种多智能体实时系统规范的逻辑(2007)
  18. 琼克,Catholijn M.;SUUT,Martijn C.;Trur. Jon;Yolum,P.Nar:通过形式化、仿真和验证分析会议协议(2007)
  19. 琼克,Catholijn M.;Turr,J.;Wijngad,Wouter C. A.:组织内部动态的规范、分析和模拟(2007)伊波尔特
  20. Meyer,John Jules Ch.:我们对代理验证圣杯的追求(2007)