首页期刊浏览 2024年11月28日星期四

登录注册

全文

	有本地全文	9篇
	有全文链接	1篇

出版年度

	2020	2篇
	2018	1篇
	2017	3篇
	2016	2篇
	2015	1篇

2008

1篇

作者

	Carsten Lutz	10篇
	Jean Christoph Jung	5篇
	Frank Wolter	3篇
	Mauricio Martel	3篇
	Thomas Schneider	3篇

	Aniello Murano	1篇
	Antti Kuusisto	1篇
	Cristina Feier	1篇
	Franz Baader	1篇
	Lutz Schröder	1篇
	Meghyn Bienvenu	1篇
	Moshe Y. Vardi	1篇
	Piero A. Bonatti	1篇
	Victor Gutierrez-Basulto	1篇

文章类型

Research Article

1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	6篇
	Journal of Artificial Intelligence Research	3篇
	Logical Methods in Computer Science	1篇

学科主题

计算技术、计算机技术

10篇

语种

英文

10篇

国别/地区

	德国	7篇
	美国	3篇

检索条件:"( ( 高级检索(( ((AU:(("Carsten Lutz")))) )) ) )"

共 10 条记录

排序：全选导出：

1.The Complexity of Enriched Mu-Calculi

作　　者：Piero A. Bonatti ;Carsten Lutz ;Aniello Murano 等

出　　处：Logical Methods in Computer Science. 2008 ;4(03).doi:10.2168/LMCS-4(3:11)2008

出版社：Technical University of Braunschweig

文章 ID：47109807

文章详细全文下载
2.Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk)

作　　者：Cristina Feier ;Antti Kuusisto ;Carsten Lutz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;68:1:1-1:17.doi:10.4230/LIPIcs.ICDT.2017.1

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：191698389

文章详细全文下载
3.Conservative Extensions in Guarded and Two-Variable Fragments

作　　者：Jean Christoph Jung ;Carsten Lutz ;Mauricio Martel 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:108:1-108:14.doi:10.4230/LIPIcs.ICALP.2017.108

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：198372062

文章详细全文下载
4.Conservative Extensions in Horn Description Logics with Inverse Roles

作　　者：Jean Christoph Jung ;Carsten Lutz ;Mauricio Martel 等

出　　处：Journal of Artificial Intelligence Research. 2020 ;68:365-411.

出版社：American Association of Artificial

文章 ID：255880564

文章详细全文下载
5.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Carsten Lutz ;Jean Christoph Jung

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;155::i-:xvi.doi:10.4230/LIPIcs.ICDT.2020.0

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255823513

文章详细全文下载
6.Querying the Unary Negation Fragment with Regular Path Expressions

作　　者：Jean Christoph Jung ;Carsten Lutz ;Mauricio Martel 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;98:15:1-15:18.doi:10.4230/LIPIcs.ICDT.2018.15

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220015229

文章详细
7.Probabilistic Description Logics for Subjective Uncertainty

作　　者：Victor Gutierrez-Basulto ;Jean Christoph Jung ;Carsten Lutz 等

出　　处：Journal of Artificial Intelligence Research. 2017 ;58:1-66.

出版社：American Association of Artificial

文章 ID：216537523

文章详细全文下载
8.Query and Predicate Emptiness in Ontology-Based Data Access

作　　者：Franz Baader ;Meghyn Bienvenu ;Carsten Lutz 等

出　　处：Journal of Artificial Intelligence Research. 2016 ;56:1-59.

出版社：American Association of Artificial

文章 ID：216537562

文章详细全文下载
9.On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems

作　　者：Carsten Lutz ;Frank Wolter

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;31:363-379.doi:10.4230/LIPIcs.ICDT.2015.363

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846728

文章详细全文下载
10.Complexity and Expressive Power of Ontology-Mediated Queries (Invited Talk)

作　　者：Carsten Lutz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;47:2:1-2:11.doi:10.4230/LIPIcs.STACS.2016.2

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847216

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有