编辑配置文件(在新选项卡中打开) 雷切尔·本·埃利亚胡 合著者距离 作者ID: 本·利亚胡·拉切尔 发布日期: 雷切尔·本·埃利亚胡;本·埃利亚胡(Ben-Eliyahu,R.)。 已编制索引的文档: 6出版物自1994年以来 合著者: 3位合著者具有5联合出版物 153位合作作者 合著者 1 单作者的 三 丽娜·德希特 1 Krzysztof Rafal公寓 1 梅纳赫姆·马吉多 系列 2 数学与人工智能年鉴 1 人工智能 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 信息与计算 1 人工智能研究杂志 领域 6 计算机科学(68至XX) 2 数理逻辑与基础(03-XX) 1 一般拓扑结构(54至XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用90中的次78文件 引用人▼ 年份▼ 析取逻辑程序的命题语义。 Zbl 0858.68012号 雷切尔·本·埃利亚胡;丽娜·德希特 63 1994 关于计算最小模型。 Zbl 0891.68109号 雷切尔·本·埃利亚胡;丽娜·德希特 12 1996 使用经典逻辑进行默认推理。 Zbl 1506.68131号 雷切尔·本·埃利亚胡;丽娜·德希特 8 1996 用于计算稳定模型的易处理子集的层次结构。 Zbl 0900.68399号 本·埃利亚胡(Ben-Eliyahu,R.)。 5 1996 用于证明拓扑一般执行属性的时态逻辑。 Zbl 0861.03024号 雷切尔·本·埃利亚胡;梅纳赫姆·马吉多 1 1996 逻辑编程中的元变量,或赞扬矛盾语法。 Zbl 0865.68024号 Krzysztof R.阿普特。;雷切尔·本·埃利亚胡 1 1996 关于计算最小模型。 Zbl 0891.68109号 雷切尔·本·埃利亚胡;丽娜·德希特 12 1996 使用经典逻辑进行默认推理。 兹比尔1506.68131 雷切尔·本·埃利亚胡;丽娜·德希特 8 1996 用于计算稳定模型的易处理子集的层次结构。 Zbl 0900.68399号 Ben Eliyahu,R。 5 1996 用于证明拓扑一般执行属性的时态逻辑。 Zbl 0861.03024号 雷切尔·本·埃利亚胡;梅纳赫姆·马吉多 1 1996 逻辑编程中的元变量,或赞扬矛盾语法。 Zbl 0865.68024号 Krzysztof R.阿普特。;雷切尔·本·埃利亚胡 1 1996 析取逻辑程序的命题语义。 Zbl 0858.68012号 雷切尔·本·埃利亚胡;丽娜·德希特 63 1994 所有引用的出版物 前5名被引用出版物 全部的 前5名119位作者引用 9 托马斯·艾特 7 雷切尔·本·埃利亚胡·佐哈里 7 尼古拉·利昂 7 路易吉·帕洛波利 6 斯特凡·沃尔特兰 5 弗朗西斯科·里卡 4 乔瓦尼·阿蒙多拉 4 法布里西奥·安吉乌利 4 沃尔夫冈·费伯 4 马丁·格布瑟 4 Joáo P.塞尔瓦侯爵。 三 巴特·博加特 三 法比奥·法塞蒂 三 约翰·克劳斯·费希特 三 迈克尔·芬克 三 尤利亚·利勒 三 林方珍 三 马可·马拉提亚 三 卡洛斯·门西娅 三 汉斯·托姆皮茨 三 特鲁什琴斯基,米洛斯奥 三 张燕 2 马里奥·阿尔维亚诺 2 Trevor J.M.Bench-Capon。 2 马可·卡多利 2 弗朗西斯科·卡利默里 2 保罗·E·邓恩。 2 汤米·詹胡宁 2 Niemelä,Ilkka N.F。 2 杰拉尔德·菲弗 2 亚历山德罗·普雷维蒂 2 约格·普勒 2 弗朗西斯科·斯卡切罗 2 斯泽德,斯特凡 1 费利西达·阿瓜多 1 格里戈里斯·安东尼奥 1 弗农·亚松森 1 雷切尔·本·埃利亚胡 1 利奥波多·贝尔托西。 1 菲利普·贝斯纳德 1 布莱·博内 1 洛雷托·布拉沃 1 弗朗索瓦·布里 1 佩德罗·卡巴拉尔 1 卢西亚诺卡罗普莱斯 1 巴威·乔利文斯基 1 巴勃罗·科德罗 1 Michael S.克劳奇。 1 伯纳多·昆卡·格劳 1 马丁·德·科克 1 佩雷斯·德·古兹曼,因马卡拉达 1 沃尔夫·德·沃尔夫 1 丽娜·德希特 1 丁德成 1 卡明·多达罗 1 弗朗西斯科·多尼尼。 1 曼纽尔·恩西索 1 豪尔赫·范丁诺 1 赫克托·杰夫纳 1 迈克尔·盖尔芬德 1 Aditya K.Ghose。 1 恩里科Giunchilia 1 兰迪·戈贝尔(Randy G.Goebel)。 1 格奥尔格·戈特洛布 1 马库斯·赫彻 1 何塞·埃尔南德斯·奥拉罗 1 安东尼·亨特 1 乔瓦姆巴蒂斯塔·伊安尼 1 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 1 尼尔·伊梅尔曼 1 米科拉什·亚诺塔 1 马克·卡明斯基 1 迪米特里斯·卡夫瓦迪亚斯(Dimitris J.Kavvadias)。 1 斯宾塞·基伦 1 科赫(Christoph T.Koch)。 1 科利,普希米特 1 托马斯·克伦瓦尔纳 1 Lee,Joohyng先生 1 保罗·利伯拉托雷 1 沙拉德·马利克 1 Manolios,Panagiotis公司 1 J.Eliot B.莫斯。 1 乔昂·莫拉 1 蘑菇、蘑菇 1 亚沃·内诺夫 1 Johannes Oetsch 1 拉斐尔·佩尼亚洛萨 1 吉尔伯托·佩雷斯 1 西蒙娜·佩里 1 帕斯奎尔·鲁洛 1 多梅尼科·萨卡 1 马尔科·谢尔夫 1 托尔斯滕·绍布(Torsten H.Schaub)。 1 史蒂文·肖卡特 1 马雷克·塞尔戈特。 1 玛莎·西德丽 1 帕特里克·西蒙斯 1 蒂莫·索尼宁 1 埃利亚斯·斯塔夫罗普洛斯。 1 沙哈卜·塔沙罗菲 …还有19位作者 全部的 前5名12篇连载文章中引用 27 人工智能 16 逻辑程序设计理论与实践 5 数学与人工智能年鉴 三 理论计算机科学 三 应用非经典逻辑杂志 三 ACM计算逻辑事务 2 信息与计算 2 自动推理杂志 1 信息处理信件 1 信息科学 1 计算机科学与技术杂志 1 应用逻辑杂志 在5个字段中引用 77 计算机科学(68至XX) 12 数理逻辑与基础(03-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文