| 2008 |
|---|
| 6 | 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 |
| 5 | EE | Martin Gebser,
Roland Kaminski,
Benjamin Kaufmann,
Max Ostrowski,
Torsten Schaub,
Sven Thiele:
Engineering an Incremental ASP Solver.
ICLP 2008: 190-205 |
| 2007 |
|---|
| 4 | EE | James P. Delgrande,
Daphne H. Liu,
Torsten Schaub,
Sven Thiele:
COBA 2.0: A Consistency-Based Belief Change System.
ECSQARU 2007: 78-90 |
| 3 | EE | Martin Gebser,
Torsten Schaub,
Sven Thiele:
GrinGo : A New Grounder for Answer Set Programming.
LPNMR 2007: 266-271 |
| 2006 |
|---|
| 2 | | Jean Gressmann,
Tomi Janhunen,
Robert E. Mercer,
Torsten Schaub,
Sven Thiele,
Richard Tichy:
On Probing and Multi-Threading in Platypus.
ECAI 2006: 392-396 |
| 2005 |
|---|
| 1 | EE | Jean Gressmann,
Tomi Janhunen,
Robert E. Mercer,
Torsten Schaub,
Sven Thiele,
Richard Tichy:
Platypus: A Platform for Distributed Answer Set Solving.
LPNMR 2005: 227-239 |
