编辑配置文件(在新选项卡中打开) 阿尔贝托·马泰利 合著者距离 作者ID: 马尔泰利·阿尔贝托 发布日期: 阿尔贝托·马泰利;A.马泰利。 已编制索引的文档: 50种出版物自1971年起 1名编辑贡献 合著者: 17合著者具有39联合出版物 412合著作者 全部的 前5名合著者 7 单作者的 26 劳拉·佐丹奴 10 马蒂奥·巴多尼 8 维维亚娜·帕蒂 7 卡米拉·施温德。 6 克里斯蒂娜·巴罗利奥 6 乌戈·蒙塔纳里。 5 丹尼尔·杜普雷 三 Dov M.加巴伊。 三 尼古拉·奥利维蒂 三 玛丽亚·路易莎·萨皮诺 2 罗伯托·巴布蒂 2 吉安弗兰科·罗西 1 D.阿维诺。 1 R.贝奇尼。 1 奇拉耶夫,P。 1 达维德·达普利 1 海伦·福莱 1 瓦伦蒂娜·格里奥齐 1 斯特凡妮娅·格内西 1 吉安·卢卡(Gian Luca),披萨 1 Preparia,Franco P。 1 克劳迪奥·斯齐凡内拉 1 马蒂奥·斯皮奥塔 1 乔治·瓦莱 1 V·沃洛奇诺夫。 全部的 前5名系列 三 逻辑程序设计杂志 三 逻辑与计算杂志 2 人工智能 2 计算机协会杂志 2 ACM通信 2 数学与人工智能年鉴 2 逻辑程序设计理论与实践 1 数学分析与应用杂志 1 理论计算机科学 1 程序设计语言与系统学报 1 计算机程序设计科学 1 计算机与人工智能 1 自动化和远程控制 1 IGPL杂志 1 IGPL逻辑杂志 1 逻辑与代数程序设计杂志 1 应用逻辑杂志 全部的 前5名领域 46 计算机科学(68至XX) 13 数学逻辑和基础(03-XX) 4 信息与通信理论、电路(94-XX) 三 组合数学(05-XX) 三 变分法与最优控制;最优化(49至XX) 三 运筹学、数学规划(90-XX) 2 数值分析(65-XX) 1 历史和传记(01-XX) 1 算子理论(47-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 33出版物有被引用316中的次292文件 引用人▼ 年份▼ 一种高效的统一算法。 Zbl 0478.68093号 阿尔贝托·马泰利;乌戈·蒙塔纳里 172 1982 通过启发式引导搜索优化决策树。 Zbl 0395.90079号 阿尔贝托·马泰利;乌戈州蒙塔纳里 25 1978 关于容许搜索算法的复杂性。 Zbl 0344.68023号 阿尔贝托·马泰利 18 1977 作为图搜索的动态编程:代数方法。 Zbl 0471.90092号 格内西、斯特凡尼亚;乌戈·蒙塔纳里;阿尔贝托·马泰利 13 1981 模态动作逻辑中的分支和因果关系。 Zbl 0966.68196号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 9 2000 累计默认逻辑。 Zbl 0803.68126号 劳拉·佐丹奴;阿尔贝托·马泰利 7 1994 启发式搜索方法在边缘和轮廓检测中的应用。 兹伯利0317.68075 阿尔贝托·马泰利 6 1976 多模态逻辑的表演算和一些(不)可判定性结果。 Zbl 0901.03020号 马蒂奥·巴多尼;劳拉·佐丹奴;阿尔贝托·马泰利 6 1998 通过时序动作逻辑中的模型检查来验证通信代理。 Zbl 1111.68677号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 5 2004 图中割集枚举的高斯消去算法。 Zbl 0322.05145号 阿尔贝托·马泰利 5 1976 逻辑编程的模式扩展:模块化、信念和假设推理。 Zbl 0916.68022号 马蒂奥·巴多尼;劳拉·佐丹奴;阿尔贝托·马泰利 5 1998 验证协议一致性和代理互操作性。 Zbl 1236.68245号 马蒂奥·巴多尼;克里斯蒂娜·巴罗格里奥;阿尔贝托·马泰利;维维亚娜·帕蒂 4 2006 动态线性时间时序逻辑中的动作推理。 Zbl 0979.03015号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 4 2001 验证代理是否符合多方协议。 Zbl 1250.68267号 劳拉·佐丹奴;阿尔贝托·马泰利 三 2009 在时序动作逻辑中指定和验证交互协议。 Zbl 1122.68122号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 三 2007 动态线性时间时序逻辑的基于表的自动机构造。 Zbl 1112.03014号 劳拉·佐丹奴;阿尔贝托·马泰利 三 2006 使用临时答案集推理操作。 Zbl 1267.68081号 劳拉·佐丹奴;阿尔贝托·马泰利;丹尼尔·杜普雷 三 2013 静态语义正确性的结构化方法。 Zbl 0519.68015号 R.巴布蒂。;A.马泰利。 三 1983 用于处理假设更新和不一致性的语言。 Zbl 0853.68074号 Dov M.加巴伊。;劳拉·佐丹奴;阿尔贝托·马泰利;尼古拉·奥利维蒂 三 1996 构造逻辑程序:一种模态方法。 Zbl 0812.68065号 劳拉·佐丹奴;阿尔贝托·马泰利 三 1994 通过诱因将否定扩展为失败:三值稳定模型语义。 Zbl 0871.68051号 劳拉·佐丹奴;阿尔贝托·马泰利;玛丽亚·路易莎·萨皮诺 三 1996 在时序动作逻辑中指定和验证通信代理的系统。 Zbl 1274.68580号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施文 2 2003 用蕴涵目标扩展Horn子句逻辑。 Zbl 0754.68109号 劳拉·佐丹奴;阿尔贝托·马泰利;吉安弗兰科·罗西 2 1992 在模态动作逻辑中为理性代理编程。 Zbl 1077.68088号 马蒂奥·巴多尼;阿尔贝托·马泰利;维维亚娜·帕蒂;劳拉·佐丹奴 2 2004 逻辑编程中的条件推理。 Zbl 0957.68014号 D.加巴伊。;佐丹奴,L。;A.马泰利。;奥利维蒂,N。;萨皮诺,M.L。 2 2000 关于自我和他人的推理:模态动作逻辑中的沟通主体。 Zbl 1257.68132号 马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂 1 2003 非串行动态规划:关于矩形网格变量消去的最优策略。 Zbl 0209.22903号 A.马泰利。;美国蒙塔纳里。 1 1972 动态编程示意图。 Zbl 0289.49024号 A.马泰利。;美国蒙塔纳里。 1 1974 在动态规划的基础上。 Zbl 0365.90123号 Martelli,A。;美国蒙塔纳里。 1 1975 推理web服务组合的交互协议。 Zbl 1271.68067号 马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂 1 2004 时间动作逻辑中交互协议的专门化。 Zbl 1273.68374号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 1 2006 通过ASP中的有界模型检查实现动作理论验证的完整性。 Zbl 1328.68127号 劳拉·佐丹奴;阿尔贝托·马泰利;丹尼尔·塞塞德尔·杜普雷 1 2015 验证基于逻辑的通信代理的协议一致性。 Zbl 1081.68679号 马蒂奥·巴多尼;克里斯蒂娜·巴罗格里奥;阿尔贝托·马泰利;维维亚娜·帕蒂;克劳迪奥·斯齐凡内拉 1 2005 通过ASP中的有界模型检查实现动作理论验证的完整性。 Zbl 1328.68127号 劳拉·佐丹奴;阿尔贝托·马泰利;丹尼尔·塞塞德尔·杜普雷 1 2015 使用临时答案集推理操作。 Zbl 1267.68081号 劳拉·佐丹奴;阿尔贝托·马泰利;丹尼尔·杜普雷 三 2013 验证代理是否符合多方协议。 Zbl 1250.68267号 劳拉·佐丹奴;阿尔贝托·马泰利 三 2009 在时序动作逻辑中指定和验证交互协议。 Zbl 1122.68122号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 三 2007 协议一致性和代理互操作性的验证。 Zbl 1236.68245号 马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂 4 2006 动态线性时间时序逻辑的基于表的自动机构造。 Zbl 1112.03014号 劳拉·佐丹奴;阿尔贝托·马泰利 三 2006 时间动作逻辑中交互协议的专门化。 Zbl 1273.68374号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 1 2006 验证基于逻辑的通信代理的协议一致性。 Zbl 1081.68679号 马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂;克劳迪奥·斯齐凡内拉 1 2005 通过时序动作逻辑中的模型检查来验证通信代理。 兹比尔1111.68677 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 5 2004 在模态动作逻辑中为理性代理编程。 Zbl 1077.68088号 马蒂奥·巴多尼;阿尔贝托·马泰利;维维亚娜·帕蒂;劳拉·佐丹奴 2 2004 推理web服务组合的交互协议。 Zbl 1271.68067号 马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂 1 2004 在时序动作逻辑中指定和验证通信代理的系统。 Zbl 1274.68580号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 2 2003 关于自我和他人的推理:在模态动作逻辑中交流代理。 Zbl 1257.68132号 马蒂奥·巴多尼;克里斯蒂娜·巴罗利奥;阿尔贝托·马泰利;维维亚娜·帕蒂 1 2003 关于动态线性时间-时间逻辑中的动作的推理。 Zbl 0979.03015号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 4 2001 模态动作逻辑中的分支和因果关系。 Zbl 0966.68196号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 9 2000 逻辑编程中的条件推理。 Zbl 0957.68014号 D.加巴伊。;佐丹奴,L。;A.马泰利。;奥利维蒂,N。;萨皮诺,M.L。 2 2000 多模态逻辑的表演算和一些(不)可判定性结果。 Zbl 0901.03020号 马蒂奥·巴多尼;劳拉·佐丹奴;阿尔贝托·马泰利 6 1998 逻辑编程的模式扩展:模块化、信念和假设推理。 Zbl 0916.68022号 马蒂奥·巴多尼;劳拉·佐丹奴;阿尔贝托·马泰利 5 1998 用于处理假设更新和不一致性的语言。 Zbl 0853.68074号 Dov M.加巴伊。;劳拉·佐丹奴;阿尔贝托·马泰利;尼古拉·奥利维蒂 三 1996 通过诱因将否定扩展为失败:三值稳定模型语义。 Zbl 0871.68051号 劳拉·佐丹奴;阿尔贝托·马泰利;玛丽亚·路易莎·萨皮诺 三 1996 累计默认逻辑。 Zbl 0803.68126号 劳拉·佐丹奴;阿尔贝托·马泰利 7 1994 构造逻辑程序:一种模态方法。 兹伯利0812.68065 劳拉·佐丹奴;阿尔贝托·马泰利 三 1994 用蕴涵目标扩展Horn子句逻辑。 Zbl 0754.68109号 劳拉·佐丹奴;阿尔贝托·马泰利;吉安弗兰科·罗西 2 1992 静态语义正确性的结构化方法。 Zbl 0519.68015号 R.巴布蒂。;A.马泰利。 三 1983 一种高效的统一算法。 Zbl 0478.68093号 阿尔贝托·马泰利;乌戈·蒙塔纳里 172 1982 作为图搜索的动态编程:代数方法。 Zbl 0471.90092号 格内西、斯特凡尼亚;乌戈·蒙塔纳里;阿尔贝托·马泰利 13 1981 通过启发式引导搜索优化决策树。 兹伯利039590079 阿尔贝托·马泰利;乌戈·蒙塔纳里 25 1978 关于容许搜索算法的复杂性。 Zbl 0344.68023号 阿尔贝托·马泰利 18 1977 启发式搜索方法在边缘和轮廓检测中的应用。 Zbl 0317.68075号 阿尔贝托·马泰利 6 1976 图中割集枚举的高斯消去算法。 Zbl 0322.05145号 阿尔贝托·马泰利 5 1976 在动态规划的基础上。 Zbl 0365.90123号 A.马泰利。;美国蒙塔纳里。 1 1975 动态编程示意图。 Zbl 0289.49024号 A.马泰利。;美国蒙塔纳里。 1 1974 非串行动态规划:关于矩形网格变量消去的最优策略。 Zbl 0209.22903号 A.马泰利。;美国蒙塔纳里。 1 1972 所有引用出版物 排名前五的出版物 全部的 前5名463位作者引用 10 劳拉·佐丹奴 10 阿尔贝托·马泰利 9 曼弗雷德·施密特·沙乌 6 查克拉巴蒂,帕塔·普拉蒂姆 6 帕斯卡尔·朱利安·伊兰佐 6 何塞·梅塞盖尔·瓜伊塔 5 韦恩·斯奈德 5 苏布拉马尼安。 4 南卡罗来纳州德萨卡。 4 丹尼尔·多尔蒂(Daniel J.Dougherty)。 4 莫雷诺,杜松子酒 4 莱因哈德·皮克勒 三 亚历山大·布代特 三 伊戈尔·奇卡洛夫。 三 丹尼·德·施雷耶 三 圣地亚哥埃斯科瓦尔 三 弗朗索瓦·法赫斯 三 阿里尔·费尔纳 三 让·H·盖利尔。 三 沙希德·侯赛因 三 帕特里夏·约翰 三 克里斯托夫·克里茨 三 维平·库马尔 三 尤努斯·库茨。 三 保罗·利伯拉托雷 三 阿尔特·米德尔多普 三 米哈伊尔·朱·莫什科夫。 三 巴利亚特·纳伦德兰 三 尼禄,阿尼尔 三 Ng,Raymond T。 三 阮林安 三 延斯·奥滕 三 尼古拉斯·佩尔蒂埃 三 丹尼尔·杜普雷 三 塞萨尔·蒂内利 三 你,嘉慧 2 阿尔特·卡奇,哈桑 2 玛丽亚·阿尔普特 2 阿曼,博格丹 2 乔治·奥塞洛 2 弗兰兹·巴德 2 马蒂奥·巴多尼 2 马可·贝利亚 2 斯蒂法诺·比斯塔雷利 2 尼古拉·博塔 2 拉斐尔·卡萨斯 2 加布里埃尔·乔巴努 2 帕拉布·达斯古普塔 2 斯特凡尼德劳恩 2 马克·德内克 2 Farmer,William M。 2 玛丽贝尔·费尔南德斯 2 马里奥弗洛里多 2 Dov M.加巴伊。 2 阿德里亚·加斯科恩 2 苏霍伊·古泽 2 吉勒姆·戈多伊 2 让·古鲍特·拉雷克 2 郭青 2 斯特芬·Hölldobler 2 罗伯特·霍尔特(Robert C.Holte)。 2 艾达、铁雄 2 帕特里克·詹森 2 瓦迪姆·卡根 2 Kanal,Laveen N。 2 克洛德·基什内尔 2 特默尔库西亚 2 刘业洲 2 马丁·奥列特,纳西索 2 乌戈·蒙塔纳里。 2 翁贝托·南尼 2 玛丽莎·纳瓦罗 2 拉杜·尼科尔斯库 2 托比亚斯·尼普科 2 佐藤奥奎 2 尼古拉·奥利维蒂 2 朱迪亚·珀尔 2 皮杰尔斯,维姆 2 罗马克里希南,I.V。 2 何塞·安东尼奥·里亚扎 2 弗朗西丝卡·罗西 2 克莱门特·鲁比奥·曼扎诺 2 大卫·萨贝尔 2 弗朗西斯科·桑蒂尼 2 托尔斯滕·绍布(Torsten H.Schaub)。 2 卡米拉·施温德。 2 道格拉斯·谢尔(Douglas R.Shier)。 2 施,Frank Yeong-Chyang 2 帅、电训 2 格特·斯莫尔卡 2 内森·斯特凡特(Nathan R.Sturtevant)。 2 孙静 2 斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 2 拉尔夫·特里宁 2 德国维达尔 2 David E.怀特。 2 大卫·A·沃尔夫拉姆。 2 扎哈罗夫,弗拉基米尔·安纳托利耶维奇 2 什洛莫·齐尔伯斯坦 1 托尼·阿萨勒(Tony Abou-Assaleh) …还有363位作者 全部的 前5名66篇连载文章中引用 35 理论计算机科学 28 人工智能 22 符号计算杂志 15 信息与计算 11 自动推理杂志 11 数学与人工智能年鉴 7 信息科学 7 逻辑程序设计理论与实践 5 纯逻辑与应用逻辑年鉴 4 模糊集与系统 4 计算机科学与技术杂志 4 欧洲运筹学杂志 4 应用非经典逻辑杂志 三 离散应用数学 三 信息处理信件 三 Studia Logica公司 三 函数编程杂志 三 逻辑与代数程序设计杂志 2 信息学报 2 计算机与系统科学杂志 2 SIAM代数和离散方法杂志 2 国际近似推理杂志 2 计算的形式方面 2 模式识别 2 工程、通信和计算中的应用代数 2 系统设计中的形式化方法 2 逻辑、语言与信息杂志 2 离散算法杂志 2 应用逻辑杂志 1 国际通用系统杂志 1 巴洛克大学学报。山楂(Facultas Rerum Naturalium)。数学软件 1 生物计量学 1 比特币 1 哲学逻辑杂志 1 纯代数与应用代数杂志 1 凯贝内提卡 1 网络 1 Neerlandica统计 1 合成 1 控制论 1 电路、系统和信号处理 1 新一代计算 1 算法 1 应用数学快报 1 离散数学与应用 1 国际计算机数学杂志 1 SIAM审查 1 RAIRO公司。Informatique Théorique et Applications公司 1 控制论与系统分析 1 数学科学杂志(纽约) 1 顶部 1 信息计算杂志 1 高阶和符号计算 1 计算机基础理论 1 萨达纳 1 自然计算 1 计算语言学 1 年鉴大学玛丽亚·居里-斯科·奥杜斯卡。第A1节。Informatica公司 1 泛逻辑 1 第比利斯数学杂志 1 《大学学报》。Informatica公司 1 符号逻辑述评 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 1 信息分析系统模型 1 膜计算杂志 全部的 前5名19个领域引用 259 计算机科学(68至XX) 95 数学逻辑和基础(03-XX) 20 运筹学、数学规划(90-XX) 8 组合数学(05-XX) 8 一般代数系统(08-XX) 8 信息与通信理论、电路(94-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 历史和传记(01-XX) 4 范畴理论;同调代数(18-XX) 三 数值分析(65-XX) 2 阶、格、有序代数结构(06-XX) 2 统计学(62-XX) 1 总体主题;集合(00-XX) 1 数论(11-XX) 1 场论和多项式(12-XX) 1 群论与推广(20-XX) 1 变分法与最优控制;最优化(49至XX) 1 量子理论(81-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文