编辑配置文件（在新选项卡中打开） 马格达莱娜·奥尔蒂斯 合著者距离 作者ID： 奥尔蒂兹·马格达勒纳 发布日期： 马格达莱娜·奥尔蒂斯 其他拼写： Ortiz de la Fuente，玛丽亚·马格达莱纳 主页： http://www.kr.tuwien.ac.at/staff/ortiz/ 外部链接： 逆戟鲸·谷歌学者·数据库许可证 已编制索引的文档： 22出版物自2007年以来，包括1个附加arXiv预打印 2作为编辑的贡献 合著者： 21位合著者具有20联合出版物 581联合作者 全部的 前5名合著者 2 单作者的 12 西蒙库斯，曼塔斯 6 托马斯·艾特 5 迭戈·卡尔瓦内斯 三 什奇蓬贾·艾哈迈塔吉 2 梅亨·宾文努 1 克劳迪娅·考利 1 莎拉·爱丽丝·加格尔 1 托马斯·戈加茨 1 格奥尔格·戈特洛布 1 维科尔·古蒂雷斯·巴苏尔托 1 亚兹米恩·安吉利卡，伊瓦涅兹·加西亚 1 托默·科特克 1 纳迪亚·拉拜 1 卡斯滕·卢茨 1 Martinez、Maria Vanina 1 菲利普·莫拉克 1 毛里西奥·奥索里奥。 1 尼尔·皮特曼 1 普鲁姆，E。 1 斯特凡·施洛巴赫 1 乔治·斯特凡诺尼 1 赫尔穆特·维思 全部的 前5名系列 2 人工智能研究杂志 2 计算机科学课堂讲稿 1 人工智能 1 应用力学与工程中的计算机方法 1 计算机与系统科学杂志 1 信息与计算 1 自动推理杂志 1 逻辑与计算杂志 1 ACM计算逻辑事务 领域 21 计算机科学（68至XX） 4 数理逻辑与基础（03-XX） 2 总体主题；集合（00-XX） 1 统计学（62-XX） 1 可变形固体力学（74-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用95中的次55文件 引用人▼ 年份▼ 通过tableaux表示描述逻辑中查询应答的数据复杂性。 Zbl 1154.68102号 马格达莱娜·奥尔蒂斯；迭戈·卡尔瓦内斯；托马斯·艾特 17 2008 通过数据可压缩描述逻辑进行本体中介的查询应答。 Zbl 1358.68086号 梅亨·宾文努；马格达莱娜·奥尔蒂斯 17 2015 轻量级描述逻辑中的规则路径查询：复杂性和算法。 Zbl 1336.68243号 梅亨·宾文努；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 8 2015 描述逻辑中的问答：节点方法。 Zbl 1246.68207号 托马斯·艾特；卡斯滕·卢茨；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 8 2009 描述逻辑Horn-\（\mathcal{SHIQ}\）中的查询应答。 Zbl 1178.68558号 托马斯·艾特；格奥尔格·戈特洛布；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 7 2008 通过交替树自动机回答表达描述逻辑中的常规路径查询。 Zbl 1360.68801号 迭戈·卡尔瓦内斯；托马斯·艾特；马格达莱娜·奥尔蒂斯 7 2014 从带有闭合谓词的表达性描述逻辑到Datalog变体的多项式重写。 Zbl 1476.68250号 什奇蓬贾·艾哈迈塔吉；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 6 2020 描述逻辑中的推理和查询回答。 Zbl 1251.68228号 马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 5 2012 描述逻辑\（\mathcal S\mathcal H\）中使用结的连接查询应答。 Zbl 1238.68153号 托马斯·艾特；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 4 2012 推理中否定查询答案的解释DL-Lite（DL-Lite）. Zbl 1361.68222号 迭戈·卡尔瓦内斯；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯；乔治·斯特凡诺尼 4 2013 在表达路径约束下验证演化的图形结构数据。 Zbl 1369.68181号 迭戈·卡尔瓦内斯；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 4 2016 计算力学中的无模型数据驱动推理。 Zbl 07644171号 普鲁姆，E。；里斯，S。；M.奥尔蒂斯。 4 2023 使用结进行推理。 Zbl 1182.68276号 托马斯·艾特；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 三 2008 使用描述逻辑管理图形结构数据中的更改。 Zbl 1407.68122号 什奇蓬贾·艾哈迈塔吉；迭戈·卡尔瓦内斯；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 2 2017 安全信念语义中的强否定与等价。 兹比尔1151.03018 马格达莱娜·奥尔蒂斯；毛里西奥索里奥 2 2007 将受保护的存在规则重写为小型数据日志程序。 Zbl 1489.68066号 什奇蓬贾·艾哈迈塔吉；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 1 2018 计算力学中的无模型数据驱动推理。 Zbl 07644171号 普鲁姆，E。；里斯，S。；M.奥尔蒂斯。 4 2023 从带有闭合谓词的表达性描述逻辑到Datalog变体的多项式重写。 Zbl 1476.68250号 什奇蓬贾·艾哈迈塔吉；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 6 2020 将受保护的存在规则重写为小型数据日志程序。 Zbl 1489.68066号 什奇蓬贾·艾哈迈塔吉；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 1 2018 使用描述逻辑管理图形结构数据中的更改。 Zbl 1407.68122号 什奇蓬贾·艾哈迈塔吉；迭戈·卡尔瓦内斯；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 2 2017 在表达路径约束下验证演化的图形结构数据。 Zbl 1369.68181号 迭戈·卡尔瓦内斯；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 4 2016 本体中介的具有数据可处理描述逻辑的查询应答。 Zbl 1358.68086号 梅亨·宾文努；马格达莱娜·奥尔蒂斯 17 2015 轻量级描述逻辑中的常规路径查询：复杂性和算法。 Zbl 1336.68243号 梅亨·宾文努；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 8 2015 通过交替树自动机回答表达描述逻辑中的常规路径查询。 Zbl 1360.68801号 迭戈·卡尔瓦内斯；托马斯·艾特；马格达莱娜·奥尔蒂斯 7 2014 推理中否定查询答案的解释DL-Lite（DL-Lite）. Zbl 1361.68222号 迭戈·卡尔瓦内斯；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯；乔治·斯特凡诺尼 4 2013 描述逻辑中的推理和查询回答。 Zbl 1251.68228号 马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 5 2012 在描述逻辑中使用节点进行连接查询应答（\mathcal S\mathcall H\）。 兹比尔1238.68153 托马斯·艾特；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 4 2012 描述逻辑中的问答：节点方法。 Zbl 1246.68207号 托马斯·艾特；卡斯滕·卢茨；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 8 2009 通过tableaux表示描述逻辑中查询应答的数据复杂性。 Zbl 1154.68102号 马格达莱娜·奥尔蒂斯；迭戈·卡尔瓦内斯；托马斯·艾特 17 2008 描述逻辑Horn-\（\mathcal{SHIQ}\）中的查询应答。 Zbl 1178.68558号 托马斯·艾特；格奥尔格·戈特洛布；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 7 2008 使用结进行推理。 Zbl 1182.68276号 托马斯·艾特；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 三 2008 安全信念语义中的强否定与等价。 Zbl 1151.03018号 马格达莱娜·奥尔蒂斯；毛里西奥索里奥 2 2007 所有引用的出版物 前5名被引用出版物 全部的 前5名101位作者引用 9 卡斯滕·卢茨 7 迭戈·卡尔瓦内斯 7 马格达莱娜·奥尔蒂斯 6 弗兰克·沃尔特 5 托马斯·艾特 4 朱塞佩·德贾科莫 4 莫里齐奥·伦泽里尼 4 里卡多·罗萨蒂 4 弗拉迪斯拉夫·里日科夫 4 西蒙库斯，曼塔斯 4 迈克尔·维克托洛维奇（Michael Viktorovich） 三 梅亨·宾文努 三 罗马人孔查科夫 三 Alisa Kovtunova 三 多梅尼科·伦博 2 塞尔吉奥·阿布里奥拉 2 亚历山德罗·阿塔尔 2 巴托斯·贝德纳西克 2 Stefan博格沃特 2 埃琳娜·博托埃娃 2 圣地亚哥Cifuentes 2 控制台，Marco 2 克里斯蒂娜·费尔 2 保罗·瓜利亚多 2 亚兹米恩·安吉利卡，伊瓦涅兹·加西亚 2 让·克里斯托夫·荣格 2 帕特里克·科普曼 2 Leonid O·利金。 2 Martinez、Maria Vanina 2 尼娜·帕达尔 2 安东尼拉·波吉 2 伊南·塞兰 1 费利西达·阿瓜多 1 什奇蓬贾·艾哈迈塔吉 1 本杰明·阿米诺夫 1 Franz巴德 1 巴勃罗·巴塞洛 1 皮耶罗·安德里亚·博纳蒂 1 卡米尔·布尔高 1 乔恩·海尔·布伦纳斯 1 佩德罗·卡巴拉尔 1 马可·卡洛蒂 1 JoséLuis Carbarlido Carranza 1 卡瑟尔·凯特琳 1 克劳迪娅·考利 1 克莱门斯·杜伯斯拉夫 1 马龙·杜马 1 瑞希德·埃哈希德 1 豪尔赫·范丁诺 1 迈克尔·芬克 1 奥斯卡·菲克 1 盖尔·方丹 1 沃尔特·福克尔 1 恩里科·弗兰科尼 1 格利姆，伯尔特 1 塞尔吉奥·格雷科 1 维科尔·古蒂雷斯·巴苏尔托 1 法贾尔·海法尼 1 伊恩·霍洛克斯 1 乔瓦姆巴蒂斯塔·伊安尼 1 斯坦尼斯拉夫·基科特 1 鲍里斯·科涅夫 1 托马斯·克伦瓦尔纳 1 Krötzsch，马库斯 1 安蒂·库西斯托 1 法布里奇奥·玛丽亚·马吉 1 毛里西奥·马特尔 1 克里斯蒂安·莫里纳罗 1 马尔科·蒙塔利 1 阿尼埃洛·穆拉诺 1 菲利普·莫拉克 1 毛里西奥·奥索里奥。 1 安娜·奥扎基 1 拉斐尔·佩尼亚洛萨 1 吉尔伯托·佩雷斯 1 Edwin Pin Baque先生 1 Edwin别针 1 尼尔·皮特曼 1 Polleres，阿克塞尔 1 伊恩·普拉特·哈特曼 1 Przybyłko，马钦 1 胡安·卢特（Juan L.Reutter）。 1 玛丽亚诺·罗德里格斯·穆罗 1 米盖尔·罗梅罗 1 萨沙·鲁宾 1 Leif Sabellek 1 Ulrike萨特勒 1 罗马辛德劳 1 马库斯·施密德。 1 Daria A.Stepanova。 1 马丁·斯特雷克 1 米夏·托马佐 1 卡米洛·索恩 1 索菲·托雷特 1 伊琳娜·特鲁比西纳 1 安妮·亚斯敏（Anni-Yasmin Turhan） 1 莫西·亚亚科夫·瓦尔迪 1 康塞普西翁·维达尔 1 约翰·彼得·沃纳 1 克里斯托夫·韦登巴赫 …还有1位作者 全部的 前5名17篇连载文章中引用 8 人工智能 4 计算机科学中的逻辑方法 三 计算机与系统科学杂志 三 信息与计算 三 逻辑程序设计理论与实践 2 人工智能研究杂志 2 数学与人工智能年鉴 1 信息处理信件 1 Studia Logica公司 1 理论计算机科学 1 自动推理杂志 1 国际近似推理杂志 1 计算的形式方面 1 应用非经典逻辑杂志 1 计算系统理论 1 机器学习研究杂志（JMLR） 1 应用逻辑杂志 在4个字段中引用 54 计算机科学（68至XX） 11 数理逻辑与基础（03-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文