Folgen
Sven Thiele
Sven Thiele
Potassco Solutions GmbH
Bestätigte E-Mail-Adresse bei potassco.com - Startseite
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
2732007
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
1752008
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
1612011
A User’s Guide to gringo, clasp, clingo, and iclingo
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
1612008
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
106*2015
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
1062010
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
1032017
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
1012017
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
982013
Metabolic Network Expansion with Answer Set Programming
T Schaub, S Thiele
Logic Programming 25th International Conference, 312-326, 2009
682009
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
512014
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
502009
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
462005
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
432014
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
352010
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
312012
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
262013
CNApy: a CellNetAnalyzer GUI in Python for analyzing and designing metabolic networks
S Thiele, A von Kamp, PS Bekiaris, P Schneider, S Klamt
Bioinformatics 38 (5), 1467-1469, 2022
212022
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
212007
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
192016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20