编辑配置文件（在新选项卡中打开） 奥费尔·阿列利 合著者距离 作者ID： 阿里埃利奥费尔 发布日期： 奥费尔·阿列利;O·阿里利。 已编制索引的文档： 67出版物自1996年以来，包括1本书 2作为编辑的贡献 合著者： 14合著者具有57联合出版物 307联合作者 全部的 前5名合著者 12 单作者的 15 安娜·扎曼斯基 13 阿诺·阿夫隆 10 马克·德内克 10 克里斯蒂安·斯特拉瑟 9 莫里斯·布吕诺格 8 杰西·海因尼克 6 安尼马里州博格 6 范·努费伦（Bert Van Nuffelen） 三 克里斯·科内利斯 三 Cortés-Calabuig，阿尔瓦罗 三 Deschrijver，很高兴 2 艾蒂安·凯尔（Etienne E.Kerre）。 1 马丁·卡米纳达。 1 科斯塔斯·斯特凡尼迪斯 全部的 前5名系列 5 数学与人工智能年鉴 4 Studia Logica公司 4 国际近似推理杂志 4 逻辑与计算杂志 4 应用逻辑杂志 三 IGPL逻辑杂志 2 人工智能 1 模糊集与系统 1 理论计算机科学 1 自动化推理杂志 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 人工智能研究杂志 1 国际不确定性、模糊性和基于知识的系统杂志 1 ACM计算逻辑汇刊 1 逻辑研究（伦敦） 1 对逻辑的杰出贡献 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 领域 58 计算机科学（68-XX） 34 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 2 阶、格、有序代数结构（06-XX） 1 历史和传记（01-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 56出版物有被引用525中的次276文件 引用人▼ 年份▼ 逻辑双参数推理。 Zbl 0851.03017号 奥费尔·阿列利;阿诺·阿夫隆 111 1996 四个值的值。 Zbl 0928.03025号 奥费尔·阿列利;阿诺·阿夫隆 82 1998 理想的次协调逻辑。 Zbl 1248.03046号 O·阿里利。;艾夫龙，A。;A.扎曼斯基。 29 2011 有效命题次协调逻辑理论。 Zbl 1448.03001号 阿诺·阿夫隆;Arieli，奥弗;安娜·扎曼斯基 20 2018 三值语义框架中的最大和前最大次一致性。 Zbl 1256.03030号 奥费尔·阿列利;阿诺·阿夫隆;安娜·扎曼斯基 19 2011 四值悖论逻辑。 Zbl 1417.03190号 奥费尔·阿列利;阿诺·阿夫隆 17 2017 数据库修复的距离语义。 Zbl 1126.68034号 奥费尔·阿列利;马克·德内克;莫里斯·布吕诺格 16 2007 基于距离的准一致逻辑。 Zbl 1189.03035号 奥费尔·阿列利 16 2008 三值次协调命题逻辑。 Zbl 1423.03092号 奥费尔·阿列利;阿诺·阿夫隆 13 2015 非单调推理的一般模式：从基本蕴涵到似是而非的关系。 Zbl 0966.03024号 奥费尔·阿列利;阿诺·阿夫隆 11 2000 将优先次协调推理简化为经典蕴涵。 Zbl 1034.03023号 奥费尔·阿列利;马克·德内克 11 2003 处理分级真实性和不精确性的基于双参数的框架。 Zbl 1121.03073号 Deschrijver，很高兴;奥费尔·阿列利;克里斯·科内利斯;艾蒂安·凯尔（Etienne E.Kerre）。 10 2007 扩展逻辑程序的准一致声明语义。 Zbl 1015.68121号 奥费尔·阿列利 10 2002 通过溯源逻辑编程实现数据库的一致集成。 Zbl 1080.68570号 奥费尔·阿列利;马克·德纳克;范·努费伦（Bert Van Nuffelen）;莫里斯·布吕诺格 9 2004 双侧性和不一致性。 Zbl 0994.03021号 Arieli，奥弗;阿诺·阿夫隆 9 2000 用于不完全和不一致推理的最小悖论逻辑。 Zbl 1387.03026号 奥费尔·阿列利;阿诺·阿夫隆 7 2016 论证框架的容错语义。 Zbl 1361.68215号 奥费尔·阿列利 7 2012 关于基于简单对立假设的论证框架的语义。 Zbl 1430.68307号 杰西·海宁克;奥费尔·阿列利 7 2018 通过论证方法进行最大一致性推理。 Zbl 1444.68175号 奥费尔·阿列利;安娜玛丽·博格;克里斯蒂安·斯特拉 7 2018 基于QBF的抽象论证语义形式化。 Zbl 1284.68533号 奥费尔·阿列利;马丁·卡米纳达。 7 2013 用符号量化布尔公式进行次协调推理和优先蕴涵。 Zbl 1367.68274号 奥费尔·阿列利 7 2007 用符号公式修复数据库的计算方法。 Zbl 1097.68549号 奥费尔·阿列利;马克·德内克;范·努费伦（Bert Van Nuffelen）;莫里斯·布吕诺格 6 2006 通过增强的顺序计算和动态推导进行演绎论证。 Zbl 1394.68364号 奥费尔·阿列利;克里斯蒂安·斯特拉 5 2016 对逻辑论证和具有最大一致性的推理之间关系的回顾。 Zbl 1474.68333号 奥费尔·阿列利;安娜玛丽·博格;杰西·海因尼克 5 2019 基于比拉提斯的正方形和三角形。 Zbl 1122.03310号 奥费尔·阿列利;克里斯·科内利斯;Deschrijver，很高兴;艾蒂安·克里 5 2005 基于超序列的论证：关联逻辑RM中的一个实例。 Zbl 1462.68178号 安娜玛丽·博格;Arieli，奥弗;克里斯蒂安·斯特拉 5 2018 简单的基于反向假设的框架。 Zbl 1522.68527号 杰西·海因尼克;奥费尔·阿列利 5 2019 基于序列的规范推理论证。 Zbl 1445.03032号 克里斯蒂安·斯特拉;奥费尔·阿列利 5 2014 简单的基于相反假设的论证框架。 Zbl 1445.68204号 杰西·海因尼克;奥费尔·阿列利 4 2020 通过迭代聚合距离函数，利用优先信息进行推理。 Zbl 1158.68499号 奥费尔·阿列利 4 2008 基于超序列的逻辑论证的广义证明理论方法。 Zbl 07339954号 安娜玛丽·博格;克里斯蒂安·斯特拉;奥费尔·阿列利 4 2021 动态证明系统的逻辑论证。 Zbl 1423.68477号 Arieli，奥弗;克里斯蒂安·斯特拉 4 2019 通过基于序列的论证进行规范推理。 Zbl 1444.03075号 克里斯蒂安·斯特拉;Arieli，奥弗 4 2019 论论证框架中循环的接受。 Zbl 1354.68244号 奥费尔·阿列利 三 2016 用于不确定性推理的基于距离的非确定性语义。 Zbl 1168.68042号 奥费尔·阿列利;安娜·扎曼斯基 三 2009 通过签名公式修复数据库。 兹比尔1202.68132 奥费尔·阿列利;马克·德内克;范·努费伦（Bert Van Nuffelen）;莫里斯·布吕诺格 三 2004 通过矩形双参数进行偏好建模。 Zbl 1235.68231号 奥费尔·阿列利;克里斯·科内利斯;Deschrijver，很高兴 三 2006 逻辑论证的基于序列的表示。 Zbl 1401.68297号 奥费尔·阿列利 三 2013 从不一致的知识库中恢复一致数据的模型理论方法。 Zbl 0922.68113号 奥费尔·阿列利;阿诺·阿夫隆 2 1999 四值双值性的逻辑作用。 Zbl 0945.03537号 奥费尔·阿列利;阿诺·阿夫隆 2 1998 一种基于上下文软件距离语义的数据库修复分级方法。 Zbl 1374.68550号 奥费尔·阿列利;安娜·扎曼斯基 2 2016 基于相似性的不一致容忍逻辑。 兹比尔1306.68179 奥费尔·阿列利;安娜·扎曼斯基 2 2010 具有距离语义的计算机化推理的简化形式。 Zbl 1216.68254号 Arieli，奥弗;安娜·扎曼斯基 2 2011 不同程度的不确定性推理。 Zbl 1180.68268号 O·阿里利。 2 2003 基于远程的数据库修复。 Zbl 1152.68434号 奥费尔·阿列利;马克·德内克;莫里斯·布鲁诺 2 2006 在局部完整数据库中表示部分知识和查询应答。 Zbl 1165.68380号 阿尔瓦罗省科尔特斯·卡拉比格;马克·德内克;奥费尔·阿列利;莫里斯·布吕诺格 2 2006 用经典逻辑建模次协调推理。 Zbl 1044.68147号 奥费尔·阿列利;马克·德内克 2 2002 优先考虑基于对立面假设的简单框架。 Zbl 1464.68338号 奥费尔·阿列利;杰西·海因尼克 2 2020 基于逻辑的形式论证方法。 Zbl 1516.68086号 奥费尔·阿列利;安尼马里州博格;杰西·海因尼克;克里斯蒂安·斯特拉瑟 2 2021 一种基于差异的框架，用于生成不一致容错逻辑。 Zbl 1319.68207号 奥费尔·阿列利;安娜·扎曼斯基 1 2015 不一致数据库系统的上下文软件距离语义。 Zbl 1418.68077号 安娜·扎曼斯基;奥费尔·阿列利;斯特凡尼迪斯，科斯塔斯 1 2014 分级不确定性推理的优先逻辑。 Zbl 1274.68449号 奥费尔·阿列利 1 2003 基于N矩阵度量语义的不确定性推理。 Zbl 1156.68046号 奥费尔·阿列利;安娜·扎曼斯基 1 2008 通过诱拐实现分布式知识库的一致构成。 兹比尔1275.68064 奥费尔·阿列利;范·努费伦（Bert Van Nuffelen）;马克·德内克;莫里斯·布吕诺格 1 2001 逻辑论证框架中的极小性和一致性容限。 Zbl 1464.68339号 奥费尔·阿列利;克里斯蒂安·斯特拉瑟 1 2020 约束论证框架的无冲突和容错语义。 Zbl 1394.68363号 奥费尔·阿列利 1 2015 基于超序列的逻辑论证的广义证明理论方法。 Zbl 07339954号 安娜玛丽·博格;克里斯蒂安·斯特拉;奥费尔·阿列利 4 2021 基于逻辑的形式论证方法。 Zbl 1516.68086号 奥费尔·阿列利;安尼马里州博格;杰西·海因尼克;克里斯蒂安·斯特拉瑟 2 2021 简单的基于相反假设的论证框架。 兹比尔1445.68204 杰西·海因尼克;奥费尔·阿列利 4 2020 优先考虑基于对立面假设的简单框架。 Zbl 1464.68338号 Arieli，奥弗;杰西·海因尼克 2 2020 逻辑论证框架中的极小性和一致性容限。 Zbl 1464.68339号 奥费尔·阿列利;克里斯蒂安·斯特拉瑟 1 2020 回顾逻辑论证与最大一致性推理之间的关系。 Zbl 1474.68333号 奥费尔·阿列利;博格，安妮玛丽;杰西·海因尼克 5 2019 简单的基于反向假设的框架。 Zbl 1522.68527号 杰西·海因尼克;奥费尔·阿列利 5 2019 动态证明系统的逻辑论证。 Zbl 1423.68477号 奥费尔·阿列利;克里斯蒂安·斯特拉 4 2019 通过基于序列的论证进行规范推理。 Zbl 1444.03075号 克里斯蒂安·斯特拉;奥费尔·阿列利 4 2019 有效命题次协调逻辑理论。 Zbl 1448.03001号 阿诺·阿夫隆;奥费尔·阿列利;安娜·扎曼斯基 20 2018 关于基于简单对立假设的论证框架的语义。 Zbl 1430.68307号 杰西·海因尼克;奥费尔·阿列利 7 2018 通过论证方法进行最大一致性推理。 Zbl 1444.68175号 Arieli，奥弗;安娜玛丽·博格;克里斯蒂安·斯特拉 7 2018 基于超序列的论证：关联逻辑RM中的一个实例。 Zbl 1462.68178号 博格，安妮玛丽;奥费尔·阿列利;克里斯蒂安·斯特拉 5 2018 四值悖论逻辑。 Zbl 1417.03190号 奥费尔·阿列利;阿诺·阿夫隆 17 2017 用于不完全和不一致推理的最小悖论逻辑。 Zbl 1387.03026号 奥费尔·阿列利;阿诺·阿夫隆 7 2016 通过增强的连续演算和动态推导进行演绎论证。 Zbl 1394.68364号 奥费尔·阿列利;克里斯蒂安·斯特拉 5 2016 论论证框架中循环的接受。 Zbl 1354.68244号 奥费尔·阿列利 三 2016 一种基于上下文软件距离语义的数据库修复分级方法。 Zbl 1374.68550号 奥费尔·阿列利;安娜·扎曼斯基 2 2016 三值次协调命题逻辑。 Zbl 1423.03092号 奥费尔·阿列利;阿诺·阿夫隆 13 2015 一种基于差异的框架，用于生成不一致容错逻辑。 Zbl 1319.68207号 奥费尔·阿列利;安娜·扎曼斯基 1 2015 约束论证框架的无冲突和容错语义。 Zbl 1394.68363号 奥费尔·阿列利 1 2015 基于序列的规范推理论证。 Zbl 1445.03032号 克里斯蒂安·斯特拉;Arieli，奥弗 5 2014 不一致数据库系统的上下文软件距离语义。 Zbl 1418.68077号 安娜·扎曼斯基;奥费尔·阿列利;斯特凡尼迪斯，科斯塔斯 1 2014 基于QBF的抽象论证语义形式化。 Zbl 1284.68533号 奥费尔·阿列利;马丁·卡米纳达。 7 2013 逻辑论证的基于序列的表示。 Zbl 1401.68297号 奥费尔·阿列利 三 2013 论证框架的容错语义。 兹比尔1361.68215 奥费尔·阿列利 7 2012 理想的次协调逻辑。 Zbl 1248.03046号 O·阿里利。;艾夫龙，A。;A.扎曼斯基。 29 2011 三值语义框架中的最大和前最大次一致性。 Zbl 1256.03030号 奥费尔·阿列利;阿诺·阿夫隆;安娜·扎曼斯基 19 2011 具有距离语义的计算机化推理的简化形式。 Zbl 1216.68254号 奥费尔·阿列利;安娜·扎曼斯基 2 2011 基于相似性的不一致容忍逻辑。 Zbl 1306.68179号 奥费尔·阿列利;安娜·扎曼斯基 2 2010 用于不确定性推理的基于距离的非确定性语义。 Zbl 1168.68042号 奥费尔·阿列利;安娜·扎曼斯基 三 2009 基于距离的次一致逻辑。 兹比尔1189.03035 奥费尔·阿列利 16 2008 通过迭代聚合距离函数，利用优先信息进行推理。 Zbl 1158.68499号 奥费尔·阿列利 4 2008 通过N矩阵度量语义进行不确定性推理。 Zbl 1156.68046号 奥费尔·阿列利;安娜·扎曼斯基 1 2008 数据库修复的距离语义。 Zbl 1126.68034号 奥费尔·阿列利;马克·德内克;莫里斯·布吕诺格 16 2007 一种基于双晶格的框架，用于处理分级的真值和不精确性。 Zbl 1121.03073号 Deschrijver，很高兴;奥费尔·阿列利;克里斯·科内利斯;艾蒂安·凯尔（Etienne E.Kerre）。 10 2007 用符号量化布尔公式进行次协调推理和优先蕴涵。 Zbl 1367.68274号 奥费尔·阿列利 7 2007 用符号公式修复数据库的计算方法。 Zbl 1097.68549号 奥费尔·阿列利;马克·德内克;范·努费伦（Bert Van Nuffelen）;莫里斯·布吕诺格 6 2006 通过矩形双参数进行偏好建模。 Zbl 1235.68231号 奥费尔·阿列利;克里斯·科内利斯;Deschrijver，很高兴 三 2006 基于远程的数据库修复。 Zbl 1152.68434号 奥费尔·阿列利;马克·德内克;莫里斯·布吕诺格 2 2006 局部知识的表示和局部完整数据库中的查询回答。 Zbl 1165.68380号 阿尔瓦罗省科尔特斯·卡拉比格;马克·德内克;奥费尔·阿列利;莫里斯·布鲁诺 2 2006 基于双参数的正方形和三角形。 Zbl 1122.03310号 奥费尔·阿列利;克里斯·科内利斯;Deschrijver，很高兴;艾蒂安·克里 5 2005 通过溯源逻辑编程实现数据库的一致集成。 Zbl 1080.68570号 Arieli，奥弗;马克·德内克;范·努费伦（Bert Van Nuffelen）;莫里斯·布吕诺格 9 2004 通过签名公式修复数据库。 Zbl 1202.68132号 奥费尔·阿列利;马克·德内克;范·努费伦（Bert Van Nuffelen）;莫里斯·布吕诺格 三 2004 将优先次协调推理简化为经典蕴涵。 Zbl 1034.03023号 奥费尔·阿列利;马克·德内克 11 2003 不同程度的不确定性推理。 Zbl 1180.68268号 O·阿里利。 2 2003 分级不确定性推理的优先逻辑。 Zbl 1274.68449号 奥费尔·阿列利 1 2003 扩展逻辑程序的准一致声明语义。 Zbl 1015.68121号 奥费尔·阿列利 10 2002 用经典逻辑建模次协调推理。 兹比尔1044.68147 奥费尔·阿列利;马克·德内克 2 2002 通过诱拐实现分布式知识库的一致构成。 Zbl 1275.68064号 Arieli，奥弗;范·努费伦（Bert Van Nuffelen）;马克·德内克;莫里斯·布吕诺格 1 2001 非单调推理的一般模式：从基本蕴涵到似是而非的关系。 Zbl 0966.03024号 奥费尔·阿列利;阿诺·阿夫隆 11 2000 双侧性和不一致性。 Zbl 0994.03021号 Arieli，奥弗;阿诺·阿夫隆 9 2000 从不一致的知识库中恢复一致数据的模型理论方法。 Zbl 0922.68113号 奥费尔·阿列利;阿诺·阿夫隆 2 1999 四个值的值。 Zbl 0928.03025号 奥费尔·阿列利;阿诺·阿夫隆 82 1998 四值双值性的逻辑作用。 Zbl 0945.03537号 奥费尔·阿列利;阿诺·阿夫隆 2 1998 逻辑双参数推理。 Zbl 0851.03017号 奥费尔·阿列利;阿诺·阿夫隆 111 1996 所有引用出版物 前5名被引用出版物 全部的 前5名296位作者引用 29 奥费尔·阿列利 22 诺里希罗·卡米德 19 海因里希·西奥多 13 阿诺·阿夫隆 12 安娜·扎曼斯基 10 翁贝托·里维奇奥 9 大森，Hitoshi 7 谢尔盖·奥丁佐夫。 5 杰西·海因尼克 5 雅罗斯拉夫·伊戈列维奇·彼得鲁金 5 雅罗斯拉夫·什兰科。 5 斯特拉瑟，基督徒 4 马塞洛·埃斯特班（Marcelo Esteban Coniglio） 4 谢尔盖·德罗比舍维奇 4 阿希姆·荣格 4 马岳 4 何塞·梅恩德斯。 4 毛里西奥·A·奥索里奥。 4 杰玛·罗伯斯 4 埃斯科·图伦 4 斯特凡·沃尔特兰 三 利奥波多·贝尔托西。 三 珍妮·伊夫·贝齐奥 三 安尼马里州博格 三 克里斯·科内利斯 三 Deschrijver，很高兴 三 列奥尼德·尤尔埃维奇·德维亚特金 三 迪迪埃·杜布瓦 三 Dov M.加巴伊。 三 约翰·格兰特。 三 格里戈耶夫，奥列格·米哈·洛维奇 三 斯蒂芬·亨纳（Stephen J.Hegner）。 三 亚历杭德罗·埃尔南德斯·特洛 三 安东尼·亨特 三 梁飞 三 林，左权 三 皮埃尔·侯爵 三 克里斯蒂安·莫里纳罗 三 Movsisyan、Yuri Movses 三 雷因哈德·马斯肯斯（Reinhard A.Muskens）。 三 桂林齐 三 丹尼尔·斯科特 三 斯坦尼斯拉夫·斯佩兰斯基。 三 马蒂亚斯·蒂姆 三 汉斯·托姆皮茨 三 亚历克西斯·苏基亚斯 三 斯特凡·温斯坦 三 克劳迪娅·塞佩达 三 尤尼·佐哈尔 2 佐奥州阿尔坎塔拉 2 瓦哈根·A·阿斯兰扬。 2 菲利普·贝斯纳德 2 亚历山大·波奇曼 2 维罗尼察博尔贾·马西亚斯 2 费利克斯·布 2 莫里斯·布吕诺格 2 卡布雷尔，莱昂纳多·曼努埃尔 2 卡洛斯·卡莱罗 2 JoséLuis Carbarlido 2 查克拉博蒂，米希尔·库马尔 2 马克·德内克 2 西尔维·多特 2 沃尔夫冈德沃夏克 2 弗朗西斯科·埃斯特瓦 2 装配，梅尔文·克里斯 2 路易斯·戈多 2 朱塞佩·格雷科 2 塞尔吉奥·格雷科 2 安德烈亚斯·赫齐格 2 帕斯卡·希茨勒 2 汤姆·亚什·雅克 2 拉蒙·詹萨纳 2 马蒂·Järvisalo 2 Kern Isberner，加布里埃尔 2 塞巴斯蒂安·科尼埃奇尼 2 辽、北水 2 Yann Loyer 2 梅尔特姆·厄兹蒂尔克 2 亚历山德拉·帕尔米吉亚诺 2 亨利·普拉德。 2 希拉里·普里斯特利（Hilary A.Priestley）。 2 阿莱什·普尔特尔 2 戴维·里普利 2 罗德里格斯（Rodríguez，J.Tinguaro） 2 巴巴克·萨利米 2 乔治·斯巴多利尼 2 肯尼斯·斯基巴 2 丹尼尔，坚持 2 翁贝托·斯特拉契亚 2 纳塔尔·叶夫娜·托莫娃 2 弗朗西丝卡·托尼 2 亚当·特雷布斯 2 迪米特·瓦卡洛夫 2 伊万·约瑟·瓦尔津扎克 2 约翰·彼得·沃纳 2 Dmitry V.扎伊采夫。 2 周春来 1 埃曼·阿克 1 精木赤山 1 乔瓦尼·阿蒙多拉 …和196多位作者 全部的 前5名引用于39连载 36 Studia Logica公司 15 人工智能 15 哲学逻辑杂志 15 应用非经典逻辑杂志 14 国际近似推理杂志 14 数学与人工智能年鉴 10 泛逻辑 7 模糊集与系统 7 逻辑与逻辑哲学 7 符号逻辑述评 7 Logicheskie Issledovaniya公司 6 合成 6 理论计算机科学 5 代数普遍性 5 应用逻辑杂志 4 软计算 4 逻辑程序设计理论与实践 三 信息科学 三 圣母院形式逻辑杂志 三 纯逻辑与应用逻辑年鉴 三 逻辑、语言与信息杂志 2 逻辑部分公告 2 数学逻辑季刊（MLQ） 2 国际不确定性、模糊性和基于知识的系统杂志 2 多值逻辑与软计算杂志 1 代数与逻辑 1 演示数学 1 自动化推理杂志 1 国际智能系统杂志 1 AI通信 1 运筹学年鉴 1 应用的分类结构 1 国际计算机视觉杂志 1 约束条件 1 计算系统理论 1 托波伊 1 中欧数学杂志 1 智能与模糊系统杂志 1 欧洲数学杂志 全部的 前5名13个领域引用 194 数学逻辑和基础（03-XX） 112 计算机科学（68-XX） 22 阶、格、有序代数结构（06-XX） 4 一般代数系统（08-XX） 三 总体主题；集合（00-XX） 三 范畴理论；同调代数（18-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 历史和传记（01-XX） 2 组合数学（05-XX） 2 运筹学、数学规划（90-XX） 1 数值分析（65-XX） 1 生物学和其他自然科学（92-XX） 1 系统理论；控制（93至XX） 按年份列出的引文