Martin Gebser

2008
23		Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits: A Meta-Programming Technique for Debugging Answer-Set Programs. AAAI 2008: 448-453
22	EE	Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Advanced Preprocessing for Answer Set Solving. ECAI 2008: 15-19
21	EE	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
20	EE	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
19	EE	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele: Engineering an Incremental ASP Solver. ICLP 2008: 190-205
18		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
17	EE	Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran: Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. CENT 2007
16	EE	Martin Gebser, Torsten Schaub: Generic Tableaux for Answer Set Programming. ICLP 2007: 119-133
15	EE	Martin Gebser: Advanced Techniques for Answer Set Programming. ICLP 2007: 458-459
14	EE	Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Conflict-Driven Answer Set Solving. IJCAI 2007: 386-
13	EE	Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Conflict-Driven Answer Set Enumeration. LPNMR 2007: 136-148
12	EE	Martin Gebser, Joohyung Lee, Yuliya Lierler: Head-Elementary-Set-Free Logic Programs. LPNMR 2007: 149-161
11	EE	Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: clasp : A Conflict-Driven Answer Set Solver. LPNMR 2007: 260-265
10	EE	Martin Gebser, Torsten Schaub, Sven Thiele: GrinGo : A New Grounder for Answer Set Programming. LPNMR 2007: 266-271
9	EE	Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski: The First Answer Set Programming System Competition. LPNMR 2007: 3-17
8	EE	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
6		Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub: What's a Head Without a Body? ECAI 2006: 769-770
5	EE	Martin Gebser, Torsten Schaub: Tableau Calculi for Answer Set Programming. ICLP 2006: 11-25
2005
4	EE	Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ Approach to Answer Set Solving. Answer Set Programming 2005
3	EE	Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ Approach to Answer Set Solving. LPAR 2005: 95-109
2	EE	Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub: The nomore++ System. LPNMR 2005: 422-426
1	EE	Martin Gebser, Torsten Schaub: Loops: Relevant or Redundant? LPNMR 2005: 53-65

Coauthor Index

1	Christian Anger	[2] [3] [4] [6]
2	Martin Brain	[8]
3	Christian Drescher	[18]
4	Torsten Grote	[18]
5	Tomi Janhunen	[6]
6	Roland Kaminski	[19]
7	Benjamin Kaufmann	[11] [13] [14] [18] [19] [22]
8	Arne König	[18]
9	Joohyung Lee	[7] [12]
10	Yuliya Lierler (Yuliya Babovich-Lierler, Yuliya Babovich)	[7] [12]
11	Thomas Linke	[2] [3] [4]
12	Lengning Liu	[9]
13	Gayathri Namasivayam	[9]
14	André Neumann	[2] [3] [4] [9] [11] [13] [14] [22]
15	Max Ostrowski	[18] [19]
16	Jörg Pührer	[8] [23]
17	Torsten Schaub	[1] [2] [3] [4] [5] [6] [8] [9] [10] [11] [13] [14] [16] [17] [18] [19] [20] [21] [22] [23]
18	Sven Thiele	[10] [19] [20]
19	Hans Tompits	[8] [17] [21] [23]
20	Miroslaw Truszczynski	[9]
21	Björn Usadel	[20]
22	Philippe Veber	[20]
23	Stefan Woltran	[8] [17] [21]

Colors in the list of coauthors