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

登录注册

全文

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

出版年度

	2020	1篇
	2018	1篇
	2017	1篇

作者

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

文章类型

Research Article

1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Journal of Artificial Intelligence Research	1篇

学科主题

计算技术、计算机技术

3篇

语种

英文

3篇

国别/地区

	德国	2篇
	美国	1篇

检索条件:"( ( 高级检索(( ((AU:(("Mauricio Martel")))) )) ) )"

共 3 条记录

排序：全选导出：

1.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

文章详细全文下载
2.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

文章详细全文下载
3.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

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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