仙人掌

分支时间逻辑编程语言仙人掌的扩展。仙人掌已被提出作为时间逻辑编程语言的分支时间概念的基础上。仙人掌支持两个主要操作符:时间算子第一,它指的是第一时刻和时间算子下一个I,它指的是当前时刻的第i个子。实际上,下一个I表示下一个运算符的一个族{NeXixi i},每一个都指的是紧接着当前的一个不同的下一个时刻。在本文中,我们提出了仙人掌的扩展新的时间算子。更具体地,我们研究使用算子的两个变体,即算子O和O g,分别指的是“下一时刻”和“下一时刻”。我们还研究了已知的时态算子分支(常)的分支变量的使用。盎司(有时)


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

显示结果1至15的15。
按年份排序(引文

  1. Hatori,Tomoharu;伊图,Atsushi M.;Nunami,马萨努里;碓水,Hideyuki;三浦,HiDaki:逐层人工粘性和自适应网格细化MHD模拟的可视化(2016)
  2. 霍夫曼,Adam J.;李,John C.:具有时间导数传播的特征公式的时变中子输运方法(2016)
  3. 杨,Xiaoxiao;张,禹;傅,明;冯,新余:一个基于投影时序逻辑的原子块时间规划模型(2014)
  4. 杨,Xiaoxiao;段,Zhenhua;MA,Qian:投影时态逻辑程序的公理语义(2010)
  5. Orgun,Mehmet A.;刘,Chuchang;纳亚克,Abhaya C.:时序逻辑与时钟的知识表示、推理和集成(2008)
  6. 杨,Xiaoxiao;段,Zhenhua:框架天妇罗的操作语义(2008)
  7. Potikas,Potos;RodoiiNANIS,PANOS;Gergatsoulis,MaNOLIS:一种基于非确定性构造的DATALOG程序的值传播变换技术(2006)
  8. NoimkOS,Christos;RodoiiNANIS,PANOS;Gergatsoulis,MaNOLIS:线性和分支时间演绎数据库的时间分层测试(2005)
  9. Gergatsoulis,Manolis;NoimikOS,Christos:时态逻辑程序设计的证明过程(2004)
  10. Gergatsoulis,Mansolis;RodoiiNANIS,PANOS;Panayiotopoulos,MICIS:时序析取逻辑程序设计(2001)
  11. 时间逻辑规划中的分层否定与循环和检验(2001)
  12. RodoiiNANIS,PANOS;Gergatsoulis,MaloLIS:链DATALOG程序的分支时间转换技术(2001)
  13. Gergatsoulis,马诺利斯:分支时间逻辑编程语言仙人掌的扩展(2000)
  14. Wadge,W. W.:高阶函数语言与内涵逻辑(1999)
  15. RodoiiNANIS,P.;Gergatsoulis,M.;Panayiotopoulos,T.:分支时间逻辑程序设计:语言\TrutTcCcActuSUS及其应用(1998)