编辑配置文件(在新选项卡中打开) 罗伯特·皮罗 合著者距离 作者ID: 皮罗·罗伯特 发布日期: 罗伯特·皮罗 已编制索引的文档: 5出版物自2005年以来,包括1个附加arXiv预打印 合著者: 6位合著者具有3联合出版物 191位合作作者 全部的 前5名合著者 1 单作者的 1 阿韦利诺,G。 1 贝科,S。 1 坎塔卢波,B。 1 科林,D。 1 弗拉米尼亚·贾科米尼 1 贾内尔,A。 1 Guarise,A。 1 伊恩·霍洛克斯 1 丹尼尔·库伊尔 1 科恩克,A。 1 卡斯滕·卢茨 1 亚历山德罗·马拉希尼 1 卢德克·马蒂斯卡 1 M·梅萨德里。 1 蒙福特,S。 1 鲍里斯·莫提克 1 米洛什·穆拉奇 1 亚沃·内诺夫 1 马丁·奥托 1 F·帕西尼。 1 罗伯托·佩卢索一世。 1 Pospíšil,Jan 1 普雷兹,F。 1 Ronchieri,E。 1 米哈利·鲁达 1 沙维特,Zdeněk 1 斯加拉瓦托,M。 1 J·斯特拉。 1 J.什·克拉巴尔。 1 索蒂拉罗,M。 1 安德烈亚·特拉西纳 1 Voců,M。 1 沃布鲁克,A。 1 弗兰克·沃尔特 系列 1 人工智能 字段 三 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 三出版物有被引用19中的次18文件 引用人▼ 年份▼ 林德斯特伦(Lindström)描述了保护碎片和具有全局模态的模态逻辑。 Zbl 1244.03070号 马丁·奥托;罗伯特·皮罗 8 2008 重新审查数据日志实体化的维护。 Zbl 1478.68076号 鲍里斯·莫提克;亚沃·内诺夫;罗伯特·皮罗;伊恩·霍洛克斯 6 2019 用最大的不动点丰富(\mathcal{EL})-概念。 Zbl 1211.68408号 卡斯滕·卢茨;罗伯特·皮罗;弗兰克·沃尔特 5 2010 重新审查数据日志实体化的维护。 Zbl 1478.68076号 鲍里斯·莫提克;亚沃·内诺夫;罗伯特·皮罗;伊恩·霍洛克斯 6 2019 用最大的不动点丰富(\mathcal{EL})-概念。 Zbl 1211.68408号 卡斯滕·卢茨;罗伯特·皮罗;弗兰克·沃尔特 5 2010 林德斯特伦(Lindström)描述了保护碎片和具有全局模态的模态逻辑。 Zbl 1244.03070号 马丁·奥托;罗伯特·皮罗 8 2008 所有引用出版物 排名前五的出版物 全部的 前5名31位作者引用 三 吉列尔莫·巴迪亚 三 格里戈里·K·奥尔霍维科夫。 2 伊恩·霍洛克斯 2 乔瓦姆巴蒂斯塔·伊安尼 2 弗朗西斯科·克里格尔 2 弗朗西斯科·帕琴察 2 Jessica Zangari 2 赖哈·佐吉法德 1 亚历山大·阿提基斯 1 卡塔琳娜·布里茨 1 弗朗西斯科·卡利默里 1 伯纳多·昆卡·格劳 1 安德烈亚斯·埃克 1 塞巴斯蒂安·恩奎斯特 1 盖尔·方丹 1 胡、潘 1 马克·卡明斯基 1 席蒙·克拉曼 1 廖、程 1 刘燕红安妮 1 鲍里斯·莫提克 1 乔治·巴利乌拉斯 1 拉斐尔·佩尼亚洛扎 1 西蒙娜·佩里 1 马苏德普尔马迪安 1 亚历山德罗·隆卡 1 Tekle,K.Tuncay 1 伊夫提米斯·齐利奥尼斯 1 Turhan、Anni Yasmin 1 van Benthem,Johan F.A.K。 1 维尼马,伊德 全部的 前5名11篇连载文章中引用 2 人工智能 2 逻辑程序设计理论与实践 2 泛逻辑 1 离散应用数学 1 模糊集与系统 1 圣母院形式逻辑杂志 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 国际近似推理杂志 1 人工智能研究杂志 1 计算机科学中的逻辑方法 在2个字段中引用 12 计算机科学(68-XX) 8 数学逻辑和基础(03-XX) 按年份列出的引文