Martin Gebser

2008
19		Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits: A Meta-Programming Technique for Debugging Answer-Set Programs. AAAI 2008: 448-453
18	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
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	Tomi Janhunen	[6]
4	Benjamin Kaufmann	[11] [13] [14]
5	Joohyung Lee	[7] [12]
6	Yuliya Lierler (Yuliya Babovich-Lierler, Yuliya Babovich)	[7] [12]
7	Thomas Linke	[2] [3] [4]
8	Lengning Liu	[9]
9	Gayathri Namasivayam	[9]
10	André Neumann	[2] [3] [4] [9] [11] [13] [14]
11	Jörg Pührer	[8] [19]
12	Torsten Schaub	[1] [2] [3] [4] [5] [6] [8] [9] [10] [11] [13] [14] [16] [17] [18] [19]
13	Sven Thiele	[10]
14	Hans Tompits	[8] [17] [18] [19]
15	Miroslaw Truszczynski	[9]
16	Stefan Woltran	[8] [17] [18]

Colors in the list of coauthors