×
作者ID: 解放者·波洛最近由“Liberatore,Paolo”撰写的zbMATH文章
发布日期: 保罗·利伯拉托雷;利伯拉托雷,P。
外部链接: ORCID公司
已编制索引的文档: 37出版物自1997年起
2作为编辑的贡献
合著者: 8位合著者具有15联合出版物
207位合作作者

按年份列出的出版物

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位作者

按年份列出的引文