编辑配置文件(在新选项卡中打开) 卡斯滕·卢茨 合著者距离 作者ID: 卢茨·卡斯滕 发布日期: 卡斯滕·卢茨;C.卢茨。 外部链接: ORCID公司 编入索引的文档: 79出版物自1999年以来,包括1本书和1个附加arXiv预打印 5名编辑的贡献 合著者: 66位合著者具有74联合出版物 1504合著作者 全部的 前5名合著者 9 单作者的 35 弗兰克·沃尔特 9 让·克里斯托夫·荣格 8 迈克尔·维克托洛维奇(Michael Viktorovich) 7 弗兰兹·巴德 6 德克·沃尔特 4 波纳蒂,皮耶罗·安德里亚 4 鲍里斯·科涅夫 4 马贾·米利奇奇 4 Ulrike萨特勒 3 克里斯蒂娜·费尔 3 安蒂·库西斯托 3 毛里西奥·马特尔 3 乌利·萨特勒 3 霍尔格·斯特姆 3 十个Cate,Balder David 2 梅亨·宾文努 2 埃琳娜·博托埃娃 2 西尔维奥·吉拉尔迪 2 斯特凡·格勒 2 维克托·古蒂雷兹-巴苏尔托 2 扬·赫拉迪克 2 伊恩·霍洛克斯 2 刘洪凯 2 马库斯·洛伊 2 阿尼埃洛·穆拉诺 2 弗拉迪斯拉夫·里日科夫 2 卢茨·施罗德 2 利迪亚·坦德拉 2 塞萨尔·蒂内利 2 安妮·亚斯敏(Anni-Yasmin Turhan) 2 莫西·亚亚科夫·瓦尔迪 1 亚历山德罗·阿塔尔 1 克莱门斯·贝辛格 1 V型斑点。 1 曼纽尔·博迪尔斯基 1 托马斯·艾特 1 马可·费拉 1 莫里斯·芬克 1 格利姆,伯尔特 1 谢尔盖·冈查洛夫 1 沃尔克·哈尔斯列夫 1 安德烈·赫尼奇 1 斯特芬·Hölldobler 1 埃尔达尔·卡拉巴耶夫 1 罗马人孔查科夫 1 阿迪拉·克里斯纳迪 1 奥利弗·库茨 1 马丁·兰格 1 克里斯托夫·Löding 1 拉尔夫·莫勒 1 马格达莱娜·奥尔蒂斯 1 安娜·奥扎基 1 法比奥·帕帕奇尼 1 罗伯特·皮罗 1 Przybyłko,马钦 1 哈德里安·普尔奇尼 1 西尔维奥·兰伊斯 1 Leif Sabellek 1 路易吉·索罗 1 乌多·塞弗特 1 塞马尼什诺娃 1 奥利维尔·塞雷 1 伊南·塞兰 1 西蒙库斯,曼塔斯 1 托马斯·斯佩克 1 Theißen,曼弗雷德 1 迈克尔·泰尔舍尔 1 海因里希·西奥多 1 弗兰克·沃尔特林斯特 1 迈克尔·J·伍尔德里奇。 全部的 前5名系列 7 人工智能 6 人工智能研究杂志 6 计算机科学中的逻辑方法 4 计算机科学课堂讲稿 3 ACM计算逻辑事务 2 符号逻辑杂志 2 Studia Logica公司 2 信息与计算 2 逻辑与计算杂志 2 应用非经典逻辑杂志 1 信息处理信件 1 ACM数据库系统事务 1 符号计算杂志 1 自动推理杂志 1 IGPL逻辑杂志 1 美国医学会杂志 1 计算机基础理论 1 物理审查信函 1 逻辑与代数程序设计杂志 1 机器学习研究杂志 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名领域 78 计算机科学(68至XX) 42 数学逻辑和基础(03-XX) 5 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 一般代数系统(08-XX) 1 统计力学,物质结构(82-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 73出版物有被引用566中的次345文件 引用人▼ 年份▼ 描述逻辑简介。 Zbl 1373.68002号 弗兰兹·巴德;伊恩·霍洛克斯;卡斯滕·卢茨;乌利·萨特勒 57 2017 描述逻辑SHIQ的连接查询应答。 Zbl 1183.68244号 格利姆,B。;卢茨,C。;霍洛克斯,I。;美国萨特勒。 29 2008 基于本体的数据访问:通过析取数据日志、CSP和MMSNP进行的研究。 Zbl 1474.68082号 梅亨·宾文努;10 Cate,Balder公司;卡斯滕·卢茨;弗兰克·沃尔特 24 2014 DL中界限的复杂性。 Zbl 1182.68275号 博纳蒂,P.A。;C.卢茨。;沃尔特,F。 21 2009 用具体领域描述逻辑-调查。 Zbl 1082.03032号 卡斯滕·卢茨 18 2003 布尔模态逻辑推理的复杂性。 Zbl 1031.03037号 卡斯滕·卢茨;乌尔里克·萨特勒 17 2002 决定描述逻辑中的不可分割性和保守扩展。 Zbl 1187.68572号 卡斯滕·卢茨;弗兰克·沃尔特 16 2010 爱因斯坦关系推广到非平衡态。 Zbl 1228.82051号 V型斑点。;斯派克,T。;C.卢茨。;美国塞弗特。;Bechinger,C。 15 2007 描述逻辑家族中的数据复杂性。 Zbl 1137.68593号 阿迪拉·克里斯纳迪;卡斯滕·卢茨 14 2007 富集计算的复杂性。 Zbl 1151.03016号 皮耶罗·A·博纳蒂。;卡斯滕·卢茨;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。 14 2008 描述逻辑本体的模型理论不可分割性和模块性。 Zbl 1329.68248号 鲍里斯·科涅夫;卡斯滕·卢茨;德克·沃尔瑟;弗兰克·沃尔特 13 2013 \({mathcal E})-抽象描述系统的连接。 Zbl 1085.68162号 奥利弗·库茨;卡斯滕·卢茨;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 13 2004 模态逻辑和双变量片段。 Zbl 0999.03020号 卡斯滕·卢茨;乌尔里克·萨特勒;弗兰克·沃尔特 12 2001 拓扑关系的模态逻辑。 Zbl 1126.03026号 卡斯滕·卢茨;弗兰克·沃尔特 12 2006 表达描述逻辑中连接查询应答的复杂性。 兹比尔1165.68503 卡斯滕·卢茨 12 2008 LTL过度描述逻辑公理。 Zbl 1351.68260号 弗兰兹·巴德;西尔维奥·吉拉尔迪;卡斯滕·卢茨 11 2012 重新审视术语推理的复杂性。 Zbl 0949.03030号 卡斯滕·卢茨 10 1999 模块化的形式属性。 Zbl 1242.68315号 鲍里斯·科涅夫;卡斯滕·卢茨;德克·沃尔特;弗兰克·沃尔特 10 2009 ATL可满足性确实是ExpTime-complete。 兹比尔1118.03010 德克·沃尔特;卡斯滕·卢茨;弗兰克·沃尔特;迈克尔·伍尔德里奇 10 2006 具有具体域和一般TBox的描述逻辑的tableau算法。 Zbl 1113.68090号 卡斯滕·卢茨;马贾·米利奇奇 10 2007 具有交集的命题动态逻辑的2-ExpTime下限。 Zbl 1100.03017号 马丁·兰格;卡斯滕·卢茨 10 2005 轻量级描述逻辑中的保守扩展(\mathcal{EL})。 Zbl 1213.68592号 卡斯滕·卢茨;弗兰克·沃尔特林斯特 10 2007 XPath 2.0表达片段中查询包含的复杂性。 Zbl 1325.68079号 10个Cate,Balder;卡斯滕·卢茨 9 2009 带有递归程序的命题动态逻辑。 Zbl 1123.03017号 克里斯托夫·Löding;卡斯滕·卢茨;奥利维尔·塞雷 9 2007 NExpTime—使用具体域完成描述逻辑。 Zbl 1367.68288号 卡斯滕·卢茨 9 2004 具有交集和逆向的PDL:可满足性和无限状态模型检查。 Zbl 1181.03034号 斯特凡·格勒;马库斯·洛伊;卡斯滕·卢茨 9 2009 描述逻辑中的问答:节点方法。 Zbl 1246.68207号 托马斯·艾特;卡斯滕·卢茨;马格达莱娜·奥尔蒂斯;西蒙库斯,曼塔斯 8 2009 实域上的定量时间逻辑:PSpace及以下。 Zbl 1109.03012号 卡斯滕·卢茨;德克·沃尔瑟;弗兰克·沃尔特 8 2007 基于本体的数据访问中的查询和谓词空性。 Zbl 1357.68226号 弗兰兹·巴德;梅亨·宾文努;卡斯滕·卢茨;弗兰克·沃尔特 7 2016 一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。受邀演讲。 Zbl 1402.68046号 克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨 7 2017 时间化表格。 Zbl 1050.03015号 罗马人孔查科夫;卡斯滕·卢茨;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 7 2004 描述逻辑与抽象描述系统的融合。 Zbl 0995.03025号 巴德尔,F。;C.卢茨。;Sturm,H。;F.沃尔特。 7 2002 模态逻辑中的保守扩展。 Zbl 1148.03014号 吉拉尔迪,S。;C.卢茨。;F.沃尔特。;Zakharyaschev,M。 7 2006 带有闭合谓词的本体论中介查询的数据复杂性。 Zbl 1509.68258号 卡斯滕·卢茨;伊南·塞兰;弗兰克·沃尔特 6 2019 具有常数域的模型化(mathcal A mathcal L mathcal C)的表决策算法。 Zbl 1010.03012号 卡斯滕·卢茨;霍尔格·斯特姆;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 6 2002 生命科学本体论的数学逻辑。 Zbl 1246.68211号 卡斯滕·卢茨;弗兰克·沃尔特 6 2009 使用描述逻辑和通用TBox推理操作。 Zbl 1152.68609号 刘洪凯;卡斯滕·卢茨;马贾·米利奇奇;弗兰克·沃尔特 6 2006 主观不确定性的概率描述逻辑。 Zbl 1401.68305号 维克托·古铁雷斯-巴苏尔托;让·克里斯托夫·荣格;卡斯滕·卢茨;卢茨·施罗德 5 2017 NEXPTIME—使用具体域完成描述逻辑。 Zbl 0988.68175号 卡斯滕·卢茨 5 2001 表aux用于具有恒定域的时间描述逻辑。 Zbl 0988.68178号 卡斯滕·卢茨;霍尔格·斯特姆;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 5 2001 用最大的不动点丰富(\mathcal{EL})-概念。 兹比尔1211.68408 卡斯滕·卢茨;罗伯特·皮罗;弗兰克·沃尔特 5 2010 带有原子程序否定的PDL。 Zbl 1185.03058号 卡斯滕·卢茨;德克·沃尔特 5 2005 具有具体域和GCI的描述逻辑的tableau算法。 Zbl 1142.68533号 卡斯滕·卢茨;马贾·米利奇奇 5 2005 表达性描述逻辑中实例级更新的基础。 兹比尔1252.68277 刘洪凯;卡斯滕·卢茨;马贾·米利奇奇;弗兰克·沃尔特 5 2011 使用保护片段进行本体论中介查询时的两分法。 Zbl 1446.68056号 安德烈·赫尼奇;卡斯滕·卢茨;法比奥·帕帕奇尼;弗兰克·沃尔特 4 2020 具有具体域和角色形成谓词运算符的描述逻辑。 Zbl 0940.03037号 沃尔克·哈尔斯列夫;卡斯滕·卢茨;拉尔夫·莫勒 4 1999 描述逻辑中有限模型推理的复杂性。 Zbl 1097.03022号 卡斯滕·卢茨;Ulrike萨特勒;利迪亚·坦德拉 4 2005 使用描述逻辑进行P空间推理。 Zbl 1018.03024号 卡斯滕·卢茨 4 2002 描述逻辑本体论的不可分割性和保守扩展:综述。 Zbl 1358.68282号 埃琳娜·博托埃娃;鲍里斯·科涅夫;卡斯滕·卢茨;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 4 2017 富集计算的复杂性。 Zbl 1133.68374号 皮耶罗·A·博纳蒂。;卡斯滕·卢茨;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。 4 2006 两变量逻辑以外的加权模型计数。 Zbl 1497.68227号 安蒂·库西斯托;卡斯滕·卢茨 4 2018 从tableaux到automata,用于描述逻辑。 Zbl 1273.03095号 弗兰兹·巴德;扬·赫拉迪克;卡斯滕·卢茨;弗兰克·沃尔特 4 2003 描述逻辑、理论组合等等。纪念弗兰兹·巴德60岁生日的文章。 Zbl 1428.68036号 3 2019 一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。 Zbl 1421.68037号 克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨 3 2019 精确学习轻量级描述逻辑本体。 Zbl 1469.68106号 鲍里斯·科涅夫;卡斯滕·卢茨;安娜·奥扎基;弗兰克·沃尔特 3 2018 使用正则路径表达式查询一元否定片段。 Zbl 1489.68077号 让·克里斯托夫·荣格;卡斯滕·卢茨;毛里西奥·马特尔;托马斯·施耐德 3 2018 描述逻辑本体的数据复杂性。 Zbl 1398.68517号 卡斯滕·卢茨;弗兰克·沃尔特 3 2017 关于一致性查询回答与约束满足问题之间的关系。 Zbl 1365.68214号 卡斯滕·卢茨;弗兰克·沃尔特 3 2015 重新讨论了限定描述逻辑的可决定性。 Zbl 1432.68428号 皮耶罗·博纳蒂;马可·费拉;卡斯滕·卢茨;路易吉·索罗;弗兰克·沃尔特 3 2015 将基于间隔的时态推理与通用TBox相结合。 Zbl 1082.68106号 卡斯滕·卢茨 3 2004 具有交叉和逆向的PDL是可判定的。 Zbl 1136.03316号 卡斯滕·卢茨 3 2005 本体下标记数据示例的逻辑可分性。 Zbl 07613163号 让·克里斯托夫·荣格;卡斯滕·卢茨;哈德良普尔西尼;弗兰克·沃尔特 3 2022 保护碎片和双变量碎片中的保守扩展。 Zbl 1442.03006号 让·克里斯托夫·荣格;卡斯滕·卢茨;毛里西奥·马特尔;托马斯·施耐德;弗兰克·沃尔特 2 2017 带有交叉和逆向的PDL是2EXP完成的。 Zbl 1180.03033号 斯特凡·格勒;马库斯·洛伊;卡斯滕·卢茨 2 2007 带有原子程序否定的PDL。 Zbl 1126.03315号 卡斯滕·卢茨;德克·沃尔特 2 2004 一种用于对概念和相似性进行推理的表格算法。 Zbl 1274.68411号 卡斯滕·卢茨;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 2 2003 从tableaux到automata,用于描述逻辑。 Zbl 1038.03033号 弗兰兹·巴德;扬·赫拉迪克;卡斯滕·卢茨;弗兰克·沃尔特 1 2003 查询\(\mathcal{ALC}\)本体的不可分割性。 Zbl 1478.68347号 埃琳娜·博托埃娃;卡斯滕·卢茨;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 1 2019 分支时间描述逻辑的复杂性。 Zbl 1327.68252号 维克托·古蒂雷兹-巴苏尔托;让·克里斯托夫·荣格;卡斯滕·卢茨 1 2012 描述逻辑中有限模型推理的复杂性。 Zbl 1278.68288号 卡斯滕·卢茨;乌尔里克·萨特勒;利迪亚·坦德拉 1 2003 时间描述逻辑之间的通信。 Zbl 1180.68254号 亚历山德罗·阿塔尔;卡斯滕·卢茨 1 2004 人工智能中的逻辑。第11届欧洲会议,JELIA 2008,德国德累斯顿,2008年9月28日至10月1日。诉讼程序。 Zbl 1146.68009号 1 2008 基于描述逻辑对本体论中介查询的复杂性和可重写性进行了完整分类。 Zbl 1495.68211号 卡斯滕·卢茨;Leif Sabellek 1 2022 本体下标记数据示例的逻辑可分性。 Zbl 07613163号 让·克里斯托夫·荣格;卡斯滕·卢茨;哈德里安·普尔奇尼;弗兰克·沃尔特 3 2022 基于描述逻辑对本体论中介查询的复杂性和可重写性进行了完整分类。 Zbl 1495.68211号 卡斯滕·卢茨;Leif Sabellek 1 2022 本体中的二分法通过保护片段进行中介查询。 Zbl 1446.68056号 安德烈·赫尼奇;卡斯滕·卢茨;法比奥·帕帕奇尼;弗兰克·沃尔特 4 2020 带有闭合谓词的本体论中介查询的数据复杂性。 Zbl 1509.68258号 卡斯滕·卢茨;伊南·塞兰;弗兰克·沃尔特 6 2019 描述逻辑、理论组合等等。纪念弗兰兹·巴德60岁生日的文章。 兹比尔1428.68036 3 2019 一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。 Zbl 1421.68037号 克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨 3 2019 查询\(\mathcal{ALC}\)本体的不可分割性。 Zbl 1478.68347号 埃琳娜·博托埃娃;卡斯滕·卢茨;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 1 2019 两变量逻辑以外的加权模型计数。 Zbl 1497.68227号 安蒂·库西斯托;卡斯滕·卢茨 4 2018 精确学习轻量级描述逻辑本体。 Zbl 1469.68106号 鲍里斯·科涅夫;卡斯滕·卢茨;安娜·奥扎基;弗兰克·沃尔特 3 2018 使用正则路径表达式查询一元否定片段。 Zbl 1489.68077号 让·克里斯托夫·荣格;卡斯滕·卢茨;毛里西奥·马特尔;托马斯·施耐德 3 2018 描述逻辑简介。 兹比尔1373.68002 弗兰兹·巴德;伊恩·霍洛克斯;卡斯滕·卢茨;乌利·萨特勒 57 2017 一元析取数据日志、MMSNP和表达描述逻辑中的可重写性。受邀演讲。 Zbl 1402.68046号 克里斯蒂娜·费尔;安蒂·库西斯托;卡斯滕·卢茨 7 2017 主观不确定性的概率描述逻辑。 Zbl 1401.68305号 维克托·古铁雷斯-巴苏尔托;让·克里斯托夫·荣格;卡斯滕·卢茨;卢茨·施罗德 5 2017 描述逻辑本体论的不可分割性和保守扩展:综述。 Zbl 1358.68282号 埃琳娜·博托埃娃;鲍里斯·科涅夫;卡斯滕·卢茨;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 4 2017 描述逻辑本体的数据复杂性。 Zbl 1398.68517号 卡斯滕·卢茨;弗兰克·沃尔特 3 2017 保护碎片和双变量碎片中的保守扩展。 Zbl 1442.03006号 让·克里斯托夫·荣格;卡斯滕·卢茨;毛里西奥·马特尔;托马斯·施耐德;弗兰克·沃尔特 2 2017 基于本体的数据访问中的查询和谓词空性。 Zbl 1357.68226号 弗兰兹·巴德;梅亨·宾文努;卡斯滕·卢茨;弗兰克·沃尔特 7 2016 关于一致查询回答和约束满足问题之间的关系。 Zbl 1365.68214号 卡斯滕·卢茨;弗兰克·沃尔特 3 2015 重新讨论了限定描述逻辑的可决定性。 Zbl 1432.68428号 皮耶罗·博纳蒂;马可·费拉;卡斯滕·卢茨;路易吉·索罗;弗兰克·沃尔特 3 2015 基于本体的数据访问:通过析取数据日志、CSP和MMSNP进行的研究。 Zbl 1474.68082号 梅根·比恩韦努;10 Cate,Balder公司;卡斯滕·卢茨;弗兰克·沃尔特 24 2014 描述逻辑本体的模型理论不可分割性和模块性。 Zbl 1329.68248号 鲍里斯·科涅夫;卡斯滕·卢茨;德克·沃尔特;弗兰克·沃尔特 13 2013 LTL过度描述逻辑公理。 Zbl 1351.68260号 弗兰兹·巴德;西尔维奥·吉拉尔迪;卡斯滕·卢茨 11 2012 分支时间描述逻辑的复杂性。 Zbl 1327.68252号 维克托·古蒂雷兹-巴苏尔托;让·克里斯托夫·荣格;卡斯滕·卢茨 1 2012 表达描述逻辑中实例级更新的基础。 Zbl 1252.68277号 刘洪凯;卡斯滕·卢茨;马贾·米利奇奇;弗兰克·沃尔特 5 2011 决定描述逻辑中的不可分割性和保守扩展。 Zbl 1187.68572号 卡斯滕·卢茨;弗兰克·沃尔特 16 2010 用最大的不动点丰富(\mathcal{EL})-概念。 Zbl 1211.68408号 卡斯滕·卢茨;罗伯特·皮罗;弗兰克·沃尔特 5 2010 DL中限制的复杂性。 Zbl 1182.68275号 博纳蒂,P.A。;C.卢茨。;F.沃尔特。 21 2009 模块化的形式属性。 Zbl 1242.68315号 鲍里斯·科涅夫;卡斯滕·卢茨;德克·沃尔特;弗兰克·沃尔特 10 2009 XPath 2.0表达片段中查询包含的复杂性。 Zbl 1325.68079号 10个Cate,Balder;卡斯滕·卢茨 9 2009 具有交集和逆向的PDL:可满足性和无限状态模型检查。 Zbl 1181.03034号 斯特凡·格勒;马库斯·洛伊;卡斯滕·卢茨 9 2009 描述逻辑中的问答:节点方法。 Zbl 1246.68207号 托马斯·艾特;卡斯滕·卢茨;马格达莱娜·奥尔蒂斯;西蒙库斯,曼塔斯 8 2009 生命科学本体论的数学逻辑。 Zbl 1246.68211号 卡斯滕·卢茨;弗兰克·沃尔特 6 2009 描述逻辑SHIQ的连接查询应答。 Zbl 1183.68244号 格利姆,B。;C.卢茨。;霍洛克斯,I。;美国萨特勒。 29 2008 富集计算的复杂性。 Zbl 1151.03016号 皮耶罗·A·博纳蒂。;卡斯滕·卢茨;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。 14 2008 表达描述逻辑中连接查询应答的复杂性。 Zbl 1165.68503号 卡斯滕·卢茨 12 2008 人工智能中的逻辑。第11届欧洲会议,2008年9月28日至10月1日,德国德累斯顿,JELIA 2008。诉讼程序。 Zbl 1146.68009号 1 2008 爱因斯坦关系推广到非平衡态。 Zbl 1228.82051号 V型斑点。;斯派克,T。;C.卢茨。;美国塞弗特。;Bechinger,C。 15 2007 描述逻辑\(\mathcal{EL}\)族中的数据复杂性。 Zbl 1137.68593号 阿迪拉·克里斯纳迪;卡斯滕·卢茨 14 2007 具有具体域和一般TBox的描述逻辑的tableau算法。 Zbl 1113.68090号 卡斯滕·卢茨;马贾·米利奇奇 10 2007 轻量级描述逻辑中的保守扩展(\mathcal{EL})。 Zbl 1213.68592号 卡斯滕·卢茨;弗兰克·沃尔特林斯特 10 2007 具有递归程序的命题动态逻辑。 Zbl 1123.03017号 克里斯托夫·Löding;卡斯滕·卢茨;奥利维尔·塞雷 9 2007 实域上的定量时间逻辑:PSpace及以下。 Zbl 1109.03012号 卡斯滕·卢茨;德克·沃尔特;弗兰克·沃尔特 8 2007 带有交叉和逆向的PDL是2EXP完成的。 Zbl 1180.03033号 斯特凡·格勒;马库斯·洛伊;卡斯滕·卢茨 2 2007 拓扑关系的模态逻辑。 Zbl 1126.03026号 卡斯滕·卢茨;弗兰克·沃尔特 12 2006 ATL可满足性确实是ExpTime-complete。 Zbl 1118.03010号 德克·沃尔特;卡斯滕·卢茨;弗兰克·沃尔特;迈克尔·伍尔德里奇 10 2006 模态逻辑中的保守扩展。 Zbl 1148.03014号 吉拉尔迪,S。;C.卢茨。;F.沃尔特。;Zakharyaschev,M。 7 2006 使用描述逻辑和通用TBox推理操作。 Zbl 1152.68609号 刘洪凯;卡斯滕·卢茨;马贾·米利奇奇;弗兰克·沃尔特 6 2006 富集计算的复杂性。 Zbl 1133.68374号 皮耶罗·A·博纳蒂。;卡斯滕·卢茨;阿尼埃洛·穆拉诺;莫舍·瓦尔迪。 4 2006 具有交集的命题动态逻辑的2-ExpTime下限。 Zbl 1100.03017号 马丁·兰格;卡斯滕·卢茨 10 2005 带有原子程序否定的PDL。 Zbl 1185.03058号 卡斯滕·卢茨;德克·沃尔特 5 2005 具有具体域和GCI的描述逻辑的tableau算法。 Zbl 1142.68533号 卡斯滕·卢茨;Miličić,玛雅 5 2005 描述逻辑中有限模型推理的复杂性。 Zbl 1097.03022号 卡斯滕·卢茨;乌尔里克·萨特勒;利迪亚·坦德拉 4 2005 具有交叉和逆向的PDL是可判定的。 Zbl 1136.03316号 卡斯滕·卢茨 3 2005 \({mathcal E})-抽象描述系统的连接。 Zbl 1085.68162号 奥利弗·库茨;卡斯滕·卢茨;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 13 2004 NExpTime—使用具体域完成描述逻辑。 Zbl 1367.68288号 卡斯滕·卢茨 9 2004 时间化表格。 兹比尔1050.03015 罗马人孔查科夫;卡斯滕·卢茨;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 7 2004 将基于间隔的时态推理与通用TBox相结合。 Zbl 1082.68106号 卡斯滕·卢茨 3 2004 带有原子程序否定的PDL。 Zbl 1126.03315号 卡斯滕·卢茨;德克·沃尔特 2 2004 时间描述逻辑之间的通信。 Zbl 1180.68254号 亚历山德罗·阿塔尔;卡斯滕·卢茨 1 2004 用具体领域描述逻辑-调查。 Zbl 1082.03032号 卡斯滕·卢茨 18 2003 从tableaux到automata,用于描述逻辑。 Zbl 1273.03095号 弗兰兹·巴德;扬·赫拉迪克;卡斯滕·卢茨;弗兰克·沃尔特 4 2003 用于概念和相似性推理的表格算法。 Zbl 1274.68411号 卡斯滕·卢茨;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 2 2003 从tableaux到automata,用于描述逻辑。 Zbl 1038.03033号 弗兰兹·巴德;扬·赫拉迪克;卡斯滕·卢茨;弗兰克·沃尔特 1 2003 描述逻辑中有限模型推理的复杂性。 Zbl 1278.68288号 卡斯滕·卢茨;乌尔里克·萨特勒;利迪亚·坦德拉 1 2003 布尔模态逻辑推理的复杂性。 Zbl 1031.03037号 卡斯滕·卢茨;乌尔里克·萨特勒 17 2002 描述逻辑与抽象描述系统的融合。 Zbl 0995.03025号 F·巴德。;C.卢茨。;Sturm,H。;F.沃尔特。 7 2002 具有常域的模态化\(\mathcal A\mathcal L\mathcal C\)的表决策算法。 Zbl 1010.03012号 卡斯滕·卢茨;霍尔格·斯特姆;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 6 2002 使用描述逻辑进行P空间推理。 Zbl 1018.03024号 卡斯滕·卢茨 4 2002 模态逻辑和双变量片段。 Zbl 0999.03020号 卡斯滕·卢茨;乌尔里克·萨特勒;弗兰克·沃尔特 12 2001 NEXPTIME—使用具体域完成描述逻辑。 Zbl 0988.68175号 卡斯滕·卢茨 5 2001 用于具有常量域的时间描述逻辑的Tableaux。 Zbl 0988.68178号 卡斯滕·卢茨;霍尔格·斯特姆;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 5 2001 重新审视术语推理的复杂性。 Zbl 0949.03030号 卡斯滕·卢茨 10 1999 具有具体域和角色形成谓词运算符的描述逻辑。 Zbl 0940.03037号 沃尔克·哈尔斯列夫;卡斯滕·卢茨;拉尔夫·莫勒 4 1999 所有引用出版物 前5名被引用出版物 全部的 前5名507位作者引用 22 卡斯滕·卢茨 19 弗兰兹·巴德 18 弗兰克·沃尔特 13 迈克尔·维克托洛维奇(Michael Viktorovich) 11 托马斯·艾特 11 马格达莱娜·奥尔蒂斯 10 Stéphane P.德姆里。 10 阿尼埃洛·穆拉诺 9 弗拉迪斯拉夫·里日科夫 8 迭戈·卡尔瓦内斯 8 伊恩·霍洛克斯 7 劳拉·佐丹奴 7 马丁·兰格 7 拉斐尔·佩尼亚洛萨 7 西蒙库斯,曼塔斯 6 亚历山德罗·阿塔尔 6 伯纳多·昆卡·格劳 6 罗马人孔查科夫 6 帕特里克·库普曼 6 安妮·亚斯敏(Anni-Yasmin Turhan) 5 波纳蒂,皮耶罗·安德里亚 5 克莱尔·狄克逊 5 马蒂亚斯·克诺尔 5 鲍里斯·科涅夫 5 安蒂·库西斯托 5 法比奥·莫加维罗 4 巴托斯·贝德纳西克 4 贝内迪克特·博利格 4 斯特凡·博格沃德 4 埃琳娜·博托埃娃 4 迈克尔·费希尔 4 保罗·加斯丁 4 里卡多·贡萨阿尔维斯 4 瓦伦丁·F·戈兰科。 4 让·克里斯托夫·荣格 4 叶夫根尼·哈萨克夫 4 科夫图诺娃,Alisa 4 阿吉·库鲁茨 4 奥利弗·库茨 4 约昂·莱特 4 莫里齐奥·伦泽里尼 4 塞巴斯蒂安·鲁道夫 4 乌尔里克·萨特勒 4 雷娜特·施密特(Renate A.Schmidt)。 4 卢西亚诺·塞拉菲尼 4 伊南·塞兰 4 洛雷达纳·索伦蒂诺 3 托马斯·奥戈特内斯 3 娜塔莎·亚历奇纳 3 法沙德·巴迪 3 贝内维特斯,马里奥·R·F·。 3 曼纽尔·博迪尔斯基 3 约瑟夫·布杜 3 卡塔琳娜·布里茨 3 弗洛里安·布鲁斯 3 塞兰、伊斯梅尔·伊尔坎 3 朱塞佩·德贾科莫 3 Deters,摩根 3 克里斯蒂娜·费尔 3 玛丽·何塞·福廷 3 斯坦尼斯拉夫·基科特 3 弗朗西斯科·克里格尔 3 库泽·埃尔卡,Ondřej 3 马赛尔·利普曼 3 维姆·马滕斯 3 马尔滕·马克思 3 马贾·米利奇奇 3 Cláudia Nalon 3 安娜·奥扎基 3 安东尼拉·波吉 3 亚历山大·拉比诺维奇 3 里卡多·罗萨蒂 3 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 3 雅库布·里德瓦尔 3 路易吉·索罗 3 弗朗索瓦州施瓦岑特鲁伯 3 德米特里·什卡托夫 3 翁贝托·斯特拉契亚 3 十个Cate,Balder David 3 塞塞迪尔·杜普雷,丹尼尔 3 伊万·约斯(Ivan Jóse) 3 斯特凡·沃尔特兰 2 什奇蓬贾·艾哈迈塔吉 2 克里斯蒂安·阿拉巴阿 2 Aranda-Corral,冈萨罗A。 2 菲利普·巴尔比亚尼 2 巴勃罗·巴塞洛 2 彼得·鲍姆加特纳 2 梅亨·宾文努 2 费尔南多·博比洛 2 博雷戈·迪亚斯(Borrego-Díaz,Joaquín) 2 Jean-François康多塔 2 克里斯蒂安·迪利茨 2 安德烈亚斯·埃克 2 Fernández-Lebrón,M.Magdalena 2 盖尔·方丹 2 法语,蒂姆 2 卡洛·阿尔贝托·福里亚 2 雷吉斯·加斯科 2 基亚拉·吉迪尼 …还有407名作者 全部的 前5名53篇连载文章中引用 39 人工智能 18 信息与计算 16 自动推理杂志 13 理论计算机科学 11 逻辑程序设计理论与实践 10 ACM计算逻辑事务 10 应用逻辑杂志 10 计算机科学中的逻辑方法 8 应用非经典逻辑杂志 8 数学与人工智能年鉴 5 计算机与系统科学杂志 5 符号逻辑杂志 5 Studia Logica公司 4 模糊集与系统 4 逻辑、语言与信息杂志 4 人工智能研究杂志 3 信息处理信件 3 信息科学 3 合成 3 纯逻辑与应用逻辑年鉴 3 国际近似推理杂志 3 计算系统理论 3 SibirskieÈlektronnye Matematicheskie Izvestiya公司 3 程序设计中的逻辑和代数方法杂志 3 Logicheskie Issledovaniya公司 2 信息学报 2 离散应用数学 2 哲学逻辑杂志 2 SIAM计算机杂志 2 MSCS公司。计算机科学中的数学结构 2 计算机基础理论 2 泛逻辑 1 数学笔记 1 信息传输问题 1 编程和计算机软件 1 西伯利亚数学杂志 1 计算的形式方面 1 机器学习 1 吉泰。实验与理论人工智能杂志 1 国际代数与计算杂志 1 控制论与系统分析 1 差分方程与应用杂志 1 美国医学会杂志 1 洛巴切夫斯基数学杂志 1 逻辑与代数程序设计杂志 1 逻辑与逻辑哲学 1 机器学习研究杂志 1 中欧数学杂志 1 国际智能计算与控制论杂志 1 符号逻辑述评 1 计算机科学前沿 1 维斯特尼克·乌德穆茨科戈大学。马特马提卡。梅哈尼卡。Komp'yuternye Nauki公司 1 计算机科学评论 全部的 前5名11个领域引用 307 计算机科学(68至XX) 151 数学逻辑和基础(03-XX) 8 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 组合数学(05-XX) 3 阶、格、有序代数结构(06-XX) 2 一般代数系统(08-XX) 2 一般拓扑结构(54至XX) 1 群论与推广(20-XX) 1 动力系统和遍历理论(37至XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文