OMRS公司

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


zbMATH中的参考文献(参考文献39条,1标准件)

显示第1到第20个结果,共39个。
按年份排序(引用)
  1. 雅克·卡尔梅特:《基于抽象的信息技术:开放机械化推理框架》(2009)
  2. 卡莱特,雅克;农民,威廉M。;索尔格:实验数学系统的理性重构(2007)
  3. 戈特利伯森,汉恩;凯尔西,汤姆;Martin,Ursula:计算数学的隐藏验证(2005)
  4. Slissenko,Anatol:时间算法验证的逻辑框架(2004)
  5. 阿曼多,亚历山德罗;拉妮丝,西尔维奥:约束语境重写。(2003年)
  6. 赫特,迪特:演绎作为一门工程科学(2003)
  7. Andrew所罗门:混合数学系统的分布式计算(2003)
  8. 费雷,塞巴斯蒂安;Ridoux,Olivier:开发可嵌入定制逻辑的框架(2002)
  9. 齐默,于尔根;Kohlhase,Michael:系统描述:用于分布式数学推理的MathWeb软件总线(2002)
  10. 亚当斯,安德鲁;邓斯坦,马丁;戈特利伯森,汉恩;凯尔西,汤姆;马丁,乌苏拉;Owre,Sam:计算机代数满足自动定理证明:整合Maple和PVS(2001)
  11. 阿曼多,亚历山德罗;科格里奥,亚历山德罗;朱西格里亚,福斯托;拉尼斯,西尔维奥:开放机械化推理系统中的控制层:注释和策略(2001)
  12. 阿曼多,亚历山德罗;科哈塞,迈克尔;Ranise,Silvio:基于KQML和OMRS的数学服务通信协议(2001)
  13. 阿曼多,亚历山德罗;通过逻辑代理体系结构连接计算机代数和演绎系统(2001)
  14. 贝尔曼,科斯蒂L。;克里斯托弗·兰道尔:《作为正式系统会议场所的虚拟世界》(2001)
  15. 约翰A.坎贝尔(编辑);罗恩斯·洛扎诺,尤金尼奥(编辑):人工智能与符号计算。AISC 2000国际会议,西班牙马德里,2000年7月17日至19日。修订文件(2001年)
  16. 卡普罗蒂,O。;2001年开放式数学文献中的互动角色
  17. 卡普罗蒂,奥尔加;Oostdijk,Martijn:交互数学文献中的证明交流(2001)
  18. 卡普罗蒂,奥尔加;Oostdijk,Martijn:使用计算机代数预言的形式有效素性证明(2001)
  19. 朱西格里亚,F。;佩奇亚里,P。;Talcott,C.:推理理论。面向开放机械化推理系统的体系结构(2001)
  20. Kohlhase,Michael:OMDOC:面向数学知识管理、分配和教学的互联网标准(2001)