1.aspcud: A Linux Package Configuration Tool Based on Answer Set Programming

作　　者：Martin Gebser ;Roland Kaminski ;Torsten Schaub

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;65:12-25.doi:10.4204/EPTCS.65.2

出版社：Open Publishing Association

文章 ID：83120285

文章详细全文下载
2.Multi-Criteria Optimization in Answer Set Programming

作　　者：Martin Gebser ;Roland Kaminski ;Benjamin Kaufmann 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;11:1-10.doi:10.4230/LIPIcs.ICLP.2011.1

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

文章 ID：186845935

文章详细全文下载
3.aspeed: ASP-based Solver Scheduling

作　　者：Holger Hoos ;Roland Kaminski ;Torsten Schaub 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;17:176-187.doi:10.4230/LIPIcs.ICLP.2012.176

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

文章 ID：186846112

文章详细全文下载
4.Answer Set Solving with Generalized Learned Constraints

作　　者：Martin Gebser ;Roland Kaminski ;Benjamin Kaufmann 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2016 ;52:1-15.doi:10.4230/OASIcs.ICLP.2016.9

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

文章 ID：186848965

文章详细全文下载
5.Theory Solving Made Easy with Clingo 5

作　　者：Martin Gebser ;Roland Kaminski ;Benjamin Kaufmann 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2016 ;52:1-15.doi:10.4230/OASIcs.ICLP.2016.2

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

文章 ID：186848980

文章详细全文下载

	Javier Romero	1篇
	Marius Schneider	1篇
	Max Ostrowski	1篇
	Patrick L{\"u}hne	1篇
	Philipp Wanko	1篇

	德国	4篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Roland Kaminski")))) )) ) )"

	Roland Kaminski	5篇
	Torsten Schaub	5篇
	Martin Gebser	4篇
	Benjamin Kaufmann	3篇
	Holger Hoos	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	OASIcs : OpenAccess Series in Informatics	2篇
	Electronic Proceedings in Theoretical Computer Science	1篇

	2016	2篇
	2012	1篇
	2011	2篇