编辑配置文件(在新选项卡中打开) 维维亚娜·帕蒂 合著者距离 作者ID: 维维亚纳肉饼 发布日期: 维维亚娜·帕蒂 已编制索引的文档: 9出版物自2001年起 合著者: 5位合著者具有9联合出版物 63位合作作者 合著者 0 单作者的 9 马蒂奥·巴多尼 8 阿尔贝托·马泰利 7 克里斯蒂娜·巴罗格里奥 2 劳拉·佐丹奴 1 克劳迪奥·斯齐凡内拉 系列 1 人工智能综述 1 数学与人工智能年鉴 1 逻辑与代数程序设计杂志 领域 9 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 数学教育(97-XX) 按年份列出的出版物 zbMATH Open中包含的引文 6出版物有被引用10中的次5文件 引用人▼ 年份▼ 验证协议一致性和代理互操作性。 Zbl 1236.68245号 马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂 4 2006 在模态动作逻辑中为理性代理编程。 Zbl 1077.68088号 马蒂奥·巴多尼;阿尔贝托·马泰利;薇薇安娜,帕蒂;劳拉·佐丹奴 2 2004 验证基于逻辑的通信代理的协议一致性。 Zbl 1081.68679号 马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂;克劳迪奥·斯齐凡内拉 1 2005 基于网络的自适应辅导:一种基于逻辑代理和行为推理的方法。 Zbl 1075.68654号 马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;维维亚娜·帕蒂 1 2004 关于自我和他人的推理:在模态动作逻辑中交流代理。 兹比尔1257.68132 马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂 1 2003 推理web服务组合的交互协议。 Zbl 1271.68067号 马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂 1 2004 验证协议一致性和代理互操作性。 Zbl 1236.68245号 马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂 4 2006 验证基于逻辑的通信代理的协议一致性。 兹比尔1081.68679 马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂;克劳迪奥·斯齐凡内拉 1 2005 在模态动作逻辑中为理性代理编程。 Zbl 1077.68088号 马蒂奥·巴多尼;阿尔贝托·马泰利;维维亚娜·帕蒂;劳拉·佐丹奴 2 2004 基于网络的自适应辅导:一种基于逻辑代理和行为推理的方法。 兹比尔1075.68654 马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;维维亚娜·帕蒂 1 2004 推理web服务组合的交互协议。 Zbl 1271.68067号 马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂 1 2004 关于自我和他人的推理:在模态动作逻辑中交流代理。 Zbl 1257.68132号 马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;薇薇安娜,帕蒂 1 2003 全部的 前5名12位作者引用 2 阿尔贝托·马泰利 1 马蒂奥·巴多尼 1 克里斯蒂娜·巴罗利奥 1 贾马尔·本塔哈 1 尤尔根·迪克斯 1 迈克尔·费希尔 1 阿尔弗雷多·加巴登 1 劳拉·佐丹奴 1 穆罕默德·姆巴基 1 约翰·朱尔斯·查尔斯·梅耶 1 伯纳德·穆林 1 维维亚娜·帕蒂 2篇连载文章中引用 1 数学与人工智能年鉴 1 逻辑与代数程序设计杂志 在1个字段中引用 5 计算机科学(68至XX) 按年份列出的引文