编辑配置文件(在新选项卡中打开) 亚沃·内诺夫 合著者距离 作者ID: 尼诺夫·亚沃 发布日期: 亚沃·内诺夫 已编制索引的文档: 6出版物自2008年起 合著者: 10位合著者具有6联合出版物 177位合作作者 全部的 前5名合著者 0 单作者的 2 伯纳多·昆卡·格劳 2 伊恩·霍洛克斯 2 马克·卡明斯基 2 伊恩·普拉特·哈特曼 1 罗马人孔查科夫 1 鲍里斯·莫提克 1 罗伯特·皮罗 1 迪米特·瓦卡雷洛夫 1 迈克尔·维克托洛维奇(Michael Viktorovich) 1 周玉娇 系列 2 人工智能 1 人工智能研究杂志 1 ACM计算逻辑事务 领域 4 计算机科学(68至XX) 2 数理逻辑与基础(03-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用26中的次25文件 引用人▼ 年份▼ 重新审查数据日志实体化的维护。 Zbl 1478.68076号 鲍里斯·莫提克;亚沃·内诺夫;罗伯特·皮罗;伊恩·霍洛克斯 6 2019 表面逻辑关系的模态逻辑。 Zbl 1244.03069号 亚沃·内诺夫;迪米特·瓦卡雷洛夫 5 2008 析取数据日志程序和非Horn本体的数据日志可重写性。 Zbl 1357.68228号 马克·卡明斯基;亚沃·内诺夫;伯纳多·昆卡·格劳 5 2016 欧氏空间上具有连通性的拓扑逻辑。 Zbl 1353.68267号 罗马人孔查科夫;亚沃·内诺夫;伊恩·普拉特·哈特曼;迈克尔·扎克哈里亚舍夫 5 2013 PAGOdA:使用数据日志推理器回答pay-as-you-go本体查询。 Zbl 1343.68073号 周玉娇;伯纳多·坎卡·格劳;亚沃·内诺夫;马克·卡明斯基;伊恩·霍洛克斯 三 2015 基于区域的欧几里德逻辑的可计算性。 Zbl 1287.03063号 亚沃·内诺夫;伊恩·普拉特·哈特曼 2 2010 重新审查数据日志实体化的维护。 Zbl 1478.68076号 鲍里斯·莫提克;亚沃·内诺夫;罗伯特·皮罗;伊恩·霍洛克斯 6 2019 析取数据日志程序和非Horn本体的数据日志可重写性。 Zbl 1357.68228号 马克·卡明斯基;亚沃·内诺夫;伯纳多·昆卡·格劳 5 2016 PAGOdA:使用数据日志推理器回答pay-as-you-go本体查询。 Zbl 1343.68073号 周玉娇;伯纳多·坎卡·格劳;亚沃·内诺夫;马克·卡明斯基;伊恩·霍洛克斯 三 2015 欧氏空间上具有连通性的拓扑逻辑。 Zbl 1353.68267号 罗马人孔查科夫;亚沃·内诺夫;伊恩·普拉特·哈特曼;迈克尔·扎克哈里亚舍夫 5 2013 关于基于区域的欧几里得逻辑的可计算性。 Zbl 1287.03063号 亚沃·内诺夫;伊恩·普拉特·哈特曼 2 2010 单拓扑关系的模态逻辑。 Zbl 1244.03069号 亚沃·内诺夫;迪米特·瓦卡雷洛夫 5 2008 所有引用的出版物 前5名被引用出版物 全部的 前5名52位作者引用 三 伊恩·霍洛克斯 三 塔季亚娜·伊万诺娃。 三 迈克尔·维克托洛维奇(Michael Viktorovich) 2 菲利普·巴尔比亚尼 2 乔瓦姆巴蒂斯塔·伊安尼 2 阿吉·库鲁茨 2 卡斯滕·卢茨 2 鲍里斯·莫提克 2 弗朗西斯科·帕琴察 2 弗拉迪斯拉夫·里日科夫 2 弗朗索瓦·施瓦森特鲁伯 2 Jessica Zangari 1 什奇蓬贾·艾哈迈塔吉 1 亚历山大·阿提基斯 1 埃琳娜·博托埃娃 1 弗朗西斯科·卡利默里 1 伯纳多·昆卡·格劳 1 克里斯蒂娜·费尔 1 乔伊格登·根瑟 1 奥尔加·杰拉西莫娃 1 Giangiacomo Gerla 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 Tekle,K.Tuncay 1 Tran,Trung-Kien村 1 伊夫提米斯·齐利奥尼斯 1 迪米特·瓦卡雷洛夫 1 王燕京 1 弗兰克·沃尔特 全部的 前5名11篇连载文章中引用 6 人工智能 2 Studia Logica公司 2 人工智能研究杂志 2 逻辑程序设计理论与实践 2 符号逻辑述评 1 哲学逻辑杂志 1 逻辑、语言与信息杂志 1 数学与人工智能年鉴 1 中欧数学杂志 1 计算机科学中的逻辑方法 1 伦敦皇家学会会刊。A.数学、物理和工程科学 全部的 前5名在8个字段中引用 19 计算机科学(68至XX) 7 数理逻辑与基础(03-XX) 三 一般拓扑结构(54至XX) 2 阶、格、有序代数结构(06-XX) 1 历史和传记(01-XX) 1 几何图形(51至XX) 1 凸和离散几何(52至XX) 1 概率论与随机过程(60-XX) 按年份列出的引文