Martin Gebser

	2012
59		Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Conflict-driven answer set solving: From theory to practice. Artif. Intell. 187: 52-89 (2012)
	2011
58		Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Multi-Criteria Optimization in Answer Set Programming. ICLP (Technical Communications) 2011: 1-10
57		Martin Gebser, Orkunt Sabuncu, Torsten Schaub: Finite Model Computation via Answer Set Programming. IJCAI 2011: 2626-2631
56		Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub: Advances in gringo Series 3. LPNMR 2011: 345-351
55		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
54		Martin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub: plasp: A Prototype for PDDL-Based Planning in ASP. LPNMR 2011: 358-363
53		Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor: Cluster-Based ASP Solving with claspar. LPNMR 2011: 364-369
52		Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub: Reactive Answer Set Programming. LPNMR 2011: 54-66
51		Martin Gebser, Roland Kaminski, Torsten Schaub: aspcud: A Linux Package Configuration Tool Based on Answer Set Programming LoCoCo 2011: 12-25
50		Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Challenges in Answer Set Solving. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 74-90
49		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)
48		Martin Gebser, Orkunt Sabuncu, Torsten Schaub: An incremental answer set programming based system for finite model computation. AI Commun. 24(2): 195-212 (2011)
47		Martin Gebser, Roland Kaminski, Torsten Schaub: Complex Optimization in Answer Set Programming CoRR abs/1107.5742: (2011)
46		Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber: Detecting inconsistencies in large biological networks with answer set programming. TPLP 11(2-3): 323-360 (2011)
45		Martin Gebser, Roland Kaminski, Torsten Schaub: Complex optimization in answer set programming. TPLP 11(4-5): 821-839 (2011)
44		Martin Gebser, Joohyung Lee, Yuliya Lierler: On elementary loops of logic programs. TPLP 11(6): 953-988 (2011)
43		Martin Gebser: Proof theory and algorithms for answer set programming. University of Potsdam 2011
	2010
42		Martin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber: The BioASP Library: ASP Solutions for Systems Biology. ICTAI (1) 2010: 383-389
41		Martin Gebser, Orkunt Sabuncu, Torsten Schaub: An Incremental Answer Set Programming Based System for Finite ModelComputation. JELIA 2010: 169-181
40		Martin Gebser, Torsten Grote, Torsten Schaub: Coala: A Compiler from Action Languages to ASP. JELIA 2010: 360-364
39		Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber: Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. KR 2010
38		Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Heuristics in Conflict Resolution CoRR abs/1005.1716: (2010)
37		Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber: Detecting Inconsistencies in Large Biological Networks with Answer Set Programming CoRR abs/1007.0134: (2010)
36		Martin Gebser, Joohyung Lee, Yuliya Lierler: On Elementary Loops of Logic Programs CoRR abs/1012.5847: (2010)
	2009
35		Martin Gebser, Benjamin Kaufmann, Torsten Schaub: Solution Enumeration for Projected Boolean Search Problems. CPAIOR 2009: 71-86
34		Martin Gebser, Max Ostrowski, Torsten Schaub: Constraint Answer Set Solving. ICLP 2009: 235-249
33		Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. ICLP 2009: 250-264
32		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
31		Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele: On the Input Language of ASP Grounder Gringo. LPNMR 2009: 502-508
30		Martin Gebser, Benjamin Kaufmann, Torsten Schaub: The Conflict-Driven Answer Set Solver clasp: Progress Report. LPNMR 2009: 509-514
29		Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub: Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. LPNMR 2009: 598-603
28		Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski: The Second Answer Set Programming Competition. LPNMR 2009: 637-654
27		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
26		Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub: Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. Int. J. Reconfig. Comp. 2009: (2009)
25		Martin Gebser, Mona Gharib, Robert E. Mercer, Torsten Schaub: Monotonic Answer Set Programming. J. Log. Comput. 19(4): 539-564 (2009)
	2008
24		Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits: A Meta-Programming Technique for Debugging Answer-Set Programs. AAAI 2008: 448-453
23		Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Advanced Preprocessing for Answer Set Solving. ECAI 2008: 15-19
22		Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran: Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. FoIKS 2008: 24-41
21		Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber: Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. ICLP 2008: 130-144
20		Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele: Engineering an Incremental ASP Solver. ICLP 2008: 190-205
19		Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub: Conflict-Driven Disjunctive Answer Set Solving. KR 2008: 422-432
	2007
