Roland Kaminski

	2011
16		Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Multi-Criteria Optimization in Answer Set Programming. ICLP (Technical Communications) 2011: 1-10
15		Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub: Advances in gringo Series 3. LPNMR 2011: 345-351
14		Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller: A Portfolio Solver for Answer Set Programming: Preliminary Report. LPNMR 2011: 352-357
13		Martin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub: plasp: A Prototype for PDDL-Based Planning in ASP. LPNMR 2011: 358-363
12		Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor: Cluster-Based ASP Solving with claspar. LPNMR 2011: 364-369
11		Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub: Reactive Answer Set Programming. LPNMR 2011: 54-66
10		Martin Gebser, Roland Kaminski, Torsten Schaub: aspcud: A Linux Package Configuration Tool Based on Answer Set Programming LoCoCo 2011: 12-25
9		Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Challenges in Answer Set Solving. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 74-90
8		Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Thomas Schneider: Potassco: The Potsdam Answer Set Solving Collection. AI Commun. 24(2): 107-124 (2011)
7		Martin Gebser, Roland Kaminski, Torsten Schaub: Complex Optimization in Answer Set Programming CoRR abs/1107.5742: (2011)
6		Martin Gebser, Roland Kaminski, Torsten Schaub: Complex optimization in answer set programming. TPLP 11(4-5): 821-839 (2011)
	2009
5		Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. ICLP 2009: 250-264
4		Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor: A Simple Distributed Conflict-Driven Answer Set Solver. LPNMR 2009: 490-495
3		Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele: On the Input Language of ASP Grounder Gringo. LPNMR 2009: 502-508
2		Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Experiences Running a Parallel Answer Set Solver on Blue Gene. PVM/MPI 2009: 64-72
	2008
1		Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele: Engineering an Incremental ASP Solver. ICLP 2008: 190-205

Coauthor Index

1	Enrico Ellguth	[4]
2	Martin Gebser	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
3	Torsten Grote	[11]
4	Markus Gusowski	[4]
5	Benjamin Kaufmann	[1] [2] [4] [5] [8] [9] [12] [14] [16]
6	Murat Knecht	[13]
7	Arne König	[15]
8	Stefan Liske	[4]
9	Max Ostrowski	[1] [3] [8]
10	Torsten Schaub	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
11	Lars Schneidenbach	[2] [4]
12	Marius Thomas Schneider	[8] [14]
13	Bettina Schnor	[2] [4] [12]
14	Sven Thiele	[1] [3]
15	Stefan Ziller	[14]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page