编辑配置文件(在新选项卡中打开) 迈克尔·基弗 合著者距离 作者ID: 基弗·米查尔 发布日期: 迈克尔·基弗;M.基弗。 主页: http://www3.cs.stonybrook.edu/~基弗/ 外部链接: MGP公司·数据库许可证 已编制索引的文档: 33出版物自1986年以来,包括1本书 6作为编辑的贡献 合著者: 43位合著者具有37联合出版物 995名合作作者 全部的 前5名合著者 2 单作者的 6 杨贵珍 4 安东尼·邦纳。 三 保罗·福多 三 埃利泽·洛津斯基。 2 保罗·阿泽尼 2 雷扎·巴斯达 2 托马斯·艾特 2 弗朗索瓦·法赫斯 2 莫汉德·赛义德·哈西德 2 Krishnaprasad,T。 2 梁森林 2 约翰·米洛波洛斯 2 巴巴拉·佩尼西 2 巴维尔·什瓦伊科 2 斯特凡诺·斯帕卡皮埃特拉 2 Juan J.Trujillo。 2 万惠 2 沃伦,大卫·斯科特 2 James Shih-Shyn,吴 2 伊利亚·扎伊赫雷尤 1 马塞洛·阿里纳斯 1 凯特丽尔·比里 1 利奥波多·贝尔托西。 1 安德烈·卡利 1 迭戈·卡尔瓦尼斯 1 陈伟东 1 哈桑·达武尔库 1 亨德里克·德克尔 1 恩里科·弗兰科尼 1 伯克哈德·弗雷塔格 1 高,田田 1 乔治·戈特洛布 1 本杰明·格罗夫。 1 伊恩·霍洛克斯 1 乔治·劳森 1 李,艾 1 林方珍 1 刘扬红安妮 1 杰夫·Z·潘。 1 罗马克里希南,I.V。 1 斯科特·斯莫尔卡。 1 克里希纳普拉萨德·瑟伦纳亚扬 1 赵玉婷 全部的 前5名系列 4 计算机科学课堂讲稿 2 逻辑程序设计理论与实践 1 人工智能 1 ACM数据库系统事务 1 计算机协会杂志 1 计算机与系统科学杂志 1 理论计算机科学 1 逻辑程序设计杂志 1 自动推理杂志 1 人工智能研究杂志 1 美国计算机学会期刊 1 计算机基础理论 1 ACM图书 1 计算机科学本科专题 领域 39 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 6 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 27出版物有被引用237中的次180份文件 引用人▼ 年份▼ 驯服无限追赶:表达关系约束下的查询应答。 兹比尔1361.68221 安德烈·卡利;乔治·戈特洛布;迈克尔·基弗 41 2013 面向对象和基于框架的语言的逻辑基础。 Zbl 0885.68054号 迈克尔·基弗;乔治·劳森;詹姆斯·吴 35 1995 HiLog:高阶逻辑编程的基础。 Zbl 0787.68017号 陈伟东;迈克尔·基弗;大卫·沃伦。 29 1993 不一致推理的逻辑。 Zbl 0807.03019号 基弗,迈克尔;埃利泽·洛津斯基。 21 1992 RI:不一致推理的逻辑。 Zbl 0717.03005号 迈克尔·基弗;Eliezer L.洛津斯基。 20 1989 关于基于规则的不确定性专家系统的语义。 Zbl 0652.68109号 迈克尔·基弗;李,艾 17 1988 注释谓词演算在查询不一致数据库中的应用。 Zbl 0983.68054号 马塞洛·阿里纳斯;利奥波多·贝托西;迈克尔·基弗 9 2000 关于继承网络的声明语义。 Zbl 0714.68088号 Krishnaprasad,T。;迈克尔·基弗;大卫·沃伦。 8 1989 事务逻辑在知识表示中的应用。 Zbl 0949.68573号 A.J.邦纳。;M·基弗。 7 1994 事务逻辑概述。 Zbl 0938.03051号 安东尼·邦纳。;迈克尔·基弗 6 1994 用复杂对象编程的逻辑。 Zbl 0785.68023号 迈克尔·基弗;詹姆斯·吴 5 1993 遗传理论的循证框架。 Zbl 0713.68057号 Krishnaprasad,T。;迈克尔·基弗 4 1989 基于注释逻辑的非单调继承理论。 Zbl 0778.68080号 克里希纳普拉萨德·瑟伦纳亚扬;迈克尔·基弗 4 1993 关系数据库方案逻辑设计的集成方法。 兹比尔0605.68097 凯特丽尔·比里;迈克尔·基弗 4 1986 用于编程数据库事务的逻辑。 Zbl 0908.03037号 安东尼·邦纳。;基弗,迈克尔 4 1998 在事务逻辑中使用回归分析进行规划。 Zbl 1365.68384号 雷扎·巴斯达;迈克尔·基弗 4 2015 具有默认值和论证理论的逻辑编程。 Zbl 1251.68230号 万惠;本杰明·格罗夫;迈克尔·基弗;保罗·福多;梁森林 三 2009 FLORA-2中的非单调推理。 Zbl 1152.68640号 迈克尔·基弗 三 2005 过滤演绎数据库中的数据流。 Zbl 0643.68165号 迈克尔·基弗;埃利泽·洛津斯基。 三 1986 超一致性和字谜。 Zbl 1379.68293号 高,田田;保罗·福多;迈克尔·基弗 2 2016 大型逻辑程序中非终结的实用分析。 Zbl 1286.68050号 梁森林;迈克尔·基弗 2 2013 声明逻辑编程:理论、系统和应用。 Zbl 1402.68021号 1 2018 推理语义web上的匿名资源和元语句。 Zbl 1274.68506号 杨贵珍;迈克尔·基弗 1 2003 关于演绎数据库中查询有限性的可判定性和公理化。 Zbl 1065.68526号 迈克尔·基弗 1 1998 信念逻辑编程:具有证据相关性的不确定性推理。 Zbl 1258.68149号 万惠;基弗,迈克尔 1 2009 交易逻辑与缺省和论证理论。 Zbl 1245.68184号 保罗·福多;迈克尔·基弗 1 2011 关于匿名身份和具体化的语义。 Zbl 1018.68864号 杨贵珍;迈克尔·基弗 1 2002 声明逻辑编程:理论、系统和应用。 Zbl 1402.68021号 1 2018 超一致性和字谜。 Zbl 1379.68293号 高,田田;保罗·福多;迈克尔·基弗 2 2016 在事务逻辑中使用回归分析进行规划。 Zbl 1365.68384号 雷扎·巴斯达;迈克尔·基弗 4 2015 驯服无限追赶:表达关系约束下的查询应答。 兹比尔1361.68221 安德烈·卡利;乔治·戈特洛布;迈克尔·基弗 41 2013 大型逻辑程序中非终结的实用分析。 Zbl 1286.68050号 梁森林;迈克尔·基弗 2 2013 交易逻辑与缺省和论证理论。 Zbl 1245.68184号 保罗·福多;迈克尔·基弗 1 2011 默认逻辑编程和论证理论。 兹比尔1251.68230 万惠;本杰明·格罗夫;迈克尔·基弗;保罗·福多;梁森林 三 2009 置信逻辑编程:具有证据相关性的不确定性推理。 Zbl 1258.68149号 万惠;迈克尔·基弗 1 2009 FLORA-2中的非单调推理。 Zbl 1152.68640号 基弗,迈克尔 三 2005 推理语义web上的匿名资源和元语句。 Zbl 1274.68506号 杨贵珍;迈克尔·基弗 1 2003 关于匿名身份和物化的语义。 Zbl 1018.68864号 杨贵珍;迈克尔·基弗 1 2002 注释谓词演算在查询不一致数据库中的应用。 Zbl 0983.68054号 马塞洛·阿里纳斯;利奥波多·贝托西;迈克尔·基弗 9 2000 用于编程数据库事务的逻辑。 Zbl 0908.03037号 安东尼·邦纳。;迈克尔·基弗 4 1998 演绎数据库中查询有限性的可判定性和公理化。 Zbl 1065.68526号 迈克尔·基弗 1 1998 面向对象和基于框架的语言的逻辑基础。 Zbl 0885.68054号 迈克尔·基弗;乔治·劳森;詹姆斯·吴 35 1995 事务逻辑在知识表示中的应用。 Zbl 0949.68573号 A.J.邦纳。;M·基弗。 7 1994 事务逻辑概述。 Zbl 0938.03051号 安东尼·邦纳。;迈克尔·基弗 6 1994 HiLog:高阶逻辑编程的基础。 Zbl 0787.68017号 陈伟东;迈克尔·基弗;大卫·沃伦。 29 1993 用复杂对象编程的逻辑。 Zbl 0785.68023号 基弗,迈克尔;詹姆斯·吴 5 1993 基于注释逻辑的非单调继承理论。 Zbl 0778.68080号 克里希纳普拉萨德·瑟伦纳亚扬;迈克尔·基弗 4 1993 不一致推理的逻辑。 Zbl 0807.03019号 迈克尔·基弗;埃利泽·洛津斯基。 21 1992 RI:不一致推理的逻辑。 Zbl 0717.03005号 迈克尔·基弗;埃利泽·洛津斯基。 20 1989 关于继承网络的声明语义。 Zbl 0714.68088号 Krishnaprasad,T。;迈克尔·基弗;大卫·沃伦。 8 1989 遗传理论的循证框架。 Zbl 0713.68057号 Krishnaprasad,T。;迈克尔·基弗 4 1989 关于基于规则的不确定性专家系统的语义。 Zbl 0652.68109号 迈克尔·基弗;李,艾 17 1988 关系数据库方案逻辑设计的集成方法。 Zbl 0605.68097号 Catriel比莉;迈克尔·基弗 4 1986 过滤演绎数据库中的数据流。 Zbl 0643.68165号 迈克尔·基弗;Eliezer L.洛津斯基。 三 1986 所有引用出版物 排名前五的出版物 全部的 前5名283位作者引用 12 乔治·戈特洛布 12 安德烈亚斯·皮耶利斯 9 迈克尔·基弗 6 苏布拉马尼安。 5 艾奥娜·西梅尼杜 4 巴勃罗·巴塞洛 4 马可·卡劳蒂 4 托马斯·卢卡西维奇 4 西蒙库斯,曼塔斯 4 克里希纳普拉萨德·瑟伦纳亚扬 三 安娜斯塔西娅·安娜斯塔西 三 格里戈里斯·安东尼奥 三 雷扎·巴斯达 三 安吉洛斯·查拉兰比迪斯 三 马克·德内克 三 塞尔吉奥·格雷科 三 伊恩·霍洛克斯 三 杰尔达·詹森斯 三 尼古拉·利昂 三 玛娜,马可 三 Martinez、Maria Vanina 三 鲍里斯·莫提克 三 帕诺斯·朗多吉安尼 三 阮,达 三 杰拉尔多·西马里一世。 三 Swift,Terrance公司 三 马蒂亚斯·范德哈伦 三 徐,杨 2 苏亚德·阿拉吉奇 2 安托万·阿马里利 2 乔瓦尼·阿蒙多拉 2 奥费尔·阿列利 2 Michael A.Benedikt。 2 梅亨·宾文努 2 安德烈·卡利 2 曹楚宏 2 塞兰、伊斯梅尔·伊尔坎 2 伯纳多·昆卡·格劳 2 英格玛达塞维尔 2 桑德拉·德·阿莫 2 马丁·德·科克 2 托马斯·艾特 2 保罗·福多 2 盖尔·方丹 2 高,田田 2 罗伯托·贾西奥 2 劳伦斯·亨森。 2 杨森,杰伦 2 肯·卡内瓦 2 艾蒂安·凯尔(Etienne E.Kerre)。 2 莫里齐奥·伦泽里尼 2 梁森林 2 托梅尔·利巴尔 2 詹姆斯·利普顿(James B.Lipton)。 2 刘军 2 埃利泽·洛津斯基。 2 詹姆斯·J·卢。 2 卡斯滕·卢茨 2 Jerzy Marcinkowski 2 克里斯蒂安·莫里纳罗 2 尼禄,阿尼尔 2 Ng,Raymond T。 2 苏珊娜·尼娃 2 乔治·奥尔西 2 马格达莱娜·奥尔蒂斯 2 艾奥尼斯·帕乔拉基斯 2 安东尼拉·波吉 2 杰弗里·布赖恩·雷梅尔 2 托尔斯滕·绍布(Torsten H.Schaub)。 2 史蒂文·肖卡特 2 翁贝托·斯特拉契亚 2 伊琳娜·特鲁比西纳 2 Van den Bussche,简 2 德克·范·古赫特 2 德克·弗梅尔 2 卡洛斯·维加斯·达马西奥 2 沃伦,大卫·斯科特 2 周春来 1 谢尔盖·阿比特布尔 1 什奇蓬贾·艾哈迈塔吉 1 精木赤山 1 马拉·阿拉吉奇 1 Aliane,Hassina哈西娜 1 吉安卢卡·阿马托 1 埃亚尔·埃米尔 1 Dörthe Arndt 1 乔治·奥塞洛 1 阿诺·阿夫隆 1 Jean-François巴杰 1 米拉·巴拉班 1 菲利普·巴尔比亚尼 1 莫妮卡·D·巴巴克。 1 巴托什·贝德纳尔奇克 1 杰拉尔德·伯杰 1 Jan A.Bergstra。 1 利奥波多·贝尔托西。 1 菲利普·贝斯纳德 1 尼科尔·比多特 1 约阿希姆·比斯库普 1 博加茨,巴特 …还有183位作者 全部的 前5名30篇连载文章中引用 19 人工智能 17 理论计算机科学 16 数学与人工智能年鉴 15 逻辑程序设计理论与实践 10 计算机与系统科学杂志 6 信息与计算 6 自动推理杂志 6 国际近似推理杂志 5 模糊集与系统 4 信息科学 4 新一代计算 4 应用非经典逻辑杂志 4 计算机科学中的逻辑方法 三 计算系统理论 2 应用逻辑杂志 1 计算机与数学及其应用 1 国际通用系统杂志 1 信息处理信件 1 ACM数据库系统事务 1 SIAM计算机杂志 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 计算的形式方面 1 吉泰。实验与理论人工智能杂志 1 《数理逻辑季刊》 1 离散数学科学与密码学杂志 1 计算机基础理论 1 ACM计算逻辑事务 1 数据库的基础和趋势 1 计算机科学评论 在5个字段中引用 172 计算机科学(68至XX) 51 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 数学教育(97-XX) 按年份列出的引文