METATEM公司 swMATH ID: 6568 软件作者: 巴林格,H。;费希尔,M。;Gabbay博士。;戈夫,G。;R.欧文斯。 描述: MetateM:引言。介绍了一种将时序逻辑用作可执行命令语言的方法。该方法提供了一个名为METATEM的具体框架,用于执行时态公式,并通过示例加以说明。此外,本简介还提供了与可执行逻辑的METATEM方法有关的进一步、更详细的工作参考。 主页: http://www.cs.ox.ac.uk/people/michael.wooldridge/pubs/ker95/subsubsectionstar3_4_0_4.html 相关软件: 代理发言;高尔夫;ConGolog公司;杰森;欧兹;3APL公司;加罗;CCalc公司;2APL公司;自旋蛋白;玉;莫扎特;Java日志;LUPS公司;电子电话;GEPASI公司;简单APL;MCMAS公司;PDDL公司;NuSMV公司 引用于: 49文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 并发MetateM语言及其应用的调查。 Zbl 0949.68532号M·费希尔。 1994 全部的 前5名84位作者引用 8 迈克尔·费希尔 6 简·特雷尔 5 Jonker,天主教M。 三 斯特凡妮娅·科斯坦蒂尼 三 罗伯特·A·科瓦尔斯基。 三 伊夫莱斯佩伦斯 三 法里巴·萨德里 三 阿里安娜·托基奥 2 苏亚德·阿拉吉奇 2 马蒂奥·巴多尼 2 克里斯蒂娜·巴罗利奥 2 霍华德·巴林格 2 朱塞佩·德·贾科莫 2 迈克尔·德克蒂亚。 2 亚历山大·雅科夫列维奇·迪科夫斯基 2 段振华 2 乔里·恩格弗里特 2 Dov M.加巴伊。 2 格雷厄姆·高夫 2 Hector J.列夫斯克。 2 维维亚娜·马斯卡迪 2 理查德·欧文斯 2 马克·亚历山大·雷诺兹 2 保罗·托罗尼 2 Mars K·瓦利耶夫。 2 Wouter C.A.Wijngaards。 1 马拉·阿拉吉奇 1 何塞·朱利奥·阿尔弗雷斯 1 阿纳利亚·阿曼迪 1 拉斐尔·博迪尼。 1 安东尼奥·布罗吉 1 布罗,德里克 1 德米特里·布加琴科 1 马塞洛·R·坎波。 1 塞里托、塞雷内拉 1 玛尔塔·恰尔迪亚·梅耶 1 安娜·齐安波里尼 1 彼得·克拉克。 1 邓毅 1 丹尼斯,路易斯·阿比盖尔 1 丁俊华 1 尤尔根·迪克斯 1 克莱尔·狄克逊 1 多米尼克·福尼尔 1 阿夫萨尼·哈达迪 1 马库斯·汉内鲍尔 1 何旭东 1 安东尼·赫普 1 伊恩·马丁·霍德金森 1 安东尼·亨特 1 萨里特·克劳斯 1 伊芙琳娜·拉姆 1 约昂·亚历山大·莱特 1 刘楚昌 1 马,钱 1 阿尔贝托·马泰利 1 Maurizio Martelli 1 彼得·麦克布莱恩 1 保罗·梅洛 1 布鲁诺·梅梅特 1 约翰·朱尔斯·查尔斯·梅耶 1 阿尔瓦罗·弗雷塔斯,莫雷拉 1 蒂莫西·诺曼。 1 安德烈亚·奥米西尼 1 穆罕默德·阿里·奥根 1 法比奥·帕特里齐 1 维维亚娜·帕蒂 1 克里斯·里德 1 雷蒙德·雷特 1 舒马赫,迈克尔 1 Martijn C.舒特。 1 杰基·斯诺普。 1 索洛夫,伊戈尔·巴夫洛维奇 1 Leon S.斯特林。 1 苏布拉曼尼亚,V.S。 1 弗朗西丝卡·托尼 1 罗杰尔·范·艾克(Rogier M.van Eijk)。 1 王晓兵 1 汉斯·维斯特霍夫。 1 徐殿祥 1 杨晓晓 1 皮纳尔尤鲁姆 1 张楠 1 亚历杭德罗·祖尼诺 全部的 前5名21篇连载文章中引用 三 人工智能 三 符号计算杂志 三 数学与人工智能年鉴 三 计算机科学课堂讲稿 2 计算的形式方面 2 逻辑与代数程序设计杂志 1 哲学逻辑杂志 1 编程和计算机软件 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 新一代计算 1 信息与计算 1 逻辑与计算杂志 1 逻辑、语言和信息杂志 1 IGPL杂志 1 计算与数学组织理论 1 逻辑程序设计理论与实践 1 计算机语言、系统和结构 1 应用逻辑杂志 1 多代理和网格系统 1 理论生物学杂志 在4个字段中引用 47 计算机科学(68至XX) 15 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文