奥姆斯

基于KQML和OMRS的数学服务的通信协议,我们描述了基于KQML(知识查询和操纵语言)和OMRS(开放机械推理系统)的数学服务通信协议的形式化的第一思想。该声明是数学服务的通信协议的交互级别可以是相对通用的(因此KQML足够),只要数学服务的计算行为和内部状态的本体足够表达和简洁(我们在OMRS中)。是对OMRS中交互级别定义的首次探索性步骤,提供了基于OpenMax标准的具体语法,并给出了分布式定理证明和符号计算环境中数学服务通信的语义。


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

显示结果1至20的39。
按年份排序(引文
  1. CalMe:贾可:基于抽象的信息技术:开放式机械推理的框架(2009)
  2. Carette、贾可、农民、William M.、索格、Volker:实验数学体系的理性重构(2007)
  3. 哥特列布森,Hanne;凯尔西,汤姆;马丁,厄休拉:计算数学的隐性验证(2005)
  4. Slissenko,AANTOL:时间算法验证的逻辑框架(2004)
  5. 阿曼多,Alessandro;Ranise,西尔维奥:制约语境重写。(2003)
  6. 哈特,迪特尔:作为工程学的演绎(2003)
  7. 所罗门,安得烈:砾岩数学系统的分布式计算(2003)
  8. 费尔,S·巴斯蒂安;Ridoux,奥利维尔:可嵌入定制逻辑的发展框架(2002)
  9. Zimmer,J·RGEN;Kohlhase,米迦勒:系统描述:分布式数学推理的MthWEB软件总线(2002)
  10. 亚当斯,安得烈;邓斯坦,马丁;Gottliebsen,Hanne;凯尔西,汤姆;Pig,y,OWRE,Y:计算机代数满足自动定理证明:MAPLE和PVS的集成(2001)
  11. 阿曼多,Alessandro;CoGoLo,Alessandro;Giunchiglia,Fausto;Ranise,西尔维奥:开放机械推理系统中的控制层:注释和策略(2001)
  12. 阿曼多,Alessandro;Kohlhase,米迦勒;Ranise,西尔维奥:基于KQML和OMRS的数学服务通信协议(2001)
  13. 阿曼多,Alessandro;济尼,Daniele:通过逻辑代理体系结构连接计算机代数和演绎系统(2001)
  14. Balman,Kiriste L. Land Auver,克里斯托弗:作为正式系统的会议场所的虚拟世界(2001)
  15. 坎贝尔,John A.(ED);Roanes Lozano,Eugenio(ED):人工智能和符号计算。AISC 2000国际会议,马德里,西班牙,7月17日- 19, 2000。修订论文(2001)
  16. 卡普蒂蒂、O.、科恩、A. M.:OpenMaCT在交互式数学文献中的作用(2001)
  17. 卡普蒂蒂,奥尔加;奥斯特代克,Martijn:交互式数学文献中的交流证明(2001)
  18. CaPurTi,奥尔加;奥斯特代克,Martijn:利用计算机代数预言的形式有效的素数证明(2001)
  19. GuunChigiga,F;PcCHIARI,P;TalCOTT,C:推理理论。面向开放式机械化推理系统的体系结构(2001)
  20. Kohlhase,米迦勒:OMDOC:迈向数学知识管理、分配和教学的互联网标准(2001)