18		Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran: Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. CENT 2007
17		Martin Gebser, Torsten Schaub: Generic Tableaux for Answer Set Programming. ICLP 2007: 119-133
16		Martin Gebser: Advanced Techniques for Answer Set Programming. ICLP 2007: 458-459
15		Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Conflict-Driven Answer Set Solving. IJCAI 2007: 386-
14		Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran: spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. INAP/WLP 2007: 247-252
13		Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Conflict-Driven Answer Set Enumeration. LPNMR 2007: 136-148
12		Martin Gebser, Joohyung Lee, Yuliya Lierler: Head-Elementary-Set-Free Logic Programs. LPNMR 2007: 149-161
11		Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: clasp : A Conflict-Driven Answer Set Solver. LPNMR 2007: 260-265
10		Martin Gebser, Torsten Schaub, Sven Thiele: GrinGo : A New Grounder for Answer Set Programming. LPNMR 2007: 266-271
9		Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski: The First Answer Set Programming System Competition. LPNMR 2007: 3-17
8		Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran: Debugging ASP Programs by Means of ASP. LPNMR 2007: 31-43
	2006
7		Martin Gebser, Joohyung Lee, Yuliya Lierler: Elementary Sets of Logic Programs. AAAI 2006: 244-249
6		Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub: What's a Head Without a Body? ECAI 2006: 769-770
5		Martin Gebser, Torsten Schaub: Tableau Calculi for Answer Set Programming. ICLP 2006: 11-25
	2005
4		Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ Approach to Answer Set Solving. Answer Set Programming 2005
3		Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ Approach to Answer Set Solving. LPAR 2005: 95-109
2		Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ System. LPNMR 2005: 422-426
1		Martin Gebser, Torsten Schaub: Loops: Relevant or Redundant? LPNMR 2005: 53-65

Coauthor Index

1	Christian Anger	[2] [3] [4] [6]
2	Christophe Bobda	[26] [29]
3	Stephen Bond	[28]
4	Martin Brain	[8]
5	Marc Denecker	[28]
6	Christian Drescher	[19] [38]
7	Enrico Ellguth	[32]
8	Mona Gharib	[25]
9	Torsten Grote	[19] [40] [52]
10	Markus Gusowski	[32]
11	Carito Guziolowski	[39]
12	Harold Ishebabi	[26] [29]
13	Mihail Ivanchev	[39]
14	Tomi Janhunen	[6]
15	Roland Kaminski	[20] [27] [31] [32] [33] [45] [47] [49] [50] [51] [52] [53] [54] [55] [56] [58]
16	Benjamin Kaufmann	[11] [13] [15] [19] [20] [23] [27] [30] [32] [33] [35] [38] [49] [50] [53] [55] [58] [59]
17	Murat Knecht	[54]
18	Arne König	[19] [42] [56]
19	Joohyung Lee	[7] [12] [36] [44]
20	Yuliya Lierler (Yuliya Babovich-Lierler, Yuliya Babovich)	[7] [12] [36] [44]
21	Thomas Linke	[2] [3] [4]
22	Stefan Liske	[32]
23	Lengning Liu	[9]
24	Philipp Mahr	[26] [29]
25	Robert E. Mercer	[25]
26	Gayathri Namasivayam	[9]
27	André Neumann	[2] [3] [4] [9] [11] [13] [15] [23]
28	Max Ostrowski	[19] [20] [31] [34] [49]
29	Jörg Pührer	[8] [14] [24]
30	Orkunt Sabuncu	[41] [48] [57]
31	Torsten Schaub	[1] [2] [3] [4] [5] [6] [8] [9] [10] [11] [13] [14] [15] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [29] [30] [31] [32] [33] [34] [35] [37] [38] [39] [40] [41] [42] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59]
32	Lars Schneidenbach	[27] [32]
33	Marius Thomas Schneider	[49] [55]
34	Bettina Schnor	[27] [32] [53]
35	Anne Siegel	[39]
36	Sven Thiele	[10] [20] [21] [31] [37] [39] [42] [46]
37	Hans Tompits	[8] [14] [18] [22] [24]
38	Miroslaw Truszczynski	[9] [28]
39	Björn Usadel	[21]
40	Philippe Veber	[21] [37] [39] [42] [46]
41	Joost Vennekens	[28]
42	Stefan Woltran	[8] [14] [18] [22]
43	Stefan Ziller	[55]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page