编辑配置文件(在新选项卡中打开) 佩德罗·卡巴拉尔 合著者距离 作者ID: 卡巴拉·佩德罗 发布方式: 佩德罗·卡巴拉尔;卡巴拉,P。 已编制索引的文档: 68出版物自2002年起 2作为编辑的贡献 合著者: 34位合著者具有61联合出版物 575位合作作者 全部的 前5名合著者 9 单作者的 22 豪尔赫·范丁诺 16 佩雷斯,吉尔伯托 15 费利西达·阿瓜多 15 康塞普西翁·维达尔 11 托尔斯滕·绍布(Torsten H.Schaub)。 10 马丁·迪盖兹 8 阿古斯汀·瓦尔弗德 7 路易斯·法利尼亚斯·德尔·塞罗 4 谢尔盖·奥丁佐夫。 4 安娜·舒曼 三 保罗·爱德华多·桑托斯 三 塞巴斯蒂安·谢尔霍恩 2 豪尔赫·范迪诺 2 迈克尔·芬克 2 罗兰·卡明斯基 2 穆尼兹,布雷斯 1 Ascaliz,P。 1 阿维德·贝克尔 1 斯特凡妮娅·科斯坦蒂尼 1 乔瓦尼·德·加斯佩里斯 1 斯特凡·德姆里。 1 保罗·费拉里斯 1 安德烈亚·福米萨诺 1 哈维尔·加雷亚 1 安德烈亚斯·赫齐格 1 尤利亚·利勒 1 戴维·洛伦佐 1 菲利普·莫基什 1 佩雷斯·维加,吉尔伯托 1 哈维尔·罗梅罗 1 帕诺斯·朗多吉安尼 1 儿子Tran Cao 1 弗朗西斯科·苏亚雷斯 1 威廉·沃奇(William W.Wadge)。 全部的 前5名系列 15 逻辑程序设计理论与实践 7 人工智能 6 应用非经典逻辑杂志 三 数学与人工智能年鉴 1 人工智能通信 1 IGPL逻辑期刊 1 计算机科学课堂讲稿 领域 67 计算机科学(68至XX) 28 数学逻辑和基础(03-XX) 三 总体主题;集合(00-XX) 1 历史和传记(01-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 56出版物有被引用276中的次142文件 引用人▼ 年份▼ 命题理论与逻辑程序有着很强的等价性。 兹比尔1132.68321 佩德罗·卡巴拉尔;保罗·费拉里斯 29 2007 时间均衡逻辑:一项调查。 Zbl 1400.68199号 费利西达·阿瓜多;佩德罗·卡巴拉尔;马丁·迪盖兹;吉尔伯托·佩雷斯;康塞普西翁·维达尔 17 2013 最小逻辑程序。 兹比尔1213.68171 佩德罗·卡巴拉尔;大卫·皮尔斯;阿古斯汀·瓦尔弗德 16 2007 时间均衡逻辑:第一种方法。 Zbl 1394.03032号 佩德罗·卡巴拉尔;佩雷斯·维加,吉尔伯托 15 2007 逻辑程序的因果图证明。 Zbl 1309.68028号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;迈克尔·芬克 14 2014 忘记叉子里的辅助原子。 Zbl 1478.68338号 费利西达·阿瓜多;佩德罗·卡巴拉尔;豪尔赫·范丁诺;大卫·皮尔斯;吉尔伯托·佩雷斯;康塞普西翁·维达尔 10 2019 分裂认知逻辑程序。 Zbl 1522.68103号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;路易斯·法利尼亚斯·德尔·塞罗 10 2019 功能答案集编程。 兹比尔1220.68033 佩德罗·卡巴拉尔 9 2011 使用部分平衡逻辑分析和扩展基础良好且部分稳定的语义。 Zbl 1131.68369号 佩德罗·卡巴拉尔;谢尔盖·奥丁佐夫;大卫·皮尔斯;阿古斯汀·瓦尔弗德 9 2006 有限迹上的时态答案集编程。 Zbl 1451.68256号 佩德罗·卡巴拉尔;罗兰·卡明斯基;托尔斯滕·绍布;安娜·舒曼 8 2018 用自我认识的均衡逻辑建立了世界观。 Zbl 1522.68524号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;路易斯·法利尼亚斯·德尔·塞罗 7 2019 泰林戈=ASP+时间。 Zbl 1522.68105号 佩德罗·卡巴拉尔;罗兰·卡明斯基;菲利普·莫基什;托尔斯滕·绍布 7 2019 可拆分时态逻辑程序的循环公式。 Zbl 1327.68058号 费利西达·阿瓜多;佩德罗·卡巴拉尔;吉尔伯托·佩雷斯;康塞普西翁·维达尔 6 2011 逻辑编程和非单调推理。2013年9月15日至19日,第十二届国际会议,LPNMR 2013,西班牙科伦纳。诉讼程序。 Zbl 1272.68012号 6 2013 针对涉及充分和必要原因的查询的复杂性评估。 Zbl 1432.68057号 佩德罗·卡巴拉尔;豪尔赫·范迪诺;迈克尔·芬克 6 2014 平衡逻辑的指称语义。 Zbl 1379.68032号 费利西达·阿瓜多;佩德罗·卡巴拉尔;大卫·皮尔斯;吉尔伯托·佩雷斯;康塞普西翁·维达尔 6 2015 具有内涵集的功能ASP:在Gelfond Zhang骨料中的应用。 Zbl 1451.68255号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;路易斯·法利尼亚斯·德尔·塞罗;大卫·皮尔斯 5 2018 时间平衡模型的自动计算。 Zbl 1377.68060号 佩德罗·卡巴拉尔;斯特凡·德姆里 5 2012 部分平衡逻辑。 Zbl 1125.68113号 佩德罗·卡巴拉尔;谢尔盖·奥丁佐夫;大卫·皮尔斯;阿古斯汀·瓦尔弗德 4 2007 对通用答案集程序的安全概念进行了修订。 Zbl 1258.68026号 佩德罗·卡巴拉尔;大卫·皮尔斯;阿古斯汀·瓦尔弗德 4 2009 埃林戈:认知逻辑程序的求解器。 Zbl 1468.68053号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;哈维尔·加里亚;哈维尔·罗梅罗;托尔斯滕·绍布 4 2020 一种可解释的答案集编程系统。 Zbl 07455713号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;穆尼兹,布雷斯 4 2020 面向度量时态答案集编程。 Zbl 1468.68052号 佩德罗·卡巴拉尔;马丁·迪盖兹;托尔斯滕·绍布;安娜·舒曼 4 2020 强等价时序逻辑程序。 Zbl 1178.68551号 费利西达·阿瓜多;佩德罗·卡巴拉尔;吉尔伯托·佩雷斯;康塞普西翁·维达尔 4 2008 面向有限迹上的动态答案集编程。 Zbl 1522.68102号 佩德罗·卡巴拉尔;马丁·迪盖兹;托尔斯滕·绍布 4 2019 使渔夫的愚蠢谜题正式化。 Zbl 1216.68258号 佩德罗·卡巴拉尔;保罗·E·桑托斯。 三 2011 带否定的析取逻辑程序的纯模型理论语义。 Zbl 1149.68327号 佩德罗·卡巴拉尔;大卫·皮尔斯;帕诺斯·朗多吉安尼;威廉·沃奇(William W.Wadge)。 三 2007 答案集;编程? Zbl 1326.68053号 佩德罗·卡巴拉尔 三 2011 有序析取的一种逻辑特征。 Zbl 1218.68069号 佩德罗·卡巴拉尔 三 2011 具有部分内涵函数的稳定模型的自由逻辑。 Zbl 1432.68430号 佩德罗·卡巴拉尔;德尔塞罗,路易斯·法利尼亚斯;大卫·皮尔斯;阿古斯汀·瓦尔维德 三 2014 Gelfond-Zhang聚合为命题公式。 Zbl 1491.68198号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;托尔斯滕·绍布;塞巴斯蒂安·谢尔霍恩 三 2017 时间平衡逻辑的无限编码。 Zbl 1379.68047号 佩德罗·卡巴拉尔;马丁·迪盖兹;康塞普西翁·维达尔 三 2015 带有选言和因果选择规则的程序的理由。 Zbl 1379.68048号 佩德罗·卡巴拉尔;豪尔赫·范丁诺 三 2016 逻辑程序因果证明中的使能器和抑制器。 Zbl 1379.68049号 佩德罗·卡巴拉尔;豪尔赫·范丁诺 三 2017 模块化答案集编程是一种形式规范语言。 Zbl 1468.68119号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;尤利亚·利勒 三 2020 线性时间平衡逻辑的标准形式。 Zbl 1306.68186号 佩德罗·卡巴拉尔 三 2010 具有功能和默认值的逻辑程序。 Zbl 1111.68378号 佩德罗·卡巴拉尔;戴维·洛伦佐 三 2004 为临时接地铺平道路。 Zbl 1281.68060号 费利西达·阿瓜多;佩德罗·卡巴拉尔;马丁·迪格斯;吉尔伯托·佩雷斯;康塞普西翁·维达尔 2 2012 重温答案集编程中的显式否定。 Zbl 1434.68064号 费利西达·阿瓜多;佩德罗·卡巴拉尔;豪尔赫·范丁诺;大卫·皮尔斯;吉尔伯托·佩雷斯;康塞普西翁·维达尔 2 2019 分裂认知逻辑程序。 Zbl 1522.68104号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;路易斯·法里亚斯·德尔·塞罗 2 2021 基于时间跟踪的度量时间应答集编程。 Zbl 07671883号 佩德罗·卡巴拉尔;马丁·迪盖兹;托尔斯滕·绍布;安娜·舒曼 2 2022 弦和洞:关于空间推理的练习。 Zbl 1385.68045号 佩德罗·卡巴拉尔;保罗桑托斯 2 2006 答案集编程中的偏函数和等式。 Zbl 1185.68149号 佩德罗·卡巴拉尔 2 2008 Gelfond-Zhang聚合为命题公式。 Zbl 1478.68363号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;托尔斯滕·绍布;塞巴斯蒂安·谢尔霍恩 2 2019 具有过去运算符的时间平衡逻辑。 Zbl 1398.03077号 费利西达·阿瓜多;佩德罗·卡巴拉尔;马丁·迪盖兹;吉尔伯托·佩雷斯;康塞普西翁·维达尔 2 2017 时间理论的稳定模型(受邀演讲)。 Zbl 1467.68084号 佩德罗·卡巴拉尔 1 2015 带变量的时态逻辑程序。 Zbl 1379.68288号 费利西达·阿瓜多;佩德罗·卡巴拉尔;吉尔伯托·佩雷斯;康塞普西翁维达尔;马丁·迪盖兹 1 2017 自知答案集编程。 Zbl 1504.68208号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;路易斯·法利尼亚斯·德尔·塞罗 1 2020 下限建立了这里那里的逻辑。 Zbl 1525.68158号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;托尔斯滕·绍布;塞巴斯蒂安·谢尔霍恩 1 2019 语法ASP忘记用叉子。 Zbl 07671874号 费利西达德·阿瓜多;佩德罗·卡巴拉尔;豪尔赫·范丁诺;大卫·皮尔斯;吉尔伯托·佩雷斯;康塞普西翁·维达尔 1 2022 关于部分平衡模型的逻辑和计算。 Zbl 1152.68599号 佩德罗·卡巴拉尔;谢尔盖·奥丁佐夫;大卫·皮尔斯;阿古斯汀·瓦尔弗德 1 2006 有充分的基础和部分稳定的语义逻辑方面。 Zbl 1248.68128号 佩德罗·卡巴拉尔;谢尔盖·奥丁佐夫;大卫·皮尔斯 1 2009 稳定的推理。 Zbl 1400.68203号 佩德罗·卡巴拉尔;大卫·皮尔斯;阿古斯汀·瓦尔弗德 1 2017 动态环境中的多控制系统。 Zbl 1485.68246号 佩德罗·卡巴拉尔;斯特凡妮娅·科斯坦蒂尼;乔瓦尼·德·加斯佩里斯;安德烈亚·福米萨诺 1 2019 路易斯·法利尼亚斯·德尔·塞罗的简短传记。 Zbl 1401.01029号 佩德罗·卡巴拉尔;马丁·迪盖兹;安德烈亚斯·赫齐格;大卫·皮尔斯 1 2017 因果逻辑编程。 Zbl 1357.68028号 佩德罗·卡巴拉尔 1 2012 定时跟踪上的度量时态答案集编程。 Zbl 07671883号 佩德罗·卡巴拉尔;马丁·迪盖兹;托尔斯滕·绍布;安娜·舒曼 2 2022 语法ASP忘记用叉子。 Zbl 07671874号 费利西达·阿瓜多;佩德罗·卡巴拉尔;豪尔赫·范丁诺;大卫·皮尔斯;吉尔伯托·佩雷斯;康塞普西翁·维达尔 1 2022 分裂认知逻辑程序。 Zbl 1522.68104号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;路易斯·法利尼亚斯·德尔·塞罗 2 2021 埃林戈:认知逻辑程序的求解器。 Zbl 1468.68053号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;哈维尔·加里亚;哈维尔·罗梅罗;托尔斯滕·绍布 4 2020 一种可解释的答案集编程系统。 Zbl 07455713号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;穆尼兹,布雷斯 4 2020 面向度量时态答案集编程。 Zbl 1468.68052号 佩德罗·卡巴拉尔;马丁·迪盖兹;托尔斯滕·绍布;安娜·舒曼 4 2020 模块化答案集编程是一种形式规范语言。 Zbl 1468.68119号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;尤利亚·利勒 三 2020 自知答案集编程。 Zbl 1504.68208号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;路易斯·法利尼亚斯·德尔·塞罗 1 2020 忘记叉子里的辅助原子。 Zbl 1478.68338号 费利西达·阿瓜多;佩德罗·卡巴拉尔;豪尔赫·范丁诺;大卫·皮尔斯;吉尔伯托·佩雷斯;康塞普西翁·维达尔 10 2019 分裂认知逻辑程序。 Zbl 1522.68103号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;路易斯·法里亚斯·德尔·塞罗 10 2019 用自认知平衡逻辑建立世界观。 Zbl 1522.68524号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;路易斯·法利尼亚斯·德尔·塞罗 7 2019 泰林戈=ASP+时间。 Zbl 1522.68105号 佩德罗·卡巴拉尔;罗兰·卡明斯基;菲利普·莫基什;托尔斯滕·绍布 7 2019 面向有限迹上的动态答案集编程。 兹比尔1522.68102 佩德罗·卡巴拉尔;马丁·迪盖兹;托尔斯滕·绍布 4 2019 重温答案集编程中的显式否定。 Zbl 1434.68064号 费利西达·阿瓜多;佩德罗·卡巴拉尔;豪尔赫·范丁诺;大卫·皮尔斯;吉尔伯托·佩雷斯;康塞普西翁·维达尔 2 2019 Gelfond Zhang聚合为命题公式。 Zbl 1478.68363号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;托尔斯滕·绍布;塞巴斯蒂安·谢尔霍恩 2 2019 下限建立了这里那里的逻辑。 Zbl 1525.68158号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;托尔斯滕·绍布;塞巴斯蒂安·谢尔霍恩 1 2019 动态环境中的多控制系统。 Zbl 1485.68246号 佩德罗·卡巴拉尔;斯特凡妮娅·科斯坦蒂尼;乔瓦尼·德·加斯佩里斯;安德烈亚·福米萨诺 1 2019 有限迹上的时态答案集编程。 Zbl 1451.68256号 佩德罗·卡巴拉尔;罗兰·卡明斯基;托尔斯滕·绍布;安娜·舒曼 8 2018 具有内涵集的功能性ASP:应用于Gelfond-Zhang骨料。 兹比尔1451.68255 佩德罗·卡巴拉尔;豪尔赫·范丁诺;路易斯·法利尼亚斯·德尔·塞罗;大卫·皮尔斯 5 2018 Gelfond-Zhang聚合为命题公式。 Zbl 1491.68198号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;托尔斯滕·绍布;塞巴斯蒂安·谢尔霍恩 三 2017 逻辑程序因果证明中的使能器和抑制器。 Zbl 1379.68049号 佩德罗·卡巴拉尔;豪尔赫·范丁诺 三 2017 具有过去运算符的时间平衡逻辑。 Zbl 1398.03077号 费利西达德·阿瓜多;佩德罗·卡巴拉尔;马丁·迪盖兹;吉尔伯托·佩雷斯;康塞普西翁·维达尔 2 2017 带变量的时态逻辑程序。 Zbl 1379.68288号 费利西达·阿瓜多;佩德罗·卡巴拉尔;吉尔伯托·佩雷斯;康塞普西翁·维达尔;马丁·迪格斯 1 2017 稳定的推理。 Zbl 1400.68203号 佩德罗·卡巴拉尔;大卫·皮尔斯;阿古斯汀·瓦尔弗德 1 2017 路易斯·法利尼亚斯·德尔·塞罗的简短传记。 Zbl 1401.01029号 佩德罗·卡巴拉尔;马丁·迪盖兹;安德烈亚斯·赫齐格;大卫·皮尔斯 1 2017 带有选言和因果选择规则的程序的理由。 Zbl 1379.68048号 佩德罗·卡巴拉尔;豪尔赫·范丁诺 三 2016 平衡逻辑的指称语义。 Zbl 1379.68032号 费利西达·阿瓜多;佩德罗·卡巴拉尔;大卫·皮尔斯;吉尔伯托·佩雷斯;康塞普西翁·维达尔 6 2015 时间平衡逻辑的无限编码。 兹比尔1379.68047 佩德罗·卡巴拉尔;马丁·迪盖兹;康塞普西翁·维达尔 三 2015 时间理论的稳定模型(受邀演讲)。 Zbl 1467.68084号 佩德罗·卡巴拉尔 1 2015 逻辑程序的因果图证明。 Zbl 1309.68028号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;迈克尔·芬克 14 2014 针对涉及充分和必要原因的查询的复杂性评估。 Zbl 1432.68057号 佩德罗·卡巴拉尔;豪尔赫·范迪诺;芬克,迈克尔 6 2014 具有部分内涵函数的稳定模型的自由逻辑。 Zbl 1432.68430号 佩德罗·卡巴拉尔;德尔塞罗,路易斯·法利尼亚斯;大卫·皮尔斯;阿古斯汀·瓦尔维德 三 2014 时间均衡逻辑:一项调查。 Zbl 1400.68199号 费利西达·阿瓜多;佩德罗·卡巴拉尔;马丁·迪格斯;吉尔伯托·佩雷斯;康塞普西翁·维达尔 17 2013 逻辑编程和非单调推理。2013年9月15日至19日,第十二届国际会议,LPNMR 2013,西班牙科伦纳。诉讼程序。 Zbl 1272.68012号 6 2013 时间平衡模型的自动计算。 Zbl 1377.68060号 佩德罗·卡巴拉尔;斯特凡·德姆里 5 2012 为临时接地铺平道路。 Zbl 1281.68060号 费利西达·阿瓜多;佩德罗·卡巴拉尔;马丁·迪盖兹;吉尔伯托·佩雷斯;康塞普西翁·维达尔 2 2012 因果逻辑编程。 Zbl 1357.68028号 佩德罗·卡巴拉尔 1 2012 功能答案集编程。 Zbl 1220.68033号 佩德罗·卡巴拉尔 9 2011 可拆分时态逻辑程序的循环公式。 Zbl 1327.68058号 费利西达·阿瓜多;佩德罗·卡巴拉尔;吉尔伯托·佩雷斯;康塞普西翁·维达尔 6 2011 将渔夫的愚蠢之谜正式化。 Zbl 1216.68258号 佩德罗·卡巴拉尔;保罗·E·桑托斯。 三 2011 答案集;编程? Zbl 1326.68053号 佩德罗·卡巴拉尔 三 2011 有序析取的一种逻辑特征。 Zbl 1218.68069号 佩德罗·卡巴拉尔 三 2011 线性时间平衡逻辑的标准形式。 Zbl 1306.68186号 佩德罗·卡巴拉尔 三 2010 修订了通用答案集程序的安全概念。 Zbl 1258.68026号 佩德罗·卡巴拉尔;大卫·皮尔斯;阿古斯汀·瓦尔弗德 4 2009 良好且部分稳定的语义逻辑方面。 兹比尔1248.68128 佩德罗·卡巴拉尔;谢尔盖·奥丁佐夫;大卫·皮尔斯 1 2009 强等价时序逻辑程序。 Zbl 1178.68551号 费利西达·阿瓜多;佩德罗·卡巴拉尔;吉尔伯托·佩雷斯;康塞普西翁·维达尔 4 2008 答案集编程中的部分函数和等式。 Zbl 1185.68149号 佩德罗·卡巴拉尔 2 2008 命题理论与逻辑程序有着很强的等价性。 Zbl 1132.68321号 佩德罗·卡巴拉尔;保罗·费拉里斯 29 2007 最小逻辑程序。 Zbl 1213.68171号 佩德罗·卡巴拉尔;大卫·皮尔斯;阿古斯汀·瓦尔弗德 16 2007 时间均衡逻辑:第一种方法。 兹比尔1394.03032 佩德罗·卡巴拉尔;佩雷斯·维加,吉尔伯托 15 2007 部分平衡逻辑。 Zbl 1125.68113号 佩德罗·卡巴拉尔;谢尔盖·奥丁佐夫;大卫·皮尔斯;阿古斯汀·瓦尔弗德 4 2007 带否定的析取逻辑程序的纯模型理论语义。 Zbl 1149.68327号 佩德罗·卡巴拉尔;大卫·皮尔斯;帕诺斯·朗多吉安尼;威廉·W·沃奇。 三 2007 使用部分平衡逻辑分析和扩展基础良好且部分稳定的语义。 Zbl 1131.68369号 佩德罗·卡巴拉尔;谢尔盖·奥丁佐夫;大卫·皮尔斯;阿古斯汀·瓦尔弗德 9 2006 弦和洞:关于空间推理的练习。 Zbl 1385.68045号 佩德罗·卡巴拉尔;保罗桑托斯 2 2006 关于部分均衡模型的逻辑和计算。 Zbl 1152.68599号 佩德罗·卡巴拉尔;谢尔盖·奥丁佐夫;大卫·皮尔斯;阿古斯汀·瓦尔弗德 1 2006 具有功能和默认值的逻辑程序。 Zbl 1111.68378号 佩德罗·卡巴拉尔;戴维·洛伦佐 三 2004 所有引用出版物 前5名被引用出版物 全部的 前5名181位作者引用 38 佩德罗·卡巴拉尔 23 豪尔赫·范丁诺 13 马丁·迪盖兹 12 吉尔伯托·佩雷斯 11 费利西达·阿瓜多 11 托尔斯滕·绍布(Torsten H.Schaub)。 11 康塞普西翁·维达尔 10 路易斯·法利尼亚斯·德尔·塞罗 8 托马斯·艾特 8 斯特凡·沃尔特兰 6 迈克尔·芬克 6 约昂·莱特 6 阿古斯汀·瓦尔弗德 5 里卡多·贡萨阿尔维斯 5 安德烈亚斯·赫齐格 5 克诺尔,马蒂亚斯 4 迈克尔·盖尔芬德 4 尤利亚·利勒 4 帕诺斯·朗多吉安尼 4 安娜·舒曼 4 特鲁什琴斯基,米洛斯奥 三 马塞洛·巴尔杜奇尼 三 斯特凡妮娅·科斯坦蒂尼 三 弗拉基米尔·利夫希茨 三 哈维尔·罗梅罗 三 汉斯·托姆皮茨 三 张元林 2 Jean-Marc阿利奥特 2 安吉洛斯·查拉兰比迪斯 2 马克·德内克 2 沃尔夫冈·法伯 2 豪尔赫·范迪诺 2 大卫·费尔南德斯·杜克 2 扎卡里·汉森 2 阿米莉亚·哈里森 2 马库斯·赫彻 2 汤米·詹胡宁 2 尼古拉·利昂 2 林方珍 2 马可·马拉提亚 2 迈克尔·莫拉克 2 穆尼兹,布雷斯 2 谢尔盖·奥丁佐夫。 2 毛里西奥·奥索里奥。 2 桑托斯,保罗·爱德华多 2 塞巴斯蒂安·谢尔霍恩 2 克劳迪娅·舒尔茨 2 苏·埃兹吉·伊拉兹 2 安东尼斯·特隆波基斯 2 王一松 1 胡安·巴勃罗·阿奎莱拉 1 乔瓦尼·阿蒙多拉 1 华金·阿里亚斯 1 阿拉佐拉·拉米雷斯(Arrazola Ramírez)、何塞·拉蒙·恩里克(JoséRamón Enrique) 1 亚历山德罗·阿塔尔 1 叶夫根尼·巴莱 1 菲利普·巴尔比亚尼 1 迈克尔·巴塞洛缪 1 克里斯托弗·贝亚特里克斯 1 哈拉尔德·贝克 1 阿维德·贝克尔 1 马蒂·伯特霍尔德 1 里卡多·贝尔托卢奇 1 维克多·贝辛 1 Bhagyanath,阿诺普 1 梅胡尔·巴特 1 亚历山大·波奇曼 1 Aysu Bogatarkan 1 约瑟夫·布杜 1 劳拉·博泽利 1 格哈德·布鲁卡 1 雷米·布罗赫宁 1 布罗达,Krysia B。 1 莫里斯·布吕诺格 1 卢克·爱德华·伯克 1 斯蒂芬·巴特勒 1 阿莱西奥·卡皮塔内利 1 JoséLuis Carbarlido 1 Cardenas-Viedma,M.Antonia 1 曼纽尔·卡罗 1 陈卓 1 斯特凡妮亚·康斯坦蒂尼 1 马克西米利亚诺·克里斯蒂亚 1 马克·达勒姆 1 明州道特兰 1 乔瓦尼·德·加斯佩里斯 1 洛伦佐·德劳雷蒂斯 1 詹姆斯·德尔格兰德。 1 罗伯特·德莫洛姆 1 卡明·多达罗 1 帕特里克·多尔蒂 1 斯特凡·埃尔马瑟勒 1 埃斯拉·埃尔登 1 佐尔坦·埃西克 1 弗拉维奥·埃弗拉多 1 吉尔·法夫尔 1 费伊、珍妮·查尔斯 1 克里斯蒂娜·费尔 1 安德烈亚·福米萨诺 1 格哈德·弗里德里希(Gerhard E.Friedrich)。 …还有81位作者 全部的 前5名13篇连载文章中引用 42 逻辑程序设计理论与实践 19 人工智能 9 应用非经典逻辑杂志 6 数学与人工智能年鉴 三 ACM计算逻辑事务 2 纯逻辑与应用逻辑年鉴 2 应用逻辑杂志 1 模糊集与系统 1 计算机与系统科学杂志 1 理论计算机科学 1 自动推理杂志 1 国际智能系统杂志 1 国际近似推理杂志 全部的 前5名在7个字段中引用 134 计算机科学(68至XX) 46 数学逻辑和基础(03-XX) 三 生物学和其他自然科学(92-XX) 2 总体主题;集合(00-XX) 2 历史和传记(01-XX) 1 阶、格、有序代数结构(06-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文