Erratum: Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming (Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming (2013) 29:18 (2320-2326) DOI: 10.1093/bioinformatics/btt393);Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming

Bioinformatics

Volumn 29, Issue 18, 2013, Pages 2320-2326

  Guziolowski, Carito ^a   Videla, Santiago ^b,c,d   Eduati, Federica ^e   Thiele, Sven ^b,c   Cokelaer, Thomas ^e   Siegel, Anne ^b,c   Saez Rodriguez, Julio ^e  

^a ECOLE CENTRALE DE NANTES   (France)

^b CAMPUS DE BEAULIEU   (France)

^c INRIA   (France)

^d UNIVERSITY OF POTSDAM   (Germany)

^e EUROPEAN MOLECULAR BIOLOGY LABORATORY   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAM; HUMAN; LOGIC; PROTEOMICS; SIGNAL TRANSDUCTION; TUMOR CELL LINE; ARTICLE;

CELL LINE, TUMOR; HUMANS; LOGIC; PROTEOMICS; SIGNAL TRANSDUCTION; SOFTWARE;

EID: 84883476230     PISSN: 13674803     EISSN: 14602059     Source Type: Journal    
DOI: 10.1093/bioinformatics/btu357     Document Type: Erratum

References (25)

1. Alexopoulos,L.G. et al. (2010) Networks inferred from biochemical data reveal profound differences in toll-like receptor and inflammatory signaling between normal and transformed hepatocytes. Mol. Cell Proteomics, 9, 1849-1865.
2. Banga,J.R. (2008) Optimization in computational systems biology. BMC Syst. Biol., 2, 47.
3. Baral,C. (2003) Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge, UK.
4. Calzone,L. et al. (2010) Mathematical modelling of cell-fate decision in response to death receptor engagement. PLoS Comput. Biol., 6, e1000702.
5. Durzinsky,M. et al. (2011) Automatic network reconstruction using ASP. Theory Pract. Logic Program., 11, 749-766.
6. Fayruzov,T. et al. (2009) Modeling Protein Interaction Networks with Answer Set Programming. In: International Conference on Bioinformatics and Biomedicine, 2009. pp. 99-104.
7. Gebser,M. et al. (2010) Repair and prediction (under inconsistency) in large biological networks with answer set programming. In: 12th International Conference on Principles of Knowledge Representation and Reasoning. AAAI Press, pp. 497-507.
8. Gebser,M et al. (2013) Answer Set Solving in Practice. volume 19 of Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan and Claypool Publishers.
9. Klamt,S. et al. (2006) A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinformatics, 7, 56.
10. Kolitz,S.E. and Lauffenburger,D.A. (2012) Measurement and Modeling of Signaling at a Single-Cell Level. Biochemistry, 51, 7433-7443.
11. Kreutz,C. and Timmer,J. (2009) Systems biology: Experimental design. FEBS J., 276, 923-942.
12. Liu,G. et al. (2012) Answer set programming viamixed integer programming. In: 13th Int. Conf. on Principles of Knowledge Representation and Reasoning. AAAI Press.
13. Mitsos,A. et al. (2009) Identifying drug effects via pathway alterations using an integer linear programming optimization formulation on phosphoproteomic data. PLoS Comp. Biol., 5, e1000591.
14. Morris,M.K. et al. (2011) Training signaling pathway maps to biochemical data with constrained fuzzy logic: Quantitative analysis of liver cell responses to inflammatory stimuli. PLoS Comp. Biol., 7, e1001099.
15. Néron,B. et al. (2009) Mobyle: A new full web bioinformatics framework. Bioinformatics, 25, 3005-3011.
16. Ostrowski,M. and Schaub,T. (2012) ASP modulo CSP: The clingcon system. Theory Pract. Logic Program., 12, 485-503.
17. Papatheodorou,I. et al. (2012) Using Answer Set Programming to Integrate RNA Expression with Signalling Pathway Information to Infer How Mutations Affect Ageing. PLoS One, 7, e50881.
18. Ray,O. and Soh,T. (2012) Analyzing pathways using ASP-based approaches. Algebr. Numeric Biol., 6479, 167-183.
19. Saez-Rodriguez,J. et al. (2009) Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction. Mol. Syst. Biol., 5, 331.
20. Schaub,T. and Thiele,S. (2009) Metabolic network expansion with answer set programming. In: 25th International Conference on Logic Programming. volume 5649 of LNCS. Springer.
21. Sharan,R. and Karp,R.M. (2012) Reconstructing Boolean models of signaling. In: Research in Computational Molecular Biology. Springer Berlin Heidelberg, pp. 261-271.
22. Terfve,C.D. et al. (2012) CellNOptR: A flexible toolkit to train protein signaling networks to data using multiple logic formalisms. BMC Syst. Biol., 6, 133.
23. Videla,S. et al. (2012) Revisiting the Training of Logic Models of Protein Signaling Networks with ASP. In: 10th International Conference on Computational Methods in Systems Biology. LNCS. Springer, pp. 342-361.
24. Walter,E. and Pronzato,L. (1996) On the identifiability and distinguishability of nonlinear parametric models. Math. Comput. Simul., 42, 125-134.
25. Wang,R.S. et al. (2012) Boolean modeling in systems biology: An overview of methodology and applications. Phys. Biol., 9, 055001.