1.Preserving Constraints with the Stable Chase

作　　者：David Carral ;Markus Kr{\"o}tzsch ;Maximilian Marx 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;98:12:1-12:19.doi:10.4230/LIPIcs.ICDT.2018.12

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

文章 ID：220015226

文章详细
2.On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics

作　　者：Sarah Alice Gaggl ;Sebastian Rudolph ;Hannes Straß

出　　处：Journal of Artificial Intelligence Research. 2021 ;70:1-64.doi:10.1613/jair.1.11348

出版社：American Association of Artificial

文章 ID：259294325

文章详细全文下载
3.Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

作　　者：Sebastian Rudolph ;Markus Krötzsch ;Pascal Hitzler

出　　处：Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:12)2012

出版社：Technical University of Braunschweig

文章 ID：264691930

文章详细全文下载
4.The Power of the Terminating Chase (Invited Talk)

作　　者：Markus Krötzsch ;Maximilian Marx ;Sebastian Rudolph

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;127:1-17.doi:10.4230/LIPIcs.ICDT.2019.3

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

文章 ID：230438520

文章详细全文下载

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

	Sebastian Rudolph	4篇
	Markus Krötzsch	2篇
	Maximilian Marx	2篇
	Ana Ozaki	1篇
	David Carral	1篇

	德国	3篇
	美国	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Sebastian Rudolph")))) )) ) )"

	Hannes Straß	1篇
	Markus Kr{\"o}tzsch	1篇
	Pascal Hitzler	1篇
	Sarah Alice Gaggl	1篇

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

	2021	1篇
	2019	1篇
	2018	1篇
	2012	1篇