编辑配置文件(在新选项卡中打开) 保罗·费拉里斯 合著者距离 作者ID: 费拉里斯·波洛 发布日期: 保罗·费拉里斯 外部链接: MGP公司 已编制索引的文档: 12出版物自2004年起 合著者: 10位合著者具有9联合出版物 160位合作作者 全部的 前5名合著者 三 单作者的 7 弗拉基米尔·利夫希茨 4 Lee,Joohyng先生 2 尤利亚·利勒 2 杨芳凯 1 佩德罗·卡巴拉尔 1 塞姆拉·多安达 1 埃斯拉·埃尔登 1 内拉坎坦省卡塔 1 任婉婉 1 阿尔伯特·罗丹 系列 三 逻辑程序设计理论与实践 1 人工智能 1 数学与人工智能年鉴 1 ACM计算逻辑事务 领域 12 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用226中的次158文件 引用人▼ 年份▼ 命题理论的答案集。 Zbl 1152.68408号 保罗·费拉里斯 59 2005 稳定模型和范围。 Zbl 1227.68103号 保罗·费拉里斯;Lee,Joohyng先生;弗拉基米尔·利夫希茨 44 2011 权重约束作为嵌套表达式。 Zbl 1093.68017号 保罗·费拉里斯;弗拉基米尔·利夫希茨 35 2005 命题理论与逻辑程序有着很强的等价性。 Zbl 1132.68321号 佩德罗·卡巴拉尔;保罗·费拉里斯 29 2007 带有命题连接词和聚合词的逻辑程序。 Zbl 1351.68053号 保罗·费拉里斯 23 2011 答案集编程的数学基础。 Zbl 1220.68035号 保罗·费拉里斯;弗拉基米尔·利夫希茨 17 2005 Lin-Zhao定理的推广。 Zbl 1105.68015号 保罗·费拉里斯;Lee,Joohyng先生;弗拉基米尔·利夫希茨 11 2006 关于稳定模型的极小性。 Zbl 1326.68056号 保罗·费拉里斯;弗拉基米尔·利夫希茨 三 2011 用逻辑程序表示一阶因果理论。 Zbl 1247.68043号 保罗·费拉里斯;Lee,Joohyng先生;尤利亚·利勒;弗拉基米尔·利夫希茨;杨芳凯 三 2012 关于模块翻译和强等价。 兹比尔1152.68407 保罗·费拉里斯 2 2005 用逻辑程序表示一阶因果理论。 Zbl 1247.68043号 保罗·费拉里斯;Lee,Joohyng先生;尤利亚·利勒;弗拉基米尔·利夫希茨;杨芳凯 三 2012 稳定模型和范围。 Zbl 1227.68103号 保罗·费拉里斯;Lee,Joohyng先生;弗拉基米尔·利夫希茨 44 2011 带有命题连接词和聚合词的逻辑程序。 Zbl 1351.68053号 保罗·费拉里斯 23 2011 关于稳定模型的极小性。 Zbl 1326.68056号 保罗·费拉里斯;弗拉基米尔·利夫希茨 三 2011 命题理论与逻辑程序有着很强的等价性。 Zbl 1132.68321号 佩德罗·卡巴拉尔;保罗·费拉里斯 29 2007 Lin-Zhao定理的推广。 Zbl 1105.68015号 保罗·费拉里斯;Lee,Joohyng先生;弗拉基米尔·利夫希茨 11 2006 命题理论的答案集。 Zbl 1152.68408号 保罗·费拉里斯 59 2005 权重约束作为嵌套表达式。 Zbl 1093.68017号 保罗·费拉里斯;弗拉基米尔·利夫希茨 35 2005 答案集编程的数学基础。 Zbl 1220.68035号 保罗·费拉里斯;弗拉基米尔·利夫希茨 17 2005 关于模块翻译和强等价。 Zbl 1152.68407号 保罗·费拉里斯 2 2005 所有引用的出版物 前5名被引用出版物 全部的 前5名194位作者引用 16 弗拉基米尔·利夫希茨 14 Lee,Joohyng先生 14 尤利亚·利勒 12 佩德罗·卡巴拉尔 12 托尔斯滕·绍布(Torsten H.Schaub)。 10 豪尔赫·范丁诺 9 马里奥·阿尔维亚诺 9 托马斯·艾特 8 马丁·格布瑟 8 阿米莉亚·哈里森 8 张燕 7 林方珍 7 特鲁什琴斯基,米洛斯奥 7 康塞普西翁·维达尔 7 斯特凡·沃尔特兰 7 周,易 6 费利西达·阿瓜多 6 尼古拉·利昂 6 吉尔伯托·佩雷斯 6 你,嘉慧 5 马丁·迪盖兹 5 沃尔夫冈·费伯 5 路易斯·法利尼亚斯·德尔·塞罗 5 迈克尔·芬克 5 约昂·莱特 5 沈一东 5 汉斯·托姆皮茨 4 卡明·多达罗 4 埃斯拉·埃尔登 4 里卡多·贡萨阿尔维斯 4 汤米·詹胡宁 4 马蒂亚斯·克诺尔 4 杨芳凯 三 弗农·亚松森 三 迈克尔·巴塞洛缪 三 巴特·博加特 三 马克·德内克 三 保罗·费拉里斯 三 罗兰·卡明斯基 三 托马斯·克伦瓦尔纳 三 马可·马拉提亚 三 斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 三 阿古斯丁,巴尔韦德 三 王一松 2 Jean-Marc阿利奥特 2 约瑟夫·巴伯 2 巴特,梅胡尔 2 詹姆斯·德尔格兰德。 2 帕特里克·多尔蒂 2 哈尔特·埃尔多安 2 迈克尔·盖尔芬德 2 扎卡里·汉森 2 安德烈亚斯·赫齐格 2 乔瓦姆巴蒂斯塔·伊安尼 2 本杰明·考夫曼 2 刘国华 2 V.Wiktor马雷克 2 西奥多·帕特科斯 2 普列克索萨基斯,迪米特里斯 2 元首,约尔格 2 杰弗里·布赖恩·雷梅尔 2 哈维尔·罗梅罗 2 卡尔·R·舒尔茨。 2 迈克尔·泰尔舍尔 2 Wałga,Przemys aw Andrzej 2 王克文 2 杨准 2 袁丽燕 2 张恒 2 张明义 2 张元林 1 乔瓦尼·阿蒙多拉 1 亚西内·阿米拉特 1 安娜斯塔西娅·安娜斯塔西 1 格里戈里斯·安东尼奥 1 华金·阿里亚斯 1 Jean-François巴杰 1 菲利普·巴尔比亚尼 1 马塞洛·巴尔杜奇尼 1 奇塔·R·巴拉尔。 1 马蒂·伯特霍尔德 1 Białek,Łukasz 1 曼纽尔·比什勒 1 亚历山大·波奇曼 1 乔里·博曼森 1 皮耶罗·安德里亚·博纳蒂 1 劳拉,博泽利 1 格哈德·布鲁卡 1 丹尼尔·布鲁克斯(Daniel R.Brooks)。 1 莫里斯·布吕诺格 1 杜伊古·恰克马克 1 弗朗西斯科·卡利默里 1 曼纽尔·卡罗 1 陈,尹 1 陈卓 1 阿卜杜勒加尼·奇巴尼 1 马克西米利亚诺·克里斯蒂亚 1 英格玛达塞维尔 1 沃尔夫·德·沃尔夫 1 罗伯特·德莫洛姆 …还有94位作者 全部的 前5名14篇连载文章中引用 50 逻辑程序设计理论与实践 27 人工智能 10 数学与人工智能年鉴 4 应用非经典逻辑杂志 三 自动推理杂志 三 ACM计算逻辑事务 2 理论计算机科学 2 国际近似推理杂志 2 约束条件 2 应用逻辑杂志 1 国际博弈论杂志 1 计算机与系统科学杂志 1 纯逻辑与应用逻辑年鉴 1 计算机基础理论 全部的 前5名在8个字段中引用 155 计算机科学(68至XX) 33 数学逻辑和基础(03-XX) 5 生物学和其他自然科学(92-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 历史和传记(01-XX) 1 组合数学(05-XX) 1 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文