编辑配置文件(在新选项卡中打开) 保罗·利伯拉托雷 合著者距离 作者ID: 解放者·波洛 发布日期: 保罗·利伯拉托雷;利伯拉托雷,P。 外部链接: ORCID公司 已编制索引的文档: 37出版物自1997年起 2作为编辑的贡献 合著者: 8位合著者具有15联合出版物 207位合作作者 全部的 前5名合著者 24 单作者的 10 马尔科·谢尔夫 三 马可·卡多利 三 弗朗切斯科·多尼尼。 2 安德烈亚·费拉拉 2 杰罗姆·朗 2 皮埃尔·侯爵 2 蒂埃里·维达尔 1 赵西顺 全部的 前5名系列 8 人工智能 6 ACM计算逻辑事务 5 人工智能研究杂志 三 逻辑与计算杂志 2 计算机基础理论 1 信息处理信件 1 电气电子工程师学会计算机期刊 1 计算机与系统科学杂志 1 Studia Logica公司 1 信息与计算 1 国际智能系统杂志 1 国际近似推理杂志 1 人工智能通信 1 吉泰。实验与理论人工智能杂志 1 应用非经典逻辑杂志 1 IGPL逻辑杂志 1 美国计算机学会期刊 1 人工智能和应用的前沿 字段 39 计算机科学(68-XX) 14 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 概率论与随机过程(60-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 25出版物有被引用175中的次123文件 引用人▼ 年份▼ 命题独立性——公式变量独立性和遗忘。 Zbl 1056.68112号 J·朗。;利伯拉托雷,P。;马奎斯,P。 46 2003 逻辑冗余。一: CNF命题公式。 Zbl 1132.68736号 保罗·利伯拉托雷 24 2005 修改后的知识库的大小。 Zbl 0939.68853号 卡多利,M。;F.M.多尼尼。;利伯拉托雷,P。;谢尔夫,M。 13 1999 信念修正和更新:模型检查的复杂性。 Zbl 0990.68108号 保罗·利伯拉托雷;马尔科·谢尔夫 12 2001 棘手问题的预处理。 兹比尔1012.68082 马可·卡多利;弗朗西斯科·多尼尼。;保罗·利伯拉托雷;马尔科·谢尔夫 11 2002 命题知识表示形式的空间效率。 Zbl 0946.68134号 卡多利,M。;F.M.多尼尼。;利伯拉托雷,P。;谢尔夫,M。 10 2000 将信念修正减少为限制(反之亦然)。 兹比尔1017.03507 保罗·利伯拉托雷;马尔科·谢尔夫 9 1997 命题逻辑中的条件独立性。 Zbl 1043.68094号 杰罗姆·朗;保罗·利伯拉托雷;皮埃尔·侯爵 7 2002 信念更新的复杂性。 Zbl 0947.68560号 利伯拉托雷,P。 6 2000 逻辑冗余。二: 2CNF和Horn命题公式。 Zbl 1182.68282号 保罗·利伯拉托雷 6 2008 信念更新框架。 兹比尔0998.03012 保罗·利伯拉托雷 4 2000 关于DPLL中选择分支文字的复杂性。 Zbl 0939.68646号 利伯拉托雷,P。 4 2000 逻辑冗余。三: 非单调推理。 Zbl 1183.68598号 保罗·利伯拉托雷 4 2008 单调约简、代表性等价和难处理问题的汇编。 Zbl 1323.68305号 保罗·利伯拉托雷 三 2001 霍恩知识库修订版的可编译性和紧凑表示。 Zbl 1365.68408号 保罗·利伯拉托雷 三 2000 默认逻辑中的可表示性。 Zbl 1102.68128号 保罗·利伯拉托雷 2 2005 如果故障保护默认逻辑失败。 Zbl 1367.68284号 保罗·利伯拉托雷 2 2007 按历史修订。 兹比尔1323.68469 保罗·利伯拉托雷 2 2015 无争议的默认逻辑。 Zbl 1069.68099号 保罗·利伯拉托雷 1 2004 基于案例的规划的复杂性。 Zbl 1101.68819号 利伯拉托雷,P。 1 2005 信念集成和源可靠性评估。 Zbl 1448.68410号 保罗·利伯拉托雷 1 2018 命题溯因的可编译性。 Zbl 1367.68286号 保罗·利伯拉托雷;马尔科·谢尔夫 1 2007 通过示例合并信仰。 兹比尔1367.68285 保罗·利伯拉托雷 1 2016 关于次优诱拐解释的复杂性。 Zbl 1346.68194号 保罗·利伯拉托雷;马尔科·谢尔夫 1 2015 关于缺省逻辑中扩展检查的复杂性。 Zbl 1187.68584号 保罗·利伯拉托雷 1 2006 信念集成和源可靠性评估。 Zbl 1448.68410号 保罗·利伯拉托雷 1 2018 通过示例合并信仰。 Zbl 1367.68285号 保罗·利伯拉托雷 1 2016 按历史修订。 Zbl 1323.68469号 保罗·利伯拉托雷 2 2015 关于次优诱拐解释的复杂性。 Zbl 1346.68194号 保罗·利伯拉托雷;马尔科·谢尔夫 1 2015 逻辑中的冗余。二: 2CNF和Horn命题公式。 Zbl 1182.68282号 保罗·利伯拉托雷 6 2008 逻辑冗余。三: 非单调推理。 Zbl 1183.68598号 保罗·利伯拉托雷 4 2008 如果故障保护默认逻辑失败。 Zbl 1367.68284号 保罗·利伯拉托雷 2 2007 命题溯因的可编译性。 Zbl 1367.68286号 保罗·利伯拉托雷;马尔科·谢尔夫 1 2007 关于缺省逻辑中扩展检查的复杂性。 兹比尔1187.68584 保罗·利伯拉托雷 1 2006 逻辑冗余。一: CNF命题公式。 Zbl 1132.68736号 保罗·利伯拉托雷 24 2005 默认逻辑中的可表示性。 Zbl 1102.68128号 保罗·利伯拉托雷 2 2005 基于案例的规划的复杂性。 Zbl 1101.68819号 利伯拉托雷,P。 1 2005 无争议的默认逻辑。 Zbl 1069.68099号 保罗·利伯拉托雷 1 2004 命题独立性——公式变量独立性和遗忘。 Zbl 1056.68112号 J·朗。;利伯拉托雷,P。;马奎斯,P。 46 2003 棘手问题的预处理。 Zbl 1012.68082号 马可·卡多利;弗朗切斯科·多尼尼。;保罗·利伯拉托雷;马尔科·谢尔夫 11 2002 命题逻辑中的条件独立性。 Zbl 1043.68094号 杰罗姆·朗;保罗·利伯拉托雷;皮埃尔·侯爵 7 2002 信念修正和更新:模型检查的复杂性。 Zbl 0990.68108号 保罗·利伯拉托雷;马尔科·谢尔夫 12 2001 单调约简、代表性等价和难处理问题的汇编。 Zbl 1323.68305号 保罗·利伯拉托雷 三 2001 命题知识表示形式的空间效率。 兹伯利0946.68134 卡多利,M。;F.M.多尼尼。;利伯拉托雷,P。;谢尔夫,M。 10 2000 信念更新的复杂性。 Zbl 0947.68560号 利伯拉托雷,P。 6 2000 信念更新框架。 Zbl 0998.03012号 保罗·利伯拉托雷 4 2000 关于在DPLL中选择分支文字的复杂性。 Zbl 0939.68646号 利伯拉托雷,P。 4 2000 霍恩知识库修订版的可编译性和紧凑表示。 Zbl 1365.68408号 保罗·利伯拉托雷 三 2000 修改后的知识库的大小。 Zbl 0939.68853号 卡多利,M。;F.M.多尼尼。;利伯拉托雷,P。;Schaerf,M。 13 1999 将信念修正减少为限制(反之亦然)。 Zbl 1017.03507号 保罗·利伯拉托雷;马尔科·谢尔夫 9 1997 所有引用出版物 排名前五的出版物 全部的 前5名被192位作者引用 13 保罗·利伯拉托雷 11 皮埃尔·侯爵 10 杰罗姆·朗 10 Joáo P.塞尔瓦侯爵。 5 里卡多·贡萨阿尔维斯 5 克诺尔,马蒂亚斯 5 约昂·莱特 5 马尔科·谢尔夫 5 斯特凡·沃尔特兰 4 托马斯·艾特 4 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 4 米科拉什·亚诺塔 4 卡洛斯·门西娅 4 王克文 三 伊莉莎·邦松 三 马可·卡多利 三 纳迪亚·克里诺 三 詹姆斯·德尔格兰德。 三 弗朗西斯科·多尼尼。 三 安德烈亚斯·赫齐格 三 Marie-Christine,Lagasquie-Schiex 三 拉斐尔·佩尼亚洛扎 三 罗德尼·W·托珀。 三 王哲 三 弗兰克·沃尔特 三 张燕 2 Aranda-Corral,冈萨罗A。 2 博雷戈·迪亚斯(Borrego-Díaz,Joaquín) 2 阿德南·达尔维切 2 乌尔·恩德里斯 2 汤米·詹胡宁 2 雷达·科塔里 2 Jean-Marie拉格尼茨 2 林克,塞巴斯蒂安 2 卡斯滕·卢茨 2 林奇,因斯 2 Kuldeep S.梅尔。 2 杰夫·Z·潘。 2 奥德尔·帕皮尼 2 莱因哈德,皮克勒 2 亚历山德罗·普雷维蒂 2 托尔斯滕·绍布(Torsten H.Schaub)。 2 雷娜特·施密特(Renate A.Schmidt)。 2 尼古拉斯·施温德 2 乔尔·乌克尔曼 2 汉斯·皮特·范·迪特马什 2 伊万·约瑟·瓦尔津扎克 2 周毅 1 阿隆索-吉梅内斯,何塞·安东尼奥 1 莱拉·阿姆古德 1 埃亚尔·埃米尔 1 格里戈里斯·安东尼奥 1 阿里夫·M·法里德 1 约拉姆州巴克拉赫 1 奥利维尔·贝利 1 奇塔·R·巴拉尔。 1 安东·贝洛夫 1 Trevor J.M.Bench-Capon。 1 雅罗斯拉夫·本迪克 1 杰里米亚斯·伯格 1 马蒂·伯特霍尔德 1 菲利普·贝斯纳德 1 卢卡斯·波尔多 1 都是,艾伦 1 穆罕默德·艾曼·布杰尔本 1 卡塔琳娜·布里茨 1 布鲁尼,雷纳托 1 陈,胡比 1 陈潘峰 1 陈、陶璐 1 雪佛莱,Yann 1 安德鲁·克洛珀 1 维克多·大卫 1 朱塞佩·德贾科莫 1 佛罗伦萨·杜宾·德圣西尔 1 Stéphane P.德姆里。 1 马丁·迪勒 1 帕特里克·多尔蒂 1 马特·杜卡姆 1 保罗·E·邓恩。 1 萨图·埃洛兰塔 1 埃斯拉·埃尔登 1 帕特里夏·埃弗拉雷 1 方良达 1 冯仁彦 1 爱德华多·利奥波多·费尔梅 1 Fernández-Lebrón,M.Magdalena 1 迈克尔·芬克 1 Foob,Norman Y。 1 法语,蒂姆 1 胡安·加兰·帕兹 1 高湘玉 1 马尔科·加拉帕 1 塞尔盖·加斯佩斯 1 西尔万·杰拉德 1 恩里科Giunchilia 1 乔治·戈特洛布 1 马克·吉森 1 法贾尔·海法尼 1 劳尔·哈克利 …还有92位作者 全部的 前5名27篇连载文章中引用 45 人工智能 6 国际近似推理杂志 5 ACM计算逻辑事务 4 合成 4 人工智能研究杂志 4 数学与人工智能年鉴 三 理论计算机科学 三 逻辑程序设计理论与实践 三 应用逻辑杂志 2 计算机与系统科学杂志 2 自动推理杂志 2 应用非经典逻辑杂志 2 约束条件 1 离散应用数学 1 哲学逻辑杂志 1 Studia Logica公司 1 符号计算杂志 1 信息与计算 1 机器学习 1 吉泰。实验与理论人工智能杂志 1 《数理逻辑季刊》 1 美国计算机学会期刊 1 计算智能 1 离散优化 1 泛逻辑 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 111 计算机科学(68-XX) 47 数学逻辑和基础(03-XX) 8 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文