|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber |
Detecting inconsistencies in large biological networks with answer set programming.  |
TPLP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber |
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber |
The BioASP Library: ASP Solutions for Systems Biology. |
ICTAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Schaub, Sven Thiele |
Metabolic Network Expansion with Answer Set Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele |
On the Input Language of ASP Grounder Gringo. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele |
Engineering an Incremental ASP Solver. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber |
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | James P. Delgrande, Daphne H. Liu, Torsten Schaub, Sven Thiele |
COBA 2.0: A Consistency-Based Belief Change System. |
ECSQARU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Torsten Schaub, Sven Thiele |
GrinGo : A New Grounder for Answer Set Programming. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy |
On Probing and Multi-Threading in Platypus. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy |
Platypus: A Platform for Distributed Answer Set Solving. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")