编辑配置文件（在新选项卡中打开） 阿莱西奥·洛穆西奥 合著者距离 作者ID： 路易斯安那州 发布日期： 阿莱西奥·洛穆西奥；A.Lomuscio。 主页： 网址：http://www.doc.ic.ac.uk/~阿莱西奥/ 外部链接： MGP公司·逆戟鲸·ResearchGate研究之门·数据库许可证 已编制索引的文档： 51出版物自2000年起 6作为编辑的贡献 合著者： 41位合著者具有51联合出版物 904联合作者 全部的 前5名合著者 0 单作者的 13 弗朗西斯科·贝拉迪内利 9 沃伊切赫·彭泽克 6 迈克尔·J·伍尔德里奇。 6 沃纳、博埃纳 5 曲洪阳 5 佛朗哥·雷蒙迪 4 马雷克·塞尔戈特。 4 范德霍克，威比 三 埃里克·P·德文克。 2 米卡·科恩 2 马格达莱娜·卡普扎克 2 帕纳吉奥蒂斯·库瓦罗斯 2 阿尼埃洛·穆拉诺 2 本·斯特鲁洛 2 马西耶·斯兹雷特 2 奈杰尔·沃克。 2 吴鹏 1 史蒂夫·巴克 1 爱奥华纳州布尔亚努 1 彼得·科马克 1 达姆，麦兹 1 Stefan Edelkamp 1 乔纳森·以西结 1 圭多州长 1 法比奥·格兰迪 1 安德鲁·琼斯（Andrew J.I.Jones）。 1 安德鲁·琼斯。 1 安东尼斯·卡卡斯（Antonis C.Kakas）。 1 罗伯特·A·科瓦尔斯基。 1 Kwiatkowska，Marta Z。 1 马丁·兰格 1 瓦迪姆·马尔文 1 贾库布·米查利辛 1 罗布·米勒 1 法比奥·莫加维罗 1 史蒂芬·H·马格尔顿。 1 阿图尔·尼维亚多姆斯基 1 唐纳德·纳特（Donald E.Nute）。 1 法比奥·帕特里齐 1 彭切克，W。 1 埃多尔多·皮罗瓦诺 1 萨沙·鲁宾 1 弗朗西斯科·拉索 1 乔瓦尼·萨托 1 莫尼卡·索兰基 1 于，艾米丽 1 安德烈·兹布雷泽兹尼 全部的 前5名系列 10 计算机基础理论 5 人工智能 三 信息与计算 三 人工智能研究杂志 三 理论计算机科学电子笔记 2 应用逻辑杂志 2 计算机科学课堂讲稿 1 Studia Logica公司 1 国际计算机科学基础杂志 1 应用非经典逻辑杂志 1 IGPL逻辑杂志 全部的 前5名领域 57 计算机科学（68至XX） 22 数理逻辑与基础（03-XX） 6 总体主题；集合（00-XX） 三 信息与通信理论、电路（94-XX） 1 历史和传记（01-XX） 1 量子理论（81-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 35出版物有被引用222中的次140文件 引用人▼ 年份▼ 无知的逻辑。 Zbl 1270.03042号 范德霍克，威比；阿莱西奥·洛穆西奥 26 2004 通过有界模型检查验证多智能体系统的认知属性。 Zbl 1111.68512号 沃伊切赫·彭泽克；阿莱西奥·洛穆西奥 23 2003 通过有序二元决策图的模型检查实现多智能体系统的自动验证。 Zbl 1122.68076号 佛朗哥·雷蒙迪；阿莱西奥·洛穆西奥 19 2007 多智能体系统一阶逻辑中知识和时间之间的相互作用：完备性结果。 Zbl 1267.68221号 贝拉迪内利，F。；A.Lomuscio。 17 2012 道义解释系统。 Zbl 1033.03012号 阿莱西奥·洛穆西奥；马雷克·塞尔戈特 17 2003 麦克马斯：多代理系统的模型检查器。 Zbl 1459.68121号 阿莱西奥·洛穆西奥；佛朗哥·雷蒙迪 11 2006 多代理\（\mathcal{VSK}\）逻辑。 Zbl 0998.68164号 迈克尔·伍尔德里奇；阿莱西奥·洛穆西奥 10 2000 用于多智能体系统中知识推理的量化认知逻辑。 Zbl 1191.68646号 贝拉迪内利，F。；A.Lomuscio。 10 2009 多智能体系统的参数化验证。 Zbl 1351.68294号 帕纳吉奥蒂斯·库瓦罗斯；阿莱西奥·洛穆西奥 10 2016 基于代理的工件系统的验证。 兹比尔1367.68321 弗朗西斯科·贝拉迪内利；阿莱西奥·洛穆西奥；法比奥·帕特里齐 8 2014 知识和实时的有界模型检查。 Zbl 1168.68422号 阿莱西奥·洛穆西奥；沃伊切赫·彭泽克；沃纳、博埃纳 7 2007 可视性、感知和知识的计算基础逻辑。 Zbl 0974.68203号 迈克尔·伍尔德里奇；阿莱西奥·洛穆西奥 7 2001 交错多智能体系统上模型检验时间认知逻辑的偏序约简。 Zbl 1213.68382号 阿莱西奥·洛穆西奥；沃伊切赫·彭泽克；曲洪阳 6 2010 比较基于BDD和SAT的模型检查Chaum餐饮密码协议的技术。 Zbl 1097.68074号 马格达莱娜·卡普扎克；阿莱西奥·洛穆西奥；阿图尔·尼维亚多姆斯基；沃伊切赫·彭泽克；佛朗哥·雷蒙迪；马西耶·斯兹雷特 6 2006 多智能体系统的实际验证Slk公司规范。 Zbl 1395.68255号 彼得·科马克；阿莱西奥·洛穆西奥；法比奥·莫加维罗；阿尼埃洛·穆拉诺 5 2018 时间认知逻辑的从有界到无界模型检验。 Zbl 1102.68107号 M.卡普扎克。；A.Lomuscio。；彭切克，W。 5 2004 密码协议时间认知属性的自动验证。 Zbl 1186.68105号 爱奥华纳州布尔亚努；米卡·科恩；阿莱西奥·洛穆西奥 5 2009 结合故障注入和模型检查来验证多代理系统中的容错性、可恢复性和可诊断性。 Zbl 1370.68201号 J·以西结。；A.Lomuscio。 5 2017 时间认知逻辑的数据对称约简技术。 Zbl 1262.68110号 米卡·科恩；达姆，麦兹；阿莱西奥·洛穆西奥；曲洪阳 4 2009 道义解释系统的有界模型检查。 Zbl 1272.68279号 沃纳、博埃纳；阿莱西奥·洛穆西奥；沃伊切赫·彭泽克 4 2005 比特传输问题中违规、错误恢复和执行的形式化。 Zbl 1076.68074号 阿莱西奥·洛穆西奥；马雷克·塞尔戈特 4 2004 代理之间的一系列知识共享模式。 Zbl 0956.03017号 阿莱西奥·洛穆西奥；马克·瑞恩 4 2000 具有群体知识的一阶线性时间认知逻辑：一元片段的公理化。 Zbl 1252.03031号 弗朗西斯科·贝拉迪内利；阿莱西奥·洛穆西奥 4 2011 时间认知逻辑的并行模型检查。 Zbl 1211.68406号 玛尔塔·奎亚特科夫斯卡；阿莱西奥·洛穆西奥；曲洪阳 三 2010 关于可见性、感知和知识的推理。 Zbl 0961.68127号 迈克尔·伍尔德里奇；阿莱西奥·洛穆西奥 三 2000 知识、正确性和实时性的逻辑。 Zbl 1081.68098号 沃纳、博埃纳；阿莱西奥·洛穆西奥 三 2005 时间认知逻辑的符号模型检验。 Zbl 1356.68144号 阿莱西奥·洛穆西奥；沃伊切赫·彭泽克 2 2012 假设根据当地规范进行推理。 兹比尔1286.68319 阿莱西奥·洛穆西奥；本·斯特鲁洛；奈杰尔·沃克；吴鹏 2 2013 计算机科学中的道义逻辑。第七届计算机科学道义逻辑国际研讨会，2004年DEON，2004年5月26日至28日，葡萄牙马德拉。诉讼程序。 Zbl 1051.03004号 2 2004 模型检验策略能力时的近似完美回忆：理论与应用。 Zbl 07527543号 弗朗西斯科·贝拉迪内利；阿莱西奥·洛穆西奥；瓦迪姆·马尔文；于，艾米丽 2 2022 多智能体系统谓词抽象的基于Agent的精化。 Zbl 1403.68300号 弗朗西斯科·贝拉迪内利；阿莱西奥·洛穆西奥；贾库布·米查利辛 2 2016 交替时间时序逻辑的参数化模型检查。 Zbl 1403.68127号 帕纳吉奥蒂斯·库瓦罗斯；阿莱西奥·洛穆西奥 2 2016 道义解释系统的表辅助系统。 Zbl 1205.03026号 圭多州长；阿莱西奥·洛穆西奥；马雷克·塞尔戈特。 1 2003 用于验证多智能体系统中认知属性的三值抽象技术。 Zbl 1483.68417号 弗朗西斯科·贝拉迪内利；阿莱西奥·洛穆西奥 1 2016 针对策略逻辑，验证具有公共操作的多代理系统。 Zbl 1451.68290号 弗朗西斯科·贝拉迪内利；阿莱西奥·洛穆西奥；阿尼埃洛·穆拉诺；萨沙·鲁宾 1 2020 模型检验策略能力时的近似完美回忆：理论与应用。 Zbl 07527543号 弗朗西斯科·贝拉迪内利；阿莱西奥·洛穆西奥；瓦迪姆·马尔文；于，艾米丽 2 2022 针对策略逻辑，验证具有公共操作的多代理系统。 Zbl 1451.68290号 弗朗西斯科·贝拉迪内利；阿莱西奥·洛穆西奥；阿尼埃洛·穆拉诺；萨沙·鲁宾 1 2020 多智能体系统的实际验证Slk公司规范。 兹比尔1395.68255 彼得·科马克；阿莱西奥·洛穆西奥；法比奥·莫加维罗；阿尼埃洛·穆拉诺 5 2018 结合故障注入和模型检查来验证多代理系统中的容错性、可恢复性和可诊断性。 Zbl 1370.68201号 J·以西结。；A.Lomuscio。 5 2017 多智能体系统的参数化验证。 Zbl 1351.68294号 帕纳吉奥蒂斯·库瓦罗斯；阿莱西奥·洛穆西奥 10 2016 基于Agent的多Agent系统谓词抽象精化。 Zbl 1403.68300号 弗朗西斯科·贝拉迪内利；阿莱西奥·洛穆西奥；贾库布·米查利辛 2 2016 交替时间时序逻辑的参数化模型检查。 Zbl 1403.68127号 帕纳吉奥蒂斯·库瓦罗斯；阿莱西奥·洛穆西奥 2 2016 用于验证多智能体系统中认知属性的三值抽象技术。 Zbl 1483.68417号 弗朗西斯科·贝拉迪内利；阿莱西奥·洛穆西奥 1 2016 基于代理的工件系统的验证。 Zbl 1367.68321号 弗朗西斯科·贝拉迪内利；阿莱西奥·洛穆西奥；法比奥·帕特里齐 8 2014 假设根据当地规范进行担保推理。 兹比尔1286.68319 阿莱西奥·洛穆西奥；本·斯特鲁洛；奈杰尔·沃克；吴鹏 2 2013 多智能体系统一阶逻辑中知识和时间之间的交互：完整性结果。 Zbl 1267.68221号 Belardinelli，F。；A.Lomuscio。 17 2012 时间认知逻辑的符号模型检验。 Zbl 1356.68144号 阿莱西奥·洛穆西奥；沃伊切赫·彭泽克 2 2012 具有群体知识的一阶线性时间认知逻辑：一元片段的公理化。 Zbl 1252.03031号 弗朗西斯科·贝拉迪内利；阿莱西奥·洛穆西奥 4 2011 交错多智能体系统中模型检验时间认知逻辑的部分降阶。 Zbl 1213.68382号 阿莱西奥·洛穆西奥；沃伊切赫·彭泽克；曲洪阳 6 2010 时间认知逻辑的并行模型检查。 Zbl 1211.68406号 玛尔塔·奎亚特科夫斯卡；阿莱西奥·洛穆西奥；曲洪阳 三 2010 用于多智能体系统中知识推理的量化认知逻辑。 Zbl 1191.68646号 贝拉迪内利，F。；A.Lomuscio。 10 2009 密码协议时间认知属性的自动验证。 Zbl 1186.68105号 爱奥华纳州布尔亚努；米卡·科恩；阿莱西奥·洛穆西奥 5 2009 时间认知逻辑的数据对称约简技术。 Zbl 1262.68110号 米卡·科恩；达姆，麦兹；阿莱西奥·洛穆西奥；曲洪阳 4 2009 通过有序二元决策图的模型检查实现多智能体系统的自动验证。 Zbl 1122.68076号 佛朗哥·雷蒙迪；阿莱西奥·洛穆西奥 19 2007 知识和实时的有界模型检查。 Zbl 1168.68422号 阿莱西奥·洛穆西奥；沃伊切赫·彭泽克；沃纳、博埃纳 7 2007 麦克马斯：多代理系统的模型检查器。 兹比尔1459.68121 阿莱西奥·洛穆西奥；佛朗哥·雷蒙迪 11 2006 比较基于BDD和SAT的模型检查Chaum餐饮密码协议的技术。 Zbl 1097.68074号 马格达莱娜·卡普扎克；阿莱西奥·洛穆西奥；阿图尔·尼维亚多姆斯基；沃伊切赫·彭泽克；佛朗哥·雷蒙迪；马西耶·斯兹雷特 6 2006 道义解释系统的有界模型检验。 Zbl 1272.68279号 沃纳、博埃纳；阿莱西奥·洛穆西奥；沃伊切赫·彭泽克 4 2005 知识、正确性和实时性的逻辑。 Zbl 1081.68098号 沃纳、博埃纳；阿莱西奥·洛穆西奥 三 2005 无知的逻辑。 Zbl 1270.03042号 范德霍克，威比；阿莱西奥·洛穆西奥 26 2004 时间认知逻辑的从有界到无界模型检验。 Zbl 1102.68107号 M.卡普扎克。；A.Lomuscio。；彭切克，W。 5 2004 比特传输问题中违规、错误恢复和执行的形式化。 Zbl 1076.68074号 阿莱西奥·洛穆西奥；马雷克·塞尔戈特 4 2004 计算机科学中的道义逻辑。第七届计算机科学道义逻辑国际研讨会，2004年DEON，2004年5月26日至28日，葡萄牙马德拉。诉讼程序。 Zbl 1051.03004号 2 2004 通过有界模型检查验证多智能体系统的认知属性。 Zbl 1111.68512号 沃伊切赫·彭泽克；阿莱西奥·洛穆西奥 23 2003 道义解释系统。 兹比尔1033.03012 阿莱西奥·洛穆西奥；马雷克·塞尔戈特 17 2003 道义解释系统的表辅助系统。 Zbl 1205.03026号 圭多州长；阿莱西奥·洛穆西奥；马雷克·塞尔戈特。 1 2003 可视性、感知和知识的计算基础逻辑。 Zbl 0974.68203号 迈克尔·伍尔德里奇；阿莱西奥·洛穆西奥 7 2001 多代理\（\mathcal｛VSK｝\）逻辑。 Zbl 0998.68164号 迈克尔·伍尔德里奇；阿莱西奥·洛穆西奥 10 2000 代理之间的一系列知识共享模式。 Zbl 0956.03017号 阿莱西奥·洛穆西奥；马克·瑞恩 4 2000 关于可见性、感知和知识的推理。 Zbl 0961.68127号 迈克尔·伍尔德里奇；阿莱西奥·洛穆西奥 三 2000 所有引用的出版物 前5名被引用出版物 全部的 前5名208位作者引用 11 范杰 11 阿莱西奥·洛穆西奥 11 雷巴科夫，弗拉基米尔·弗拉基米罗维奇 9 弗朗西斯科·贝拉迪内利 6 王燕京 5 朱塞佩·德贾科莫 5 沃伊切赫，詹罗加 5 瓦迪姆·马尔文 5 阿尼埃洛·穆拉诺 5 沃伊切赫·彭泽克 5 范德霍克，威比 5 汉斯·皮特·范·迪特马什 4 劳拉，博泽利 4 阿尔贝托·莫利纳里 4 安吉洛·蒙塔纳里 4 法比奥·帕特里齐 4 阿德里亚诺·佩隆 4 迈克尔·J·伍尔德里奇。 三 Ågotnes，托马斯 三 柯特林·迪马 三 格拉齐亚尼，皮耶路易吉 三 苏，凯尔 三 罗恩·范德梅登 三 安德烈·兹布雷泽兹尼 2 达拉·阿拉杰 2 阿尔弗雷多·布里耶扎 2 戴维德·贾科莫·卡维扎 2 陈清亮 2 佩雷斯·德·古兹曼，因马卡拉达 2 文森佐·法诺 2 费兰多，安吉洛 2 迈克尔·费舍尔 2 劳拉·佐丹奴 2 大卫·格罗西 2 安德拉斯·吉尔吉 2 马格达莱娜·卡普扎克 2 米查尔·乔泽夫·纳皮克 2 萨瓦斯·科努尔 2 叶卡捷琳娜·库比什基纳 2 Kuijer、Louwe Bouke 2 达米安·库皮耶夫斯基 2 伊夫莱斯佩伦斯 2 布赖恩·洛根 2 阿尔贝托·马泰利 2 法比奥·莫加维罗 2 马可·蒙塔利 2 埃米利奥·穆尼奥斯·韦拉斯科 2 戈登·佩斯。 2 阿南莎·帕德马纳巴 2 马蒂亚·彼得罗洛 2 曲洪阳 2 拉马努贾姆，R。 2 罗德里格斯-阿吉拉尔，胡安·安东尼奥 2 阿卜杜勒·萨塔尔 2 杰拉尔多·施奈德 2 马雷克·塞尔戈特。 2 Sierra，Carles公司 2 洛雷达纳·索伦蒂诺 2 韦布鲁克（Rineke Verbrugge） 1 沃尔夫冈·阿伦特 1 胡布·奥德威尔德 1 亚历山德罗·阿尔迪尼 1 娜塔莎·亚历奇纳 1 马吉德·阿里扎德 1 朱利叶斯·安德里科尼斯 1 约翰·阿尔西尔 1 扎伊纳布·巴赫蒂亚里 1 埃齐奥·巴托奇 1 贝内维特斯，马里奥·R·F·。 1 多梅尼科·比安库利 1 大卫·比林顿 1 杰夫·布莱 1 斯特凡诺·邦齐奥 1 约苏阿·博塔 1 爱奥华纳州布尔亚努 1 马克·A·布朗。 1 西蒙·巴斯德 1 迭戈·卡尔瓦内斯 1 马西米利亚诺·卡拉拉 1 巴勃罗·卡斯特罗。 1 彼得·科马克 1 陈靖宇 1 丹尼尔·奇菲 1 汤姆·乔西亚 1 伊娃·H·科根。 1 克里斯蒂安·科伦坡 1 罗地卡康杜拉切 1 罗伯特·P·M·克雷文。 1 达姆，麦兹 1 达萨罗，法比奥·奥雷里奥 1 欧内斯特·戴维斯 1 西罗·德弗洛里奥 1 吕克·德·雷德 1 弗朗西安·戴奇森 1 雷蒙德·魔鬼队 1 迪格纳姆，F.P.M。 1 尤尔根·迪克斯 1 乔纳森·以西结 1 伊利耶斯·法尔科内 1 Mehran S·法拉。 …和108多位作者 全部的 前5名33篇连载文章中引用 15 人工智能 10 应用逻辑杂志 8 哲学逻辑杂志 8 信息与计算 6 合成 5 理论计算机科学 4 圣母院形式逻辑杂志 4 Studia Logica公司 4 计算的形式方面 4 数学与人工智能年鉴 三 西伯利亚数学杂志 三 SibirskieÈlektronnye Matematicheskie Izvestiya公司 三 计算机科学前沿 2 立陶宛数学杂志 2 伊朗数学学会公报 2 系统设计中的形式化方法 2 应用非经典逻辑杂志 2 计算机基础理论 2 泛逻辑 1 代数与逻辑 1 编程与计算机软件 1 机器学习 1 国际计算机数学杂志 1 分布式计算 1 逻辑、语言与信息杂志 1 数学逻辑季刊（MLQ） 1 计算与数学组织理论 1 埃尔肯特尼斯 1 国际应用数学与计算机科学杂志 1 洛巴切夫斯基数学杂志 1 逻辑与逻辑哲学 1 中国计算机科学前沿 1 伊尔库茨科戈大学。马特马提卡丝里亚 全部的 前5名10个领域引用 99 数理逻辑与基础（03-XX） 96 计算机科学（68至XX） 11 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 系统论；控制（93至XX） 2 测量和集成（28-XX） 2 信息与通信理论、电路（94-XX） 1 历史和传记（01-XX） 1 组合数学（05-XX） 1 凸和离散几何（52至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文