MCMAS公司 swMATH ID: 9463 软件作者: 阿莱西奥·洛穆西奥(Alessio Lomuscio)、洪阳区(Hongyang Qu)、弗兰科·雷蒙迪(Franco Raimondi) 描述: MCMAS:用于验证多代理系统的模型检查器。虽然各种形式的时间逻辑已被证明对反应系统的推理至关重要,但基于代理的场景通常是通过考虑高级代理的态度来指定的。特别是,基于认知逻辑的规范语言[7],或知识逻辑,已经证明在许多领域都很有用,包括机器人技术、安全协议、网络服务等。例如,涉及匿名的安全规范[4]众所周知,它们在认知形式主义中是可以自然表达的,因为它们明确地陈述了对主体缺乏不同类型的知识。 主页: http://link.springer.com/chapter/10.1007/978-3-642-02658-4_55 相关软件: MCK公司;摩卡;MCMAS-SLK公司;VerICS版本;棱镜;PRISM-游戏;自旋蛋白;EAGLE公司;NuSMV公司;主旨;欧氏瓣心内膜炎;普拉林;CUDD公司;github;SMCDEL公司;Uppaal公司;代理发言;高尔夫球;演示;jMocha公司 引用于: 86文件 全部的 前5名134位作者引用 11 阿莱西奥·洛穆西奥 9 阿尼埃洛·穆拉诺 7 弗朗西斯科·贝拉迪内利 7 沃伊切赫·贾姆罗加 6 劳拉·博泽利 6 朱利安·古铁雷斯 6 Marta Z.Kwiatkowska。 6 瓦迪姆·马尔文 6 阿尔贝托·莫利纳里 6 安吉洛·蒙塔纳里 6 阿德里亚诺·佩隆 6 迈克尔·J·伍尔德里奇。 5 娜塔莎·亚历奇纳 5 陈、陶璐 5 朱塞佩·佩雷利 5 佛朗哥·雷蒙迪 4 布赖恩·洛根 4 法比奥·莫加维罗 4 沃伊切赫,彭泽克 4 曲洪阳 4 皮埃特罗·萨拉 4 西马提斯,艾斯蒂斯 三 迈克尔·费希尔 三 Forejt、VojtŞch 三 萨沙·鲁宾 三 洛雷达纳·索伦蒂诺 三 苏凯乐 三 罗恩·范德梅登 2 爱荷华州Boureanu 2 科恩,米卡 2 朱塞佩·德贾科莫 2 丹尼斯,路易斯·阿比盖尔 2 柯特林·迪马 2 加米,彼得 2 保罗·哈伦斯坦 2 米查尔·乔泽夫·纳皮克 2 达米安·库皮耶夫斯基 2 伊夫莱斯佩伦斯 2 罗向玉 2 尼古拉斯·马基 2 格钦·诺曼 2 劳尔·帕尔多 2 法比奥·帕特里齐 2 朱塞佩·普里米埃罗 2 加布里埃尔·皮涅罗·阿尔维斯·桑托斯 2 杰拉尔多·施奈德 2 莫西·亚亚科夫·瓦尔迪 2 马特·韦伯斯特 2 安德烈·兹布雷泽兹尼 1 本杰明·阿米诺夫 1 穆萨德·巴利乌 1 马雷克·贝德纳奇克(Marek A.Bednarczyk)。 1 贝内维特斯,马里奥·R·F·。 1 贾马尔·本塔哈 1 托马斯·博兰德 1 帕特里夏·鲍耶 1 西蒙·巴斯德 1 彼得·科马克 1 特里斯坦·查里尔 1 陈爱祥 1 陈清亮 1 Choi、Jiyoung 1 罗德卡·孔杜拉克 1 达姆,麦兹 1 达萨罗,法比奥·奥雷里奥 1 弗朗西安·戴奇森 1 斯特凡·德姆里。 1 尤尔根·迪克斯 1 拉奇达·德索利 1 段振华 1 穆罕默德·埃尔·默沙维 1 康斯坦丁·埃纳 1 凯·恩格哈特 1 约拿单以西结 1 安吉洛·费兰多 1 鲁斯塔姆·加利穆林 1 帕特里克·加迪 1 马尔文·加廷格 1 顾,明 1 Dimitar P.Guelev。 1 黄忠浩 1 黄晓伟 1 Kim,Seungkeun先生 1 比塔·科尼科夫斯卡 1 帕纳吉奥蒂斯·库瓦罗斯 1 科瓦拉(Szymon Kowara) 1 萨里特·克劳斯 1 弗朗索瓦·拉鲁西尼 1 埃米利亚诺·洛里尼 1 罗,程 1 维托·马查多 1 马丁·奥列特,纳西索 1 乌卡斯·米库尔斯基 1 穆罕默德·纳吉布 1 阮黄雅(Nguyen Hoang Nga) 1 Nguyen、Hoang Nga 1 帕伦特,米姆 1 马纳斯·K·帕特拉。 1 查尔斯·佩彻 1 Jerzy Pilecki …还有34位作者 全部的 前5名21篇连载文章中引用 12 人工智能 11 信息与计算 三 Studia Logica公司 三 理论计算机科学 2 系统设计中的形式化方法 2 应用非经典逻辑杂志 2 计算机基础理论 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 计算机与系统科学杂志 1 合成 1 纯逻辑与应用逻辑年鉴 1 逻辑与计算杂志 1 逻辑、语言与信息杂志 1 人工智能研究杂志 1 数学与人工智能年鉴 1 计算系统理论 1 ACM计算逻辑事务 1 计算机科学前沿 1 国际系统科学杂志。系统与集成原理与应用 全部的 前5名在7个字段中引用 85 计算机科学(68至XX) 48 数学逻辑和基础(03-XX) 22 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 信息与通信理论、电路(94-XX) 2 系统论;控制(93至XX) 1 概率论与随机过程(60-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文