ConGolog公司 swMATH ID: 1801 软件作者： 德贾科莫；Lespérance，Y。；H.J.列夫斯克。 描述： ConGolog，一种基于情境演算的并发编程语言作为规划的替代方案，考虑了一种基于并发程序执行的高级代理控制方法。给出了这种编程语言的情境演算中的形式化定义，并举例说明。该语言包括用于确定并发进程执行优先级、在某些条件满足时中断执行以及处理外部操作的工具。该语言不同于其他并发过程形式，因为初始状态可以不完全指定，原始操作可以由情境演算中的公理定义。该语言的一些数学特性已被证明，例如，所提出的语义与前面给出的无并发语言部分的语义等价。 主页： http://www.cs.toronto.edu/cogrobo/main/systems/ 关键词： 认知机器人;行动推理;情境演算;程序的语义;并发 相关软件： 高尔夫;代理峰值;超透射电镜;杰森;图规划;3APL公司;PDDL公司;2APL公司;NuSMV公司;CCalc公司;自旋蛋白;SNet（网络）;pGOLOG公司;联合;嗅探;LUPS公司;贾德克斯;简单APL;MCMAS公司;RATSY公司 引用于： 40文件 标准条款 2出版物描述软件，包括2出版物以zbMATH为单位 年份 SNet：基于i*和ConGolog的代理网络建模和仿真环境。 Zbl 1046.68748号甘斯，Günter;格哈德·莱克梅耶;马蒂亚斯·贾克;托马斯·维特斯 2002 ConGolog，一种基于情境演算的并发编程语言。 Zbl 0948.68175号德贾科莫，G。;Lespérance，Y。;H.J.列夫斯克。 2000 全部的 前5名被67位作者引用 6 朱塞佩·德贾科莫 4 德波尔（Frank S。 4 格哈德·莱克梅耶 4 伊夫·莱斯佩兰斯 4 约翰·朱尔斯·查尔斯·梅耶 三 Hector J.列夫斯克。 三 阿尔贝托·马泰利 三 希拉·麦克拉伊思。 三 法比奥·帕特里齐 三 塞巴斯蒂安·萨迪纳 2 马蒂奥·巴多尼 2 奇塔·R·巴拉尔。 2 克里斯蒂娜·巴罗利奥 2 拉斐尔·博迪尼。 2 劳拉·佐丹奴 2 洛根，布莱恩 2 维维亚娜·马斯卡迪 2 雷特·雷蒙德 2 卡米拉·施温德。 2 儿子Tran Cao 2 迈克尔·泰尔舍尔 2 范德霍克，威比 2 范·里姆斯迪克（M.Birna van Riemsdijk） 1 娜塔莎·亚历奇纳 1 Jorge A.Baier。 1 梅亨·宾文努 1 布洛姆，米歇尔·L。 1 克拉恩，延斯 1 维基·德弗里斯 1 保罗·费利 1 马蒂亚斯·费希特纳 1 克里斯蒂安·弗里茨 1 阿尔弗雷多·加巴登 1 甘斯，Günter 1 阿方索·埃米利奥·杰雷维尼 1 亨里克·格罗斯克鲁茨 1 格罗·曼（Großmann，Axel） 1 安德烈亚斯·赫齐格 1 科恩·辛德里克斯。 1 朱米·弗雷德·Hübner 1 Hideki Isozaki 1 马蒂亚斯·贾克 1 金、智 1 广富美·卡苏诺（Hirofumi Katsuno） 1 Shakil M.汗。 1 大卫·金尼。 1 约昂·莱特 1 陆汝倩 1 毛新军 1 毛里齐奥·马特利 1 阿尔瓦罗·弗雷塔斯·莫雷拉 1 莱奥拉·摩根斯坦 1 安德烈亚·奥米西尼 1 维维亚娜·帕蒂 1 阿德里安·皮尔斯。 1 劳伦特·佩鲁塞尔 1 哈维尔·平托（Javier A.Pinto）。 1 雷特尔 1 亚历山德罗·萨埃蒂 1 斯卢塔，马丁 1 Leon S.斯特林。 1 尤金妮娅·捷尔诺夫斯卡 1 保罗·托罗尼 1 罗杰尔·范·艾克（Rogier M.van Eijk）。 1 托马斯·维特斯 1 迈克尔·J·伍尔德里奇。 1 肖占浩 全部的 前5名15连载 6 人工智能 2 数学与人工智能年鉴 1 理论计算机科学 1 吉泰。实验与理论人工智能杂志 1 工程、通信和计算中的应用代数 1 逻辑、语言与信息杂志 1 IGPL逻辑期刊 1 武汉大学自然科学学报 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 应用逻辑杂志 1 中国科学。F系列 1 应用逻辑系列 在5个字段中引用 39 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 2 系统论；控制（93至XX） 1 历史和传记（01-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文