×
作者ID: 卢茨·卡斯滕“Lutz,Carsten”最近发表的zbMATH文章
发布日期: 卡斯滕·卢茨;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·伍尔德里奇。

按年份列出的出版物

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名

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 计算机科学评论

按年份列出的引文