编辑配置文件（在新选项卡中打开） 何塞·朱利奥·阿尔弗雷斯 合著者距离 作者ID： 阿尔弗雷斯·何塞·朱利奥 发布日期： 何塞·朱利奥·阿尔弗雷斯；何塞·J·阿尔弗雷斯。；J.J.阿尔弗雷斯。；何塞·胡里奥·阿弗雷斯；何塞·阿尔弗雷斯。 更多。。。较少的 外部链接： 管理程序 已编制索引的文档： 48出版物自1991年以来，包括1本书 4作为编辑的贡献 合著者： 24位合著者具有52联合出版物 357位联合作者 全部的 前5名合著者 0 单作者的 24 路易斯·莫尼兹·佩雷拉 10 约昂·亚历山大·莱特 8 安东尼奥·布罗吉 8 Przymusinski，Teodor C。 5 费德里科·班蒂 5 里卡多·贡萨阿尔维斯 5 哈利娜·普尔兹穆森斯卡 4 Joaquim N.阿帕里西奥。 4 阿娜·索菲亚·戈麦斯 4 马蒂亚斯·克诺尔 4 约昂·莱特 三 路易斯·莫尼兹·佩雷拉 三 Swift，Terrance公司 2 帕斯卡·希茨勒 1 佩德罗·巴拉奥纳 1 阿尔梅达，伊拉狂欢节 1 皮耶朗基罗·德尔·阿夸 1 阿尔弗雷多·加巴登 1 Herre，Heinrich先生 1 若阿金·阿帕里西奥修女 1 或者艾瓦·奥斯卡。 1 夸雷斯马，保罗 1 卡洛斯·维加斯·达马西奥 1 王克文 全部的 前5名系列 4 计算机科学课堂讲稿 2 人工智能 2 逻辑程序设计杂志 2 自动推理杂志 2 应用非经典逻辑杂志 2 逻辑程序设计理论与实践 1 Studia Logica公司 1 理论计算机科学 1 波兰数学年鉴。系列IV 1 逻辑与计算杂志 1 ACM计算逻辑汇刊 1 应用逻辑杂志 领域 52 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 三 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 32出版物有被引用185中的次119文件 引用人▼ 年份▼ 非单调知识库的动态更新。 Zbl 0957.68108号 J.J.阿尔弗雷斯。；莱特，J.A。；佩雷拉，L.M。；Przymusinska，H。；Przymusinski，T.C。 29 2000 基于良好语义的描述逻辑的局部封闭世界推理。 兹比尔1225.68249 马蒂亚斯·克诺尔；何塞·朱利奥·阿尔弗雷斯；帕斯卡·希茨勒 15 2011 通过表格化的对偶程序推导出基础良好的语义和广义稳定模型。 Zbl 1090.68014号 何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉；Swift，Terrance公司 13 2004 不断发展的逻辑程序。 Zbl 1014.68534号 何塞·朱利奥·阿尔弗雷斯；安东尼奥·布罗吉；约昂·亚历山大·莱特；路易斯·莫尼兹·佩雷拉 13 2002 逻辑编程推理。 Zbl 1293.68003号 何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉 11 1996 动态逻辑编程语义的精化扩展原则。 Zbl 1101.68862号 何塞·朱利奥·阿尔弗雷斯；费德里科·班蒂；安东尼奥·布罗吉；约昂·亚历山大·莱特 9 2005 逻辑编程的非单调推理。 Zbl 0784.68024号 路易斯·莫尼兹·佩雷拉；Joaquim N.阿帕里西奥。；何塞·J·阿尔弗雷斯。 8 1993 在遗忘时保持强等价性。 Zbl 1432.68059号 马蒂亚斯·克诺尔；何塞·胡里奥·阿弗雷斯 8 2014 LUPS–用于更新逻辑程序的语言。 Zbl 0995.68023号 何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉；哈利娜·普尔兹穆森斯卡；Przymusinski，Teodor C。 7 2002 具有明确否定的有根据语义的缺省理论。 Zbl 0925.68097号 路易斯·莫尼兹·佩雷拉；何塞·朱利奥·阿尔弗雷斯；Joaquim Nunes阿帕里西奥 7 1992 扩展稳定模型的推导程序。 Zbl 0749.68020号 路易斯·莫尼兹·佩雷拉；Joaquim N.阿帕里西奥。；何塞·阿尔费雷斯。 6 1991 信念、可证明性和逻辑程序。 Zbl 0988.68615号 J.J.阿尔弗雷斯。；佩雷拉，L.M。 6 1994 在有充分依据的语义下遗忘。 Zbl 1405.68336号 何塞·朱利奥·阿尔弗雷斯；马蒂亚斯·克诺尔；王克文 6 2013 非单调推理和逻辑编程中的信念修正。 Zbl 0865.68112号 何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉；Przymusinski，Teodor C。 6 1996 非单调推理和逻辑编程中的“经典”否定。 Zbl 0893.68147号 何塞·朱利奥·阿尔弗雷斯；佩雷拉，路易斯·莫尼兹；Przymusinski，Teodor C。 6 1998 用于非单调推理的逻辑程序系统。 Zbl 0819.68034号 何塞·朱利奥·阿尔弗雷斯；达马西奥，卡洛斯·维耶加斯；路易斯·莫尼兹·佩雷拉 6 1995 一种事件-条件-动作逻辑编程语言。 Zbl 1152.68397号 J.J.阿尔弗雷斯。；F.班蒂。；A.布罗基。 三 2006 参数化逻辑编程。 Zbl 1306.68009号 里卡多·贡萨阿尔维斯；何塞·朱利奥·阿尔弗雷斯 三 2010 混合MKNF知识库的查询驱动过程。 Zbl 1353.68271号 何塞·朱利奥·阿尔弗雷斯；马蒂亚斯·克诺尔；Swift，Terrance公司 三 2013 多维动态知识表示。 Zbl 1007.68590号 约昂·亚历山大·莱特；何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉 2 2001 更新和首选项的汇编。 Zbl 1013.68057号 何塞·朱利奥·阿尔弗雷斯；皮耶朗基罗·德尔·阿夸；路易斯·莫尼兹·佩雷拉 2 2002 更新和首选项。 Zbl 0998.68166号 何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉 2 2000 \（\mathcal{MINERVA}）–一种动态逻辑编程代理体系结构。 Zbl 1050.68623号 约昂·亚历山大·莱特；何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉 2 2002 在道义逻辑程序中嵌入输入输出逻辑。 Zbl 1297.68219号 里卡多·贡萨尔维斯；何塞·朱利奥·阿尔弗雷斯 2 2012 非单调推理和逻辑编程中的强而明确的否定。 Zbl 1426.68256号 何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉；Przymusinski，Teodor C。 2 1996 从逻辑程序更新到动作描述更新。 兹比尔1081.68677 何塞·朱利奥·阿尔弗雷斯；费德里科·班蒂；安东尼奥·布罗吉 2 2005 多维动态逻辑程序的良好支持语义。 Zbl 1152.68398号 F.班蒂。；J.J.阿尔弗雷斯。；A.布罗基。；Hitzler，P。 1 2005 为基础良好的语义添加封闭世界假设。 Zbl 0801.68111号 路易斯·莫尼兹·佩雷拉；何塞·J·阿尔弗雷斯。；Joaquim N.阿帕里西奥。 1 1994 LUPS–用于更新逻辑程序的语言。 Zbl 0952.68022号 何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉；哈利娜·普尔兹穆森斯卡；Przymusinski，Teodor C。 1 1999 混合MKNF知识库查询应答的目标导向实现。 Zbl 1286.68427号 阿娜·索菲亚·戈麦斯；何塞·朱利奥·阿尔弗雷斯；Swift，Terrance公司 1 2014 用时态操作符进化逻辑程序。 Zbl 1326.68051号 何塞·朱利奥·阿尔弗雷斯；阿尔弗雷多·加巴登；约昂·莱特 1 2011 参数化平衡逻辑。 Zbl 1327.68064号 里卡多·贡萨阿尔维斯；何塞·朱利奥·阿尔弗雷斯 1 2011 在遗忘时保持强等价性。 Zbl 1432.68059号 马蒂亚斯·克诺尔；何塞·胡里奥·阿弗雷斯 8 2014 混合MKNF知识库查询应答的目标导向实现。 Zbl 1286.68427号 阿娜·索菲亚·戈麦斯；何塞·朱利奥·阿尔弗雷斯；Swift，Terrance公司 1 2014 在有根据的语义下遗忘。 Zbl 1405.68336号 何塞·朱利奥·阿尔弗雷斯；马蒂亚斯·克诺尔；王克文 6 2013 混合MKNF知识库的查询驱动过程。 Zbl 1353.68271号 何塞·朱利奥·阿尔弗雷斯；马蒂亚斯·克诺尔；Swift，Terrance公司 三 2013 在道义逻辑程序中嵌入输入输出逻辑。 Zbl 1297.68219号 里卡多·贡萨阿尔维斯；何塞·朱利奥·阿尔弗雷斯 2 2012 基于良好语义的描述逻辑的局部封闭世界推理。 Zbl 1225.68249号 马蒂亚斯·克诺尔；何塞·朱利奥·阿尔弗雷斯；帕斯卡·希茨勒 15 2011 带有时态运算符的进化逻辑程序。 Zbl 1326.68051号 何塞·朱利奥·阿尔弗雷斯；阿尔弗雷多·加巴登；约昂·莱特 1 2011 参数化平衡逻辑。 Zbl 1327.68064号 里卡多·贡萨尔维斯；何塞·朱利奥·阿尔弗雷斯 1 2011 参数化逻辑编程。 Zbl 1306.68009号 里卡多·贡萨阿尔维斯；何塞·朱利奥·阿尔弗雷斯 三 2010 一种事件-条件-动作逻辑编程语言。 兹比尔1152.68397 J.J.阿尔弗雷斯。；F.班蒂。；A.布罗基。 三 2006 动态逻辑编程语义的精化扩展原则。 Zbl 1101.68862号 何塞·朱利奥·阿尔弗雷斯；费德里科·班蒂；安东尼奥·布罗吉；约昂·亚历山大·莱特 9 2005 从逻辑程序更新到动作描述更新。 Zbl 1081.68677号 何塞·朱利奥·阿尔弗雷斯；费德里科·班蒂；安东尼奥·布罗吉 2 2005 多维动态逻辑程序的良好支持语义。 Zbl 1152.68398号 F.班蒂。；J.J.阿尔弗雷斯。；A.布罗基。；希茨勒，P。 1 2005 通过表格化的对偶程序推导出基础良好的语义和广义稳定模型。 Zbl 1090.68014号 何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉；Swift，Terrance公司 13 2004 不断发展的逻辑程序。 Zbl 1014.68534号 何塞·朱利奥·阿尔弗雷斯；安东尼奥·布罗吉；约昂·亚历山大·莱特；路易斯·莫尼兹·佩雷拉 13 2002 LUPS–用于更新逻辑程序的语言。 Zbl 0995.68023号 何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉；哈利娜·普尔兹穆森斯卡；Przymusinski，Teodor C。 7 2002 更新和首选项的汇编。 Zbl 1013.68057号 何塞·朱利奥·阿尔弗雷斯；戴尔公司；皮耶朗基罗·阿夸；路易斯·莫尼兹·佩雷拉 2 2002 \（\mathcal{MINERVA}）–一种动态逻辑编程代理体系结构。 Zbl 1050.68623号 约昂·亚历山大·莱特；何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉 2 2002 多维动态知识表示。 兹比尔1007.68590 约昂·亚历山大·莱特；何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉 2 2001 非单调知识库的动态更新。 Zbl 0957.68108号 阿尔弗雷斯，J.J。；莱特，J.A。；佩雷拉，L.M。；Przymusinska，H。；Przymusinski，T.C。 29 2000 更新和首选项。 Zbl 0998.68166号 何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉 2 2000 LUPS–用于更新逻辑程序的语言。 Zbl 0952.68022号 何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉；哈利娜·普尔兹穆森斯卡；Przymusinski，Teodor C。 1 1999 非单调推理和逻辑编程中的“经典”否定。 Zbl 0893.68147号 何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉；Przymusinski，Teodor C。 6 1998 逻辑编程推理。 Zbl 1293.68003号 何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉 11 1996 非单调推理和逻辑编程中的信念修正。 Zbl 0865.68112号 何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉；Przymusinski，Teodor C。 6 1996 非单调推理和逻辑编程中的强而明确的否定。 Zbl 1426.68256号 何塞·朱利奥·阿尔弗雷斯；路易斯·莫尼兹·佩雷拉；Przymusinski，Teodor C。 2 1996 用于非单调推理的逻辑程序系统。 Zbl 0819.68034号 何塞·朱利奥·阿尔弗雷斯；达马西奥，卡洛斯·维耶加斯；路易斯·莫尼兹·佩雷拉 6 1995 信念、可证明性和逻辑程序。 Zbl 0988.68615号 J.J.阿尔弗雷斯。；佩雷拉，L.M。 6 1994 为基础良好的语义添加封闭世界假设。 Zbl 0801.68111号 路易斯·莫尼兹·佩雷拉；何塞·J·阿尔弗雷斯。；Apaício，Joaquim N。 1 1994 逻辑编程的非单调推理。 Zbl 0784.68024号 路易斯·莫尼兹·佩雷拉；Joaquim N.阿帕里西奥。；何塞·阿尔费雷斯。 8 1993 具有明确否定的有根据语义的缺省理论。 Zbl 0925.68097号 路易斯·莫尼兹·佩雷拉；何塞·朱利奥·阿尔弗雷斯；Joaquim Nunes阿帕里西奥 7 1992 扩展稳定模型的推导过程。 Zbl 0749.68020号 路易斯·莫尼兹·佩雷拉；Joaquim N.阿帕里西奥。；何塞·阿尔弗雷斯。 6 1991 所有引用出版物 前5名被引用出版物 全部的 前5名166位作者引用 17 约昂·莱特 14 路易斯·莫尼兹·佩雷拉 11 里卡多·贡萨阿尔维斯 11 马蒂亚斯·克诺尔 8 何塞·朱利奥·阿尔弗雷斯 7 马丁·斯洛塔 7 你，嘉慧 6 佩德罗·卡巴拉尔 5 托马斯·艾特 5 伊芙琳娜·拉姆 5 斯特凡·沃尔特兰 4 马尔科·阿尔贝蒂 4 安东尼奥·布罗吉 4 豪尔赫·范丁诺 4 迈克尔·芬克 4 刘芳芳 4 Przymusinski，Teodor C。 4 法里巴·萨德里 4 卡洛斯·维加斯·达马西奥 三 费利西达·阿瓜多 三 格哈德·布鲁卡 三 皮耶朗基罗·德尔·阿夸 三 斯特凡·埃尔马瑟勒 三 井上，胜美 三 保罗·曼卡雷拉 三 吉尔伯托·佩雷斯 三 约格·普勒 三 法布里西奥·里古齐 三 Swift，Terrance公司 三 康塞普西翁·维达尔 2 卡洛斯·伊万·切斯尼瓦尔 2 路易斯·克鲁兹·菲利佩 2 詹姆斯·德尔格兰德。 2 埃斯拉·埃尔登 2 豪尔赫·范迪诺 2 阿尔弗雷多·加巴登 2 格拉萨·加斯帕 2 阿娜·索菲亚·戈麦斯 2 莱因哈德·卡勒 2 罗伯特·A·科瓦尔斯基。 2 梅洛，保拉 2 伊莎贝尔·努斯 2 亚历山大·米盖尔·平托 2 恰基萨卡马 2 托尔斯滕·绍布（Torsten H.Schaub）。 2 西基、广岛 2 詹森科 2 吉列尔莫·里卡多·西马里 2 弗里德·斯托尔森堡 2 格雷戈里·惠勒。 1 佐奥州阿尔坎塔拉 1 Gianvincenzo阿尔法诺 1 彼得·阿尔瓦罗 1 汤姆·J·阿梅罗特。 1 华金·阿里亚斯 1 奥费尔·阿列利 1 费德里科·班蒂 1 贝伦，马修 1 马蒂·伯特霍尔德 1 毕、易 1 布罗达，Krysia B。 1 莫里斯·布吕诺格 1 斯蒂芬·巴特勒 1 曼纽尔·卡罗 1 罗伯特·卡特赖特 1 乔瓦尼·卡西尼 1 曹飞 1 陈建文 1 马里兰州索利穆·乔杜里 1 赫宁克里斯蒂安森 1 斯特凡妮娅·科斯坦蒂尼 1 纳迪亚·克里诺 1 欧内斯特·戴维斯 1 乔瓦尼·德·加斯佩里斯 1 克劳迪奥·德列克斯 1 马克·德内克 1 里德万·德沃波拉沃 1 亚尼斯·迪莫普洛斯 1 尤尔根·迪克斯 1 沃尔夫冈·德沃亚克 1 乌尔·恩德里斯 1 弗朗索瓦·法赫斯 1 冯志勇 1 爱德华多·利奥波多·费尔梅 1 纪尧姆·费伊德 1 安德烈亚·福米萨诺 1 亚历杭德罗·哈维尔·加西亚 1 马可·加瓦内利 1 马丁·格布瑟 1 盖尔方德，迈克尔 1 萨拉·冈萨尔维斯 1 塞尔吉奥·格雷科 1 戈帕尔·古普塔 1 约瑟夫·海勒斯坦。 1 安德烈亚斯·赫齐格 1 杰西·海因尼克 1 黄忠强 1 汤米·詹胡宁 1 季建民 1 蒋敏 …还有66位作者 全部的 前5名18篇连载文章中引用 19 人工智能 16 逻辑程序设计理论与实践 8 理论计算机科学 8 数学与人工智能年鉴 7 应用逻辑杂志 5 应用非经典逻辑杂志 2 信息科学 2 Studia Logica公司 2 合成 2 新一代计算 2 ACM计算逻辑汇刊 1 计算机与系统科学杂志 1 圣母院形式逻辑杂志 1 自动推理杂志 1 国际近似推理杂志 1 计算的形式方面 1 数学逻辑档案 1 Logicheskie Issledovaniya逻辑 在2个字段中引用 114 计算机科学（68至XX） 26 数学逻辑和基础（03-XX） 按年份列出的引文