Search the dblp DataBase

Publications of Author

1. Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy
   On Probing and Multi-Threading in Platypus. [Citation Graph (0, 0)][DBLP]
   ECAI, 2006, pp:392-396 [Conf]
   
2. Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy
   Platypus: A Platform for Distributed Answer Set Solving. [Citation Graph (0, 0)][DBLP]
   LPNMR, 2005, pp:227-239 [Conf]
   
3. Martin Gebser, Torsten Schaub, Sven Thiele
   GrinGo : A New Grounder for Answer Set Programming. [Citation Graph (0, 0)][DBLP]
   LPNMR, 2007, pp:266-271 [Conf]
   
4. James P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele
   COBA 2.0: A Consistency-Based Belief Change System. [Citation Graph (0, 0)][DBLP]
   ECSQARU, 2007, pp:78-90 [Conf]
   
5. 
   Engineering an Incremental ASP Solver. [Citation Graph (, )][DBLP]
   
   
6. 
   Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. [Citation Graph (, )][DBLP]
   
   
7. 
   Metabolic Network Expansion with Answer Set Programming. [Citation Graph (, )][DBLP]
   
   
8. 
   Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. [Citation Graph (, )][DBLP]
   
   
9. 
   On the Input Language of ASP Grounder Gringo. [Citation Graph (, )][DBLP]
   
   
10. 
    Detecting Inconsistencies in Large Biological Networks with Answer Set Programming [Citation Graph (, )][DBLP]