编辑配置文件（在新选项卡中打开） 路易斯·法利尼亚斯·德尔·塞罗 合著者距离 作者ID： farinas-del-cerro.luis公司 发布日期： 路易斯·法利尼亚斯·德尔·塞罗；Fariñas del Cerro，L。；路易斯·法里纳斯·德尔·塞罗；德尔塞罗，路易斯·法利尼亚斯；路易斯·法利尼亚斯·德尔·塞罗；路易斯·法利尼亚斯·德尔·塞罗；Farinas del Cerro，L。；路易斯·法里纳斯·德尔塞罗；路易斯·法利尼亚斯·德尔塞罗；路易斯·法里纳斯·德尔·塞罗；路易斯·法利尼亚斯·德尔·塞罗；Farinas Del Cerro，L。 更多。。。较少的 主页： 网址：https://www.irit.fr/~路易斯。法里纳斯/ 外部链接： MGP公司·数据库许可证·ID参考·论文.fr 集体成员： 莱亚·桑贝 已编制索引的文档： 93出版物自1977年以来，包括2本书和2个附加arXiv预打印 7作为编辑的贡献 传记参考文献： 1出版物 合著者： 57位合著者具有90联合出版物 1019合著作者 全部的 前5名合著者 10 单作者的 20 安德烈亚斯·赫齐格 9 菲利普·巴尔比亚尼 9 罗伯特·德莫洛姆 9 豪尔赫·范丁诺 7 佩德罗·卡巴拉尔 6 马丁·迪盖兹 6 奥利维尔·盖斯克特 5 马塞洛·埃斯特班（Marcelo Esteban Coniglio） 5 牛顿，马奎斯·佩隆 4 Jean-Marc阿利奥特 4 克劳德特·凯罗尔 4 帕特里斯·恩贾伯特 4 Marie-Christine，Lagasquie-Schiex 三 埃里克·奥杜罗 三 加布里埃拉·克罗科 三 安东尼奥·弗里亚斯·德尔加多 三 纳吉·奥贝德 三 马蒂·彭顿 三 苏·埃兹吉·伊拉兹 2 安娜·R·卡瓦利。 2 纳塔莉·切特库蒂·斯佩兰迪奥 2 玛尔塔·恰尔迪亚·梅耶 2 Jean-François康多塔 2 玛丽亚·尤金妮亚·科内霍 2 尤尔根·迪克斯 2 乌尔里希·富巴赫 2 多米尼克·朗金 2 V·卢加登。 2 杰苏斯·麦地那 2 或者艾瓦·奥斯卡。 2 亨利·普拉德。 2 廷切夫、廷科 2 迪米特·瓦卡雷洛夫 2 阿古斯丁，巴尔韦德 1 阿维德·贝克尔 1 马里奥·博里略 1 沃尔特·亚历山大·卡尼埃利 1 马科斯·亚历山大·卡斯蒂略 1 迪迪埃·杜布瓦 1 文森特·杜加特 1 大卫·福索 1 法夫尔，吉勒斯 1 费伊、珍妮·查尔斯 1 爱德华·赫尔曼·海尔 1 井上，胜美 1 杰罗姆·朗 1 安妮·洛佩兹 1 马梅达·利马，马奎斯 1 玛尔塔·梅耶尔·恰尔迪亚 1 杰罗姆·梅根 1 安德烈斯·拉乔（Andres R.Raggio）。 1 奥马尔·里菲 1 穆罕默德·萨哈德 1 托尔斯滕·绍布（Torsten H.Schaub）。 1 安娜·舒曼 1 奥利维·索德特 1 维贝尔，J。 全部的 前5名系列 5 逻辑与分析。Nouvelle Série公司 5 应用非经典逻辑杂志 4 逻辑与计算杂志 三 人工智能 三 理论计算机科学 2 模糊集与系统 2 RAIRO，Informatique Théorique公司 2 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 2 逻辑程序设计杂志 2 塞贡达·埃波卡 2 技术与科学信息 2 数学与人工智能年鉴 2 IGPL逻辑杂志 2 逻辑程序设计理论与实践 2 应用逻辑杂志 2 计算机科学课堂讲稿 2 逻辑与计算研究 2 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 1 信息处理信件 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 新一代计算 1 国际智能系统杂志 1 计算机基础理论 1 通用计算机科学杂志 1 逻辑与逻辑哲学 1 理论计算机科学电子笔记 1 Revue Française d’Automatique、Informatique、Recherche Opérationnelle（RAIRO）。信息学 全部的 前5名领域 78 数理逻辑与基础（03-XX） 65 计算机科学（68至XX） 5 总体主题；集合（00-XX） 5 生物学和其他自然科学（92-XX） 三 几何图形（51至XX） 1 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 77出版物有被引用379中的次269文件 引用人▼ 年份▼ DAL–数据分析逻辑。 Zbl 0565.68032号 路易斯·法利尼亚斯·德尔·塞罗；或者鄂尔多斯卡 26 1985 MOLOG：用模式逻辑扩展PROLOG的系统。 Zbl 0598.68063号 Fariñas del Cerro，L。 24 1986 可能性理论的模态分析。 Zbl 0793.03019号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 22 1991 粗糙集、双重模糊集和模态逻辑。不可分辨性和部分信息的模糊性。 Zbl 0593.03032号 路易斯·法里纳斯·德尔·塞罗；亨利·普拉德 17 1986 子句形式的模态分解。 Zbl 0669.03009号 帕特里斯·恩贾尔伯特；路易斯·法利尼亚斯·德尔·塞罗 16 1989 从基于排序的非单调推理到条件逻辑。 Zbl 0807.68083号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格；杰罗姆·朗 13 1994 条件句：从哲学到计算机科学。 Zbl 1001.03503号 11 1995 关于模态Horn子句可满足性的复杂性的注记。 Zbl 0624.03010号 路易斯·法利尼亚斯·德尔·塞罗；马蒂·彭顿 10 1987 关联几何的模态逻辑。 Zbl 0868.03009号 菲利普·巴尔比亚尼；路易斯·法利尼亚斯·德尔·塞罗；廷切夫、廷科；迪米特·瓦卡雷洛夫 10 1997 分裂认知逻辑程序。 兹比尔1522.68103 佩德罗·卡巴拉尔；豪尔赫·范丁诺；路易斯·法利尼亚斯·德尔·塞罗 10 2019 结合经典逻辑和直觉逻辑。或者：作为条件的直觉暗示。 兹伯利0896.03010 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 10 1996 模态逻辑的一种简单推导方法。 Zbl 0515.03009号 路易斯·法里纳斯·德尔·塞罗 8 1982 某些模态系统的有限非确定性语义。 Zbl 1398.03089号 马塞洛·科尼格里奥（Marcelo E.Coniglio）。；路易斯·法利尼亚斯·德尔·塞罗；佩隆，牛顿·M·。 8 2015 语法逻辑。 Zbl 0728.03025号 路易斯·法利尼亚斯·德尔·塞罗；马蒂·彭顿 8 1988 分辨率模态逻辑。 Zbl 0631.03007号 路易斯·法利尼亚斯·德尔·塞罗 7 1985 用自认知平衡逻辑建立世界观。 Zbl 1522.68524号 佩德罗·卡巴拉尔；豪尔赫·范丁诺；路易斯·法利尼亚斯·德尔·塞罗 7 2019 具有传播规则和结构规则的模态表。 Zbl 0926.03020号 马科斯·卡斯蒂略。；路易斯·法利尼亚斯·德尔·塞罗；奥利维尔·盖斯克特；安德烈亚斯·赫齐格 7 1997 线性时序逻辑的一种判定方法。 Zbl 0547.03008号 安娜·R·卡瓦利。；路易斯·法利尼亚斯·德尔·塞罗 7 1984 用于生成假设的推理规则。 Zbl 0745.68088号 罗伯特·德莫洛姆；路易斯·法利尼亚斯·德尔·塞罗 6 1991 Lotrec：用于模态和描述逻辑的通用tableau证明程序。 Zbl 0988.68592号 路易斯·法利尼亚斯·德尔·塞罗；大卫·福索；奥利维尔·盖斯克特；安德烈亚斯·赫齐格；多米尼克·朗金 6 2001 基于权变的均衡逻辑。 Zbl 1327.03015号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 6 2011 块代数的一个易处理的子类：约束传播和预凸关系。 Zbl 0964.68126号 菲利普·巴尔比亚尼；Jean-François康多塔；路易斯·法利尼亚斯·德尔·塞罗 6 1999 依赖逻辑的序列。 Zbl 0799.03032号 Fariñas del Cerro，L。；V·卢加登。 5 1991 编程的内涵逻辑。 Zbl 0787.03018号 5 1992 可牵引性产生块代数。 Zbl 1021.68087号 菲利普·巴尔比亚尼；Jean-François康多塔；路易斯·法利尼亚斯·德尔·塞罗 5 2002 具有递归攻击和基于证据的支持的论证框架。 Zbl 1508.68357号 克劳德特·凯罗尔；豪尔赫·范丁诺；路易斯·法利尼亚斯·德尔·塞罗；Marie-Christine，Lagasquie-Schiex 5 2018 持续时间演算的混合决策方法。 Zbl 0965.03013号 纳塔利·切库蒂-塞拉迪奥；路易斯·法利尼亚斯·德尔·塞罗 5 2000 自认知均衡逻辑和认知规范。 Zbl 1432.68453号 苏·埃兹吉·伊拉兹；路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 5 2020 具有组合和交集的相对模态逻辑的完全公理化。 Zbl 0923.03043号 菲利普·巴尔比亚尼；路易斯·法利尼亚斯·德尔·塞罗 5 1998 具有内涵集的功能性ASP：应用于Gelfond-Zhang骨料。 兹比尔1451.68255 佩德罗·卡巴拉尔；豪尔赫·范丁诺；路易斯·法利尼亚斯·德尔·塞罗；大卫·皮尔斯 5 2018 模式驱动模式表的一般框架。 Zbl 0997.03010号 路易斯·法利尼亚斯·德尔·塞罗；奥利维尔·加斯奎特 4 2002 质量独立的路线图。 Zbl 0943.03013号 杜布瓦，D。；Fariñas del Cerro，L。；A.Herzig。；H.普拉德。 4 1999 解析模态逻辑。 Zbl 0582.68057号 路易斯·法利尼亚斯·德尔·塞罗 4 1985 赫布兰德的财产。 Zbl 0589.03004号 玛尔塔·恰尔迪亚；路易斯·法利尼亚斯·德尔·塞罗 4 1986 线性模态推论。 Zbl 0654.03007号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 4 1988 勘误表和补遗：“某些模态系统的有限非确定性语义”。 Zbl 1398.03090号 马塞洛·科尼格里奥（Marcelo E.Coniglio）。；路易斯·法利尼亚斯·德尔·塞罗；佩隆，牛顿·M·。 4 2016 直觉模态逻辑的一些结果。 Zbl 0544.03001号 路易斯·法利尼亚斯·德尔·塞罗；安德烈斯·拉吉奥（Andrés R.Raggio）。 4 1983 干扰逻辑=条件逻辑+框架公理。 Zbl 0805.68113号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 三 1994 勘误表：“DAL–数据分析逻辑”。 Zbl 0618.68032号 路易斯·法利尼亚斯·德尔·塞罗；或者鄂尔多斯卡 三 1986 上下文否定和矛盾推理。 Zbl 0742.68052号 沃尔特·亚历山大·卡尼埃利；路易斯·法利尼亚斯·德尔·塞罗；马梅达·利马，马奎斯 三 1991 获取模态逻辑中的平衡模型。 Zbl 1328.03018号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格；苏·埃兹吉·伊拉兹 三 2014 平衡逻辑和动态逻辑相结合。 Zbl 1405.68352号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格；苏·埃兹吉·伊拉兹 三 2013 逻辑模型中的非原则性解决方案。 Zbl 0566.03007号 路易斯·法利尼亚斯·德尔·塞罗 三 1984 机械几何元素。（巴黎圣母院） Zbl 0871.51010号 菲利普·巴尔比亚尼；文森特·杜加特；路易斯·法利尼亚斯·德尔·塞罗；安妮·洛佩兹 三 1994 具有部分内涵函数的稳定模型的自由逻辑。 兹比尔1432.68430 佩德罗·卡巴拉尔；德尔塞罗，路易斯·法利尼亚斯；大卫·皮尔斯；阿古斯汀·瓦尔维德 三 2014 对“句子\（P\）是关于宾语\（c\）”这类句子进行逻辑表征。 Zbl 1018.03008号 罗伯特·德莫洛姆；路易斯·法利尼亚斯·德尔·塞罗 2 2000 在合作对话中重建信仰。 Zbl 0927.03033号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格；多米尼克·朗金；奥马尔·里菲 2 1998 基于Tableaux的汇流和密度模态逻辑的决策程序。 Zbl 0942.03009号 路易斯·法利尼亚斯·德尔·塞罗；奥利维尔·盖斯克特 2 1999 平衡模型的模态逻辑。 Zbl 1347.68041号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 2 2011 通过完备性理论将一阶公式转换为基本公式。 Zbl 1436.03100号 罗伯特·德莫洛姆；路易斯·法利尼亚斯·德尔·塞罗；纳吉·奥贝德 2 2016 生物系统的逻辑建模。 Zbl 1294.92001年 2 2014 具有高阶攻击和支持的论证框架的基于结构的语义。 Zbl 1430.68301号 克劳德特·凯罗尔；豪尔赫·范丁诺；路易斯·法里纳斯·德尔·塞罗；Lagasquie-Schiex，M.克里斯汀 2 2018 具有高阶攻击和支持的论证框架的基于结构的语义。 Zbl 1440.68261号 克劳德特·凯罗尔；豪尔赫·范丁诺；路易斯·法里纳斯·德尔塞罗；拉加斯奎·希克斯（M-Christine Lagasquie-Schiex） 2 2018 量化和依赖逻辑。 Zbl 0897.03023号 Fariñas del Cerro，L。；V·卢加登。 2 1997 分裂认知逻辑程序。 Zbl 1522.68104号 佩德罗·卡巴拉尔；豪尔赫·范丁诺；路易斯·法利尼亚斯·德尔·塞罗 2 2021 多伴随代数的一个逻辑特征。 Zbl 1522.03343号 科内霍，M.尤金尼亚；路易斯·法利尼亚斯·德尔·塞罗；杰苏斯·麦地那 1 2021 不完备数据库中演绎的代数评估方法。 Zbl 0647.68111号 Demolombe，R。；Fariñas del Cerro，L。 1 1988 临时后勤。Semostive et validation de programs paralliles系列。 Zbl 0702.68050号 埃里克·奥杜罗；路易斯·法里纳斯·德尔·塞罗；帕特里斯·恩贾尔伯特 1 1989 模态表的最小结构：一些例子。 Zbl 1005.03025号 路易斯·法利尼亚斯·德尔·塞罗；奥利维尔·盖斯克特 1 2000 射影几何中的图解推理。 Zbl 0949.03008号 菲利普·巴尔比亚尼；路易斯·法利尼亚斯·德尔·塞罗 1 1999 所有其他事物都相等：关于条件逻辑中的惯性概念。 兹比尔0945.03014 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 1 1997 双状态逻辑。 Zbl 1357.68033号 路易斯·法利尼亚斯·德尔·塞罗；大卫·皮尔斯；阿古斯丁，巴尔韦德 1 2012 关于给定实体的信息：从语义到自动推导。 Zbl 1222.68360号 罗伯特·德莫洛姆；路易斯·法利尼亚斯·德尔·塞罗 1 2010 完全正确的模式。 兹比尔0576.68008 路易斯·法里纳斯·德尔·塞罗 1 1984 持续时间演算的一种决策方法。 Zbl 0968.68146号 纳塔利·切库提·斯佩兰迪奥；路易斯·法利尼亚斯·德尔·塞罗 1 1999 Les modalites de la更正总计。 Zbl 0506.03004号 路易斯·法里纳斯·德尔·塞罗 1 1982 逻辑模型与处理通信者。 Zbl 0509.03010号 Farinas Del Cerro，L。 1 1982 结构、结果关系和逻辑。 Zbl 0823.03013号 克罗科，G。；Fariñas del Cerro，L。 1 1994 具有递归攻击的论证框架中的有效攻击。 Zbl 1511.68264号 凯罗尔，C。；J.范丁诺。；Fariñas del Cerro，L。；Lagasquie-Schiex，M.-C。 1 2021 生物系统的时间逻辑建模。 Zbl 1429.92071号 Jean-Marc阿利奥特；罗伯特·德莫洛姆；马丁·迪盖兹；路易斯·法利尼亚斯·德尔·塞罗；吉尔·法夫尔；费伊、珍妮·查尔斯；纳吉·奥贝德；奥利维·索德特 1 2016 分子相互作用图上的外推推理。 Zbl 1429.68265号 Jean-Marc阿利奥特；罗伯特·德莫洛姆；路易斯·法利尼亚斯·德尔塞罗；马丁·迪盖兹；纳吉·奥贝德 1 2018 为这里和那里的模态逻辑奠定基础。 Zbl 1513.03038号 菲利普·巴尔比亚尼；马丁·迪盖兹；路易斯·法利尼亚斯·德尔·塞罗 1 2019 程序设计与逻辑时间。二、。验证算法并行。 Zbl 0656.03019号 埃里克·奥杜罗；路易斯·法利尼亚斯·德尔·塞罗；帕特里斯·恩贾尔伯特 1 1988 反事实：非单调推理的基础。顺序系统。 Zbl 0916.03022号 加布里埃拉·克罗科；路易斯·法利尼亚斯·德尔·塞罗 1 1996 修订、更新和干涉。 Zbl 0915.03026号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 1 1996 自知答案集编程。 兹比尔1504.68208 佩德罗·卡巴拉尔；豪尔赫·范丁诺；路易斯·法利尼亚斯·德尔·塞罗 1 2020 具有非确定性语义的模态逻辑。二： 量化案例。 兹比尔07677428 马塞洛·科尼格里奥（Marcelo E.Coniglio）。；路易斯·法利尼亚斯·德尔·塞罗；佩隆，牛顿·马克 1 2022 具有非确定性语义的模态逻辑。二： 量化案例。 Zbl 07677428号 马塞洛·科尼格里奥（Marcelo E.Coniglio）。；路易斯·法利尼亚斯·德尔·塞罗；佩隆，牛顿·马克 1 2022 分裂认知逻辑程序。 Zbl 1522.68104号 佩德罗·卡巴拉尔；豪尔赫·范丁诺；路易斯·法利尼亚斯·德尔·塞罗 2 2021 多伴随代数的一个逻辑特征。 Zbl 1522.03343号 科内霍，M.尤金尼亚；路易斯·法利尼亚斯·德尔·塞罗；杰苏斯·麦地那 1 2021 具有递归攻击的论证框架中的有效攻击。 Zbl 1511.68264号 凯罗尔，C。；J.范丁诺。；Fariñas del Cerro，L。；Lagasquie-Schiex，M.-C。 1 2021 自认知均衡逻辑和认知规范。 Zbl 1432.68453号 苏·埃兹吉·伊拉兹；路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 5 2020 自知答案集编程。 Zbl 1504.68208号 佩德罗·卡巴拉尔；豪尔赫·范丁诺；路易斯·法利尼亚斯·德尔·塞罗 1 2020 分裂认知逻辑程序。 Zbl 1522.68103号 佩德罗·卡巴拉尔；豪尔赫·范丁诺；路易斯·法利尼亚斯·德尔·塞罗 10 2019 用自认知平衡逻辑建立世界观。 Zbl 1522.68524号 佩德罗·卡巴拉尔；豪尔赫·范丁诺；路易斯·法利尼亚斯·德尔·塞罗 7 2019 为这里和那里的模态逻辑奠定基础。 Zbl 1513.03038号 菲利普·巴尔比亚尼；马丁·迪盖兹；路易斯·法利尼亚斯·德尔·塞罗 1 2019 具有递归攻击和基于证据的支持的论证框架。 Zbl 1508.68357号 克劳德特·凯罗尔；豪尔赫·范丁诺；路易斯·法利尼亚斯·德尔·塞罗；Marie-Christine，Lagasquie-Schiex 5 2018 具有内涵集的功能性ASP：应用于Gelfond-Zhang骨料。 Zbl 1451.68255号 佩德罗·卡巴拉尔；豪尔赫·范丁诺；路易斯·法利尼亚斯·德尔·塞罗；大卫·皮尔斯 5 2018 具有高阶攻击和支持的论证框架的基于结构的语义。 Zbl 1430.68301号 克劳德特·凯罗尔；豪尔赫·范丁诺；路易斯·法里纳斯·德尔·塞罗；Lagasquie-Schiex，M.克里斯汀 2 2018 具有高阶攻击和支持的论证框架的基于结构的语义。 Zbl 1440.68261号 克劳德特·凯罗尔；豪尔赫·范丁诺；路易斯·法里纳斯·德尔塞罗；拉加斯奎·希克斯（M-Christine Lagasquie-Schiex） 2 2018 分子相互作用图上的推理。 Zbl 1429.68265号 Jean-Marc阿利奥特；罗伯特·德莫洛姆；路易斯·法利尼亚斯·德尔塞罗；马丁·迪盖兹；纳吉·奥贝德 1 2018 勘误表和附录：“某些模态系统的有限非确定性语义”。 Zbl 1398.03090号 马塞洛·科尼格里奥（Marcelo E.Coniglio）。；路易斯·法利尼亚斯·德尔·塞罗；佩隆，牛顿·M。 4 2016 通过完备性理论将一阶公式转换为基本公式。 Zbl 1436.03100号 罗伯特·德莫洛姆；路易斯·法利尼亚斯·德尔·塞罗；纳吉·奥贝德 2 2016 生物系统的时间逻辑建模。 Zbl 1429.92071号 Jean-Marc阿利奥特；罗伯特·德莫洛姆；马丁·迪盖兹；路易斯·法利尼亚斯·德尔·塞罗；吉尔·法夫尔；费伊、珍妮·查尔斯；纳吉·奥贝德；奥利维·索德特 1 2016 某些模态系统的有限非确定性语义。 Zbl 1398.03089号 马塞洛·科尼格里奥（Marcelo E.Coniglio）。；路易斯·法利尼亚斯·德尔·塞罗；佩隆，牛顿·M·。 8 2015 获取模态逻辑中的平衡模型。 Zbl 1328.03018号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格；苏·埃兹吉·伊拉兹 三 2014 具有部分内涵函数的稳定模型的自由逻辑。 Zbl 1432.68430号 佩德罗·卡巴拉尔；德尔塞罗，路易斯·法利尼亚斯；大卫·皮尔斯；阿古斯汀·瓦尔维德 三 2014 生物系统的逻辑建模。 Zbl 1294.92001年 2 2014 平衡逻辑和动态逻辑相结合。 Zbl 1405.68352号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格；苏·埃兹吉·伊拉兹 三 2013 双状态逻辑。 Zbl 1357.68033号 路易斯·法利尼亚斯·德尔·塞罗；大卫·皮尔斯；阿古斯丁，巴尔韦德 1 2012 基于权变的均衡逻辑。 Zbl 1327.03015号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 6 2011 平衡模型的模态逻辑。 Zbl 1347.68041号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 2 2011 关于给定实体的信息：从语义到自动推断。 Zbl 1222.68360号 罗伯特·德莫洛姆；路易斯·法利尼亚斯·德尔·塞罗 1 2010 可牵引性产生块代数。 Zbl 1021.68087号 菲利普·巴尔比亚尼；Jean-François康多塔；路易斯·法利尼亚斯·德尔·塞罗 5 2002 模式驱动模式表的一般框架。 Zbl 0997.03010号 路易斯·法利尼亚斯·德尔·塞罗；奥利维尔·盖斯克特 4 2002 Lotrec：用于模态和描述逻辑的通用tableau证明程序。 Zbl 0988.68592号 路易斯·法利尼亚斯·德尔·塞罗；大卫·福索；奥利维尔·盖斯克特；安德烈亚斯·赫齐格；多米尼克·朗金 6 2001 持续时间演算的混合决策方法。 Zbl 0965.03013号 纳塔利切特库蒂·塞兰迪奥；路易斯·法利尼亚斯·德尔·塞罗 5 2000 “句子（P）是关于宾语（c）”这类句子的逻辑特征。 Zbl 1018.03008号 罗伯特·德莫洛姆；路易斯·法利尼亚斯·德尔·塞罗 2 2000 模态表的最小结构：一些例子。 Zbl 1005.03025号 路易斯·法利尼亚斯·德尔·塞罗；奥利维尔·盖斯克特 1 2000 块代数的一个易处理的子类：约束传播和预凸关系。 Zbl 0964.68126号 菲利普·巴尔比亚尼；Jean-François康多塔；路易斯·法利尼亚斯·德尔·塞罗 6 1999 质量独立的路线图。 Zbl 0943.03013号 杜布瓦，D。；Fariñas del Cerro，L。；A.Herzig。；H.普拉德。 4 1999 基于Tableaux的汇流和密度模态逻辑的决策程序。 Zbl 0942.03009号 路易斯·法利尼亚斯·德尔·塞罗；奥利维尔·盖斯克特 2 1999 射影几何中的图解推理。 Zbl 0949.03008号 菲利普·巴尔比亚尼；路易斯·法利尼亚斯·德尔·塞罗 1 1999 持续时间演算的一种决策方法。 Zbl 0968.68146号 纳塔利·切库提·斯佩兰迪奥；路易斯·法利尼亚斯·德尔·塞罗 1 1999 具有合成和交集的相对模态逻辑的完全公理化。 Zbl 0923.03043号 菲利普·巴尔比亚尼；路易斯·法利尼亚斯·德尔·塞罗 5 1998 在合作对话中重建信仰。 Zbl 0927.03033号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格；多米尼克·朗金；奥马尔·里菲 2 1998 关联几何的模态逻辑。 Zbl 0868.03009号 菲利普·巴尔比亚尼；路易斯·法利尼亚斯·德尔·塞罗；廷切夫、廷科；迪米特·瓦卡雷洛夫 10 1997 具有传播规则和结构规则的模态表。 Zbl 0926.03020号 马科斯·卡斯蒂略。；路易斯·法利尼亚斯·德尔·塞罗；奥利维尔·盖斯克特；安德烈亚斯·赫齐格 7 1997 量化和依赖逻辑。 Zbl 0897.03023号 Fariñas del Cerro，L。；V·卢加登。 2 1997 所有其他事物都相等：关于条件逻辑中的惯性概念。 Zbl 0945.03014号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 1 1997 结合经典逻辑和直觉逻辑。或者：作为条件的直觉暗示。 兹伯利0896.03010 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 10 1996 反事实：非单调推理的基础。顺序系统。 兹伯利0916.03022 加布里埃拉·克罗科；路易斯·法利尼亚斯·德尔·塞罗 1 1996 修订、更新和干扰。 兹伯利0915.03026 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 1 1996 条件句：从哲学到计算机科学。 Zbl 1001.03503号 11 1995 从基于排序的非单调推理到条件逻辑。 Zbl 0807.68083号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格；杰罗姆·朗 13 1994 干扰逻辑=条件逻辑+框架公理。 Zbl 0805.68113号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 三 1994 机械几何元素。（巴黎圣母院） Zbl 0871.51010号 菲利普·巴尔比亚尼；文森特·杜加特；路易斯·法利尼亚斯·德尔·塞罗；安妮·洛佩兹 三 1994 结构、结果关系和逻辑。 Zbl 0823.03013号 克罗科，G。；Fariñas del Cerro，L。 1 1994 编程的内涵逻辑。 Zbl 0787.03018号 5 1992 可能性理论的模态分析。 Zbl 0793.03019号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 22 1991 用于生成假设的推理规则。 Zbl 0745.68088号 罗伯特·德莫洛姆；路易斯·法利尼亚斯·德尔·塞罗 6 1991 依赖逻辑的序列。 Zbl 0799.03032号 Fariñas del Cerro，L。；V·卢加登。 5 1991 上下文否定和矛盾推理。 Zbl 0742.68052号 沃尔特·亚历山大·卡尼埃利；路易斯·法利尼亚斯·德尔·塞罗；马梅达·利马，马奎斯 三 1991 子句形式的模态分解。 Zbl 0669.03009号 帕特丽斯·恩贾尔伯特；路易斯·法利尼亚斯·德尔·塞罗 16 1989 临时后勤。Semostive et validation de programs paralliles系列。 Zbl 0702.68050号 埃里克·奥杜罗；路易斯·法里纳斯·德尔·塞罗；帕特里斯·恩贾尔伯特 1 1989 语法逻辑。 Zbl 0728.03025号 路易斯·法利尼亚斯·德尔·塞罗；马蒂·彭顿 8 1988 线性模态推论。 Zbl 0654.03007号 路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 4 1988 不完备数据库中演绎的代数评估方法。 Zbl 0647.68111号 Demolombe，R。；Fariñas del Cerro，L。 1 1988 程序设计与逻辑时间。二、。并行算法验证。 Zbl 0656.03019号 埃里克·奥杜罗；路易斯·法利尼亚斯·德尔·塞罗；帕特丽斯·恩贾尔伯特 1 1988 关于模态Horn子句可满足性的复杂性的注记。 Zbl 0624.03010号 路易斯·法利尼亚斯·德尔·塞罗；马蒂·彭顿 10 1987 MOLOG:一个用模态逻辑扩展PROLOG的系统。 Zbl 0598.68063号 Fariñas del Cerro，L。 24 1986 粗糙集、双重模糊集和模态逻辑。不可分辨性和部分信息的模糊性。 Zbl 0593.03032号 路易斯·法里纳斯·德尔·塞罗；亨利·普拉德 17 1986 赫布兰德的财产。 Zbl 0589.03004号 玛尔塔·恰尔迪亚；路易斯·法利尼亚斯·德尔·塞罗 4 1986 勘误表：“DAL–数据分析逻辑”。 Zbl 0618.68032号 路易斯·法利尼亚斯·德尔·塞罗；或者鄂尔多斯卡 三 1986 DAL–数据分析逻辑。 Zbl 0565.68032号 路易斯·法利尼亚斯·德尔·塞罗；或者鄂尔多斯卡 26 1985 分辨率模态逻辑。 Zbl 0631.03007号 路易斯·法利尼亚斯·德尔·塞罗 7 1985 解析模态逻辑。 Zbl 0582.68057号 路易斯·法利尼亚斯·德尔·塞罗 4 1985 线性时序逻辑的一种判定方法。 Zbl 0547.03008号 安娜·R·卡瓦利。；路易斯·法利尼亚斯·德尔·塞罗 7 1984 逻辑模型中的非原则性解决方案。 Zbl 0566.03007号 路易斯·法利尼亚斯·德尔·塞罗 三 1984 完全正确的模式。 Zbl 0576.68008号 路易斯·法里纳斯·德尔·塞罗 1 1984 直觉模态逻辑的一些结果。 Zbl 0544.03001号 路易斯·法利尼亚斯·德尔·塞罗；安德烈斯·拉吉奥（Andrés R.Raggio）。 4 1983 模态逻辑的一种简单推导方法。 Zbl 0515.03009号 路易斯·法里纳斯·德尔·塞罗 8 1982 Les modalites de la更正总计。 Zbl 0506.03004号 路易斯·法里纳斯·德尔·塞罗 1 1982 逻辑模型与处理通信者。 Zbl 0509.03010号 Farinas Del Cerro，L。 1 1982 所有引用的出版物 前5名被引用出版物 全部的 前5名388位作者引用 21 路易斯·法利尼亚斯·德尔·塞罗 14 迪迪埃·杜布瓦 11 菲利普·巴尔比亚尼 11 亨利·普拉德。 8 佩德罗·卡巴拉尔 8 豪尔赫·范丁诺 8 安德烈亚斯·赫齐格 8 圭多·西亚维科 6 斯特凡·德姆里。 6 路易斯·戈多 6 瓦伦丁·F·戈兰科。 5 玛尔塔·恰尔迪亚·梅耶 5 罗伯特·德莫洛姆 5 马丁·迪盖兹 5 邱恩·荣·廖 4 莫华·班纳吉 4 马塞洛·埃斯特班（Marcelo Esteban Coniglio） 4 帕特里斯·恩贾尔伯特 4 马里兰州可汗，阿奎尔 4 埃米利奥·穆尼奥斯·韦拉斯科 4 阮林安 4 雷娜特·施密特（Renate A.Schmidt）。 4 迪米特·瓦卡雷洛夫 三 卡洛斯·阿雷塞斯 三 大卫·布雷索林 三 弗朗西斯科·埃斯特瓦 三 丹尼尔·戈林 三 Marie-Christine，Lagasquie-Schiex 三 杰罗姆·朗 三 林伯特兰一鹏 三 蒂姆·S·里昂。 三 Angelo蒙塔纳里 三 或者艾瓦·奥斯卡。 三 Pawłowski，Paweł 三 托尔斯滕·绍布（Torsten H.Schaub）。 三 苏·埃兹吉·伊拉兹 三 廷切夫、廷科 三 康塞普西翁·维达尔 2 费利西达·阿瓜多 2 马可·艾略 2 苏亚德·阿拉吉奇 2 Jean-Marc阿利奥特 2 伊夫·奥夫雷 2 马里奥·贝尼维德斯。 2 Jean-François Bonnefon 2 陈成驰 2 陈德刚 2 陈晓宇 2 克里斯·科内利斯 2 Da Silva Neves，鲁伊 2 汉斯·德·尼维尔 2 弗朗索瓦斯·德巴特 2 德耶，林恩 2 克莱尔·狄克逊 2 安德烈亚·福米萨诺 2 Dov M.加巴伊。 2 高建明 2 佩雷·加西亚 2 盖尔方德，迈克尔 2 康斯坦蒂诺斯·乔治亚托斯 2 帕特里克·R·吉拉德。 2 大卫·格罗西 2 爱德华·赫尔曼·海尔 2 尤素福·伊兹米利奥格鲁 2 诺里希罗·卡米德 2 马特乌斯·克洛诺夫斯基 2 科斯塔斯·库特拉斯。 2 Bénédicte Legastelois 2 马德琳·莱斯科特 2 玛丽·珍妮·莱索特 2 布鲁诺·多梅尼西亚诺·洛佩斯 2 埃米利亚诺·洛里尼 2 杰苏斯·麦地那 2 内哈德·纳沙特·穆尔西 2 伊莎贝尔·纳瓦雷特 2 牛顿，马奎斯·佩隆 2 克里斯托斯·诺米科斯 2 纳吉·奥贝德 2 佐兰·奥格尼亚诺维奇 2 穆罕默德·阿里·奥根 2 家长，Xavier 2 吉尔伯托·佩雷斯 2 劳伦特·佩鲁塞尔 2 克里斯托斯·兰苏迪斯 2 乔安·拉斯加 2 皮埃特罗·萨拉 2 弗朗索瓦·施瓦森特鲁伯 2 阿米尔卡·塞尔纳达斯。 2 克里斯蒂娜·塞尔纳达斯。 2 她，燕红 2 丹·宋 2 斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 马库斯·安东尼·特里普特 2 王东明 2 韦恩·沃布克 1 佛罗里达州阿夫拉蒂。 1 J.Stuart艾特肯 1 艾尔·马里·哈马德 1 马拉·阿拉吉奇 1 艾萨·阿拉纳齐 …还有288位作者 全部的 前5名43篇连载文章被引用 27 应用非经典逻辑杂志 21 人工智能 20 理论计算机科学 18 国际近似推理杂志 16 模糊集与系统 10 数学与人工智能年鉴 10 逻辑程序设计理论与实践 9 Studia Logica公司 9 自动推理杂志 7 信息科学 7 纯逻辑与应用逻辑年鉴 6 应用逻辑杂志 5 信息处理信件 4 哲学逻辑杂志 4 合成 4 逻辑、语言与信息杂志 4 符号逻辑述评 三 符号逻辑杂志 三 符号计算杂志 三 新一代计算 2 圣母院形式逻辑杂志 2 信息与计算 2 数学和计算机建模 2 杰泰。实验与理论人工智能杂志 2 软计算 2 泛逻辑 2 程序设计中的逻辑和代数方法杂志 1 代数与逻辑 1 RAIRO，Informatique Théorique公司 1 逻辑科公报 1 逻辑历史与哲学 1 计算机科学与技术杂志 1 国际智能系统杂志 1 应用智能 1 国际计算机数学杂志 1 托波伊 1 数据挖掘与知识发现 1 计算机基础理论 1 国际不确定性、模糊性和基于知识的系统杂志 1 逻辑与逻辑哲学 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 计算机科学前沿 全部的 前5名16个领域引用 192 数理逻辑与基础（03-XX） 186 计算机科学（68至XX） 6 几何图形（51至XX） 4 生物学和其他自然科学（92-XX） 4 信息与通信理论、电路（94-XX） 2 总体主题；集合（00-XX） 2 历史和传记（01-XX） 2 阶、格、有序代数结构（06-XX） 2 群论与推广（20-XX） 2 一般拓扑结构（54至XX） 2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 一般代数系统（08-XX） 1 拓扑群、李群（22日至XX日） 1 凸和离散几何（52至XX） 1 统计学（62-XX） 1 量子理论（81-XX） 按年份列出的引文