Sven Thiele
Titel
Zitiert von
Zitiert von
Jahr
Gringo: A New Grounder for Answer Set Programming
M Gebser, T Schaub, S Thiele
Logic Programming and Nonmonotonic Reasoning 9th International Conference …, 2007
2382007
Engineering an Incremental ASP Solver
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
Logic Programming 24th International Conference, 190-205, 2008
1512008
Detecting inconsistencies in large biological networks with answer set programming
M Gebser, T Schaub, S Thiele, P Veber
Theory and Practice of Logic Programming 11 (Special Issue 2-3), 323-360, 2011
1382011
A User’s Guide to gringo, clasp, clingo, and iclingo
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
1102008
Repair and Prediction (Under Inconsistency) in Large Biological Networks with Answer Set Programming
M Gebser, C Guziolowski, M Ivanchev, T Schaub, A Siegel, S Thiele, ...
Twelfth International Conference on the Principles of Knowledge …, 2010
932010
Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming
C Guziolowski, S Videla, F Eduati, S Thiele, T Cokelaer, A Siegel, ...
Bioinformatics 29 (18), 2320-2326, 2013
712013
Metabolic Network Expansion with Answer Set Programming
T Schaub, S Thiele
Logic Programming 25th International Conference, 312-326, 2009
552009
Use of CellNetAnalyzer in biotechnology and metabolic engineering
A von Kamp, S Thiele, O Hädicke, S Klamt
Journal of biotechnology 261, 221-228, 2017
512017
Potassco User Guide
M Gebser, R Kaminski, B Kaufmann, M Lindauer, M Ostrowski, J Romero, ...
Institute for Informatics, University of Potsdam, second edition edition, 2015
462015
On the Input Language of ASP Grounder Gringo
M Gebser, R Kaminski, M Ostrowski, T Schaub, S Thiele
Logic Programming and Nonmonotonic Reasoning 10th International Conference …, 2009
442009
Platypus: A Platform for Distributed Answer Set Solving
J Gressmann, T Janhunen, RE Mercer, T Schaub, S Thiele, R Tichy
Logic Programming and Nonmonotonic Reasoning 8th International Conference …, 2005
442005
Meneco, a Topology-Based Gap-Filling Tool Applicable to Degraded Genome-Wide Metabolic Networks
S Prigent, C Frioux, SM Dittami, S Thiele, A Larhlimi, G Collet, F Gutknecht, ...
PLOS Computational Biology 13 (1), e1005276, 2017
432017
Learning Boolean logic models of signaling networks with ASP
S Videla, C Guziolowski, F Eduati, S Thiele, M Gebser, J Nicolas, ...
Theoretical Computer Science, 2014
312014
The genome-scale metabolic network of Ectocarpus siliculosus (EctoGEM): a resource to study brown algal physiology and beyond
S Prigent, G Collet, SM Dittami, L Delage, F de Corny, O Dameron, ...
The Plant Journal, 2014
312014
The BioASP Library: ASP Solutions for Systems Biology
M Gebser, A Konig, T Schaub, S Thiele, P Veber
Tools with Artificial Intelligence (ICTAI), 2010 22nd IEEE International …, 2010
292010
COBA 2.0: A Consistency-Based Belief Change System
JP Delgrande, DH Liu, T Schaub, S Thiele
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th …, 2007
202007
Revisiting the Training of Logic Models of Protein Signaling Networks with ASP
S Videla, C Guziolowski, F Eduati, S Thiele, N Grabe, J Saez-Rodriguez, ...
Computational Methods in Systems Biology 10th International Conference, 342-361, 2012
192012
Extending the Metabolic Network of Ectocarpus Siliculosus using Answer Set Programming
G Collet, D Eveillard, M Gebser, S Prigent, T Schaub, A Siegel, S Thiele
Logic Programming and Nonmonotonic Reasoning 12th International Conference …, 2013
182013
Putative bacterial interactions from metagenomic knowledge with an integrative systems ecology approach
P Bordron, M Latorre, MP Cortés, M González, S Thiele, A Siegel, ...
MicrobiologyOpen 5 (1), 106-117, 2016
142016
Extended notions of sign consistency to relate experimental data to signaling and regulatory network topologies
S Thiele, L Cerone, J Saez-Rodriguez, A Siegel, C Guziołowski, S Klamt
BMC Bioinformatics 16, 2015
132015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20