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公司;SMCDEL公司;Uppaal公司;代理峰值;高尔夫;演示;github;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公司 三 萨沙·鲁宾 三 Loredana索伦蒂诺 三 苏，凯尔 三 罗恩·范德梅登 2 爱奥华纳州布尔亚努 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 Stéphane P.德姆里。 1 尤尔根·迪克斯 1 拉奇达·德索利 1 段振华 1 穆罕默德·埃尔·默沙维 1 康斯坦丁·埃纳 1 凯·恩格哈特 1 乔纳森·以西结 1 安吉洛·费兰多 1 鲁斯塔姆·加利姆林 1 帕特里克·加迪 1 马尔文·加廷格 1 顾，明 1 Dimitar P.Guelev。 1 黄忠浩 1 黄晓伟 1 金成根 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） 49 数学逻辑和基础（03-XX） 22 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 信息与通信理论、电路（94-XX） 2 系统论；控制（93至XX） 1 概率论与随机过程（60-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文