Learning Boolean logic models of signaling networks with ASP

Theoretical Computer Science

Volumn 599, Issue , 2015, Pages 79-101

  Videla, Santiago ^a,b,c   Guziolowski, Carito ^d   Eduati, Federica ^e   Thiele, Sven ^a,b   Gebser, Martin ^c   Nicolas, Jacques ^a,b   Saez Rodriguez, Julio ^e   Schaub, Torsten ^c   Siegel, Anne ^a,b  

^a CAMPUS DE BEAULIEU   (France)

^b INRIA   (France)

^c UNIVERSITY OF POTSDAM   (Germany)

^d ECOLE CENTRALE DE NANTES   (France)

^e EUROPEAN BIOINFORMATICS INSTITUTE   (United Kingdom)

Author keywords

Answer set programming; Boolean logic models; Combinatorial multi objective optimization; Signaling transduction networks; Systems biology

Indexed keywords

BACTERIOPHAGES; COMPUTER CIRCUITS; ENCODING (SYMBOLS); GENETIC ALGORITHMS; LARGE DATASET; LOGIC PROGRAMMING; MATHEMATICAL PROGRAMMING; MULTIOBJECTIVE OPTIMIZATION; SIGNAL ENCODING; SIGNALING; STOCHASTIC SYSTEMS;

ANSWER SET PROGRAMMING; BIOLOGICAL CONDITIONS; BOOLEAN LOGIC; MANUAL IDENTIFICATION; OPTIMIZATION PROBLEMS; PHOSPHORYLATION ACTIVITIES; SIGNALING TRANSDUCTION; SYSTEMS BIOLOGY;

LEARNING SYSTEMS;

EID: 84941740340     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2014.06.022     Document Type: Article

References (63)

1. Akutsu T., Kuhara S., Maruyama O., Miyano S. Identification of genetic networks by strategic gene disruptions and gene overexpressions under a boolean model. Theoret. Comput. Sci. Mar. 2003, 298(1):235-251.
2. Akutsu T., Tamura T., Horimoto K. Completing networks using observed data. Algorithmic Learning Theory 2009, 126-140. Springer, Berlin, Heidelberg.
3. Apt K.R., van Emden M.H. Contributions to the theory of logic programming. J. ACM 1982, 29(3):841-862.
4. Banga J. Optimization in computational systems biology. BMC Syst. Biol. 2008, 2(1):47.
5. Baral C. Knowledge Representation, Reasoning and Declarative Problem Solving 2003, Cambridge University Press.
6. Baral C., Chancellor K., Tran N., Tran N., Joy A., Berens M. A knowledge based approach for representing and reasoning about signaling networks. Proceedings of the Twelfth International Conference on Intelligent Systems for Molecular Biology/Third European Conference on Computational Biology (ISMB'04/ECCB'04) 2004, 15-22.
7. Berestovsky N., Nakhleh L. An evaluation of methods for inferring Boolean networks from time-series data. PLoS ONE 2013, 8(6). e66031.
8. Bollobás B. Combinatorics: Set Systems, Hypergraphs, Families of Vectors, and Combinatorial Probability 1986, Cambridge University Press.
9. Calzone L., Chabrier-Rivier N., Fages F., Soliman S. Machine learning biochemical networks from temporal logic properties. Lecture Notes in Computer Science 2006, vol. 4220:68-94. Springer, Berlin, Heidelberg. C. Priami, G. Plotkin (Eds.) Transactions on Computational Systems Biology VI.
10. Cerami E.G., Gross B.E., Demir E., Rodchenkov I., Babur O., Anwar N., Schultz N., Bader G.D., Sander C. Pathway Commons, a web resource for biological pathway data. Nucleic Acids Res. 2011, 39(Database issue). D685-D690.
11. Collet G., Eveillard D., Gebser M., Prigent S., Schaub T., Siegel A., Thiele S. Extending the metabolic network of Ectocarpus siliculosus using answer set programming. Lecture Notes in Artificial Intelligence 2013, vol. 8148:245-256. Springer-Verlag. P. Cabalar, T. Son (Eds.) Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13).
12. Corblin F., Fanchon E., Trilling L. Applications of a formal approach to decipher discrete genetic networks. BMC Bioinform. 2010, 11(1):385.
13. Corblin F., Fanchon E., Trilling L., Chaouiya C., Thieffry D. Automatic inference of regulatory and dynamical properties from incomplete gene interaction and expression data. Lecture Notes in Computer Science 2012, vol. 7223:25-30. Springer, Berlin, Heidelberg. M. Lones, S. Smith, S. Teichmann, F. Naef, J. Walker, M. Trefzer (Eds.) Information Processing in Cells and Tissues.
14. Durzinsky M., Marwan W., Ostrowski M., Schaub T., Wagler A. Automatic network reconstruction using ASP. Theory Pract. Log. Program. 2011, 11:749-766.
15. Fayruzov T., De Cock M., Cornelis C., Vermeir D. Modeling protein interaction networks with answer set programming. BIBM '09 Nov. 2009, 99-104. IEEE International Conference on Bioinformatics and Biomedicine.
16. Fayruzov T., Janssen J., Vermeir D., Cornelis C., Cock M.D. Modelling gene and protein regulatory networks with answer set programming. Int. J. Data Min. Bioinform. 2011, 5(2):209-229.
17. Folschette M., Paulevé L., Inoue K., Magnin M., Roux O. Concretizing the process hitting into biological regulatory networks. LNCS 2012, 166-186. Springer, Berlin, Heidelberg. D. Gilbert, M. Heiner (Eds.) Computational Methods in Systems Biology.
18. Freitas A.A. A critical review of multi-objective optimization in data mining. ACM SIGKDD Explor. Newsl. Dec. 2004, 6(2):77.
19. Gallo G., Longo G., Pallottino S., Nguyen S. Directed hypergraphs and applications. Discrete Appl. Math. 1993, 42(2-3):177-201.
20. Gebser M., Kaufmann B., Neumann A., Schaub T. CLASP: a conflict-driven answer set solver. Lecture Notes in Artificial Intelligence 2007, vol. 4483:260-265. Springer-Verlag. C. Baral, G. Brewka, J. Schlipf (Eds.) Proceedings of the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07).
21. Gebser M., Kaminski R., Ostrowski M., Schaub T., Thiele S. On the input language of ASP grounder Gringo. Lecture Notes in Artificial Intelligence 2009, vol. 5753:502-508. Springer-Verlag. E. Erdem, F. Lin, T. Schaub (Eds.) Proceedings of the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09).
22. Gebser M., Guziolowski C., Ivanchev M., Schaub T., Siegel A., Thiele S., Veber P. Repair and prediction (under inconsistency) in large biological networks with answer set programming. Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR'10) 2010, 497-507. AAAI Press. F. Lin, U. Sattler (Eds.).
23. Gebser M., Kaminski R., Schaub T. Complex optimization in answer set programming. Theory Pract. Log. Program. 2011, 11(4-5):821-839.
24. Gebser M., Schaub T., Thiele S., Veber P. Detecting inconsistencies in large biological networks with answer set programming. Theory Pract. Log. Program. 2011, 11(2-3):323-360.
25. Gebser M., Kaminski R., Kaufmann B., Schaub T. Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning 2012, Morgan and Claypool Publishers.
26. Gebser M., Kaufmann B., Schaub T. Multi-threaded ASP solving with clasp. Theory Pract. Log. Program. 2012, 12(4-5):525-545.
27. Gelfond M., Lifschitz V. The stable model semantics for logic programming. Proceedings of the Fifth International Conference and Symposium of Logic Programming (ICLP'88) 1988, 1070-1080. MIT Press. R. Kowalski, K. Bowen (Eds.).
28. Greenberg H.J., Hart W.E., Lancia G. Opportunities for combinatorial optimization in computational biology. INFORMS J. Comput. Jun. 2004, 16(3):211-231.
29. Guziolowski C., Kittas A., Dittmann F., Grabe N. Automatic generation of causal networks linking growth factor stimuli to functional cell state changes. FEBS J. 2012, 279(18):3462-3474.
30. Guziolowski C., Videla S., Eduati F., Thiele S., Cokelaer T., Siegel A., Saez-Rodriguez J. Exhaustively characterizing feasible logic models of a signaling network using answer set programming. Bioinformatics 2013, in press, http://dx.doi.org/10.1093/bioinformatics/btt393.
31. Handl J., Kell D.B., Knowles J. Multiobjective optimization in bioinformatics and computational biology. IEEE/ACM Trans. Comput. Biol. Bioinform. Apr. 2007, 4(2):279-292.
32. Ideker T.E., Thorsson V., Karp R.M. Discovery of regulatory interactions through perturbation: inference and experimental design. Pac. Symp. Biocomput. 2000, 5:305-316.
33. Inoue K. Logic programming for boolean networks. Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI'11). IJCAI/AAAI 2011, 924-930. T. Walsh (Ed.).
34. Kaminski R., Schaub T., Siegel A., Videla S. Minimal intervention strategies in logical signaling networks with answer set programming. Theory Pract. Log. Program. 2013, 13(4-5):675-690.
35. Kanehisa M., Goto S., Furumichi M., Tanabe M., Hirakawa M. KEGG for representation and analysis of molecular networks involving diseases and drugs. Nucleic Acids Res. Jan. 2010, 38(Database issue). D355-D360.
36. Kauffman S. Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theoret. Biol. Feb. 1969, 22(3):437-467.
37. Klamt S., Saez-Rodriguez J., Lindquist J., Simeoni L., Gilles E. A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinform. 2006, 7(1):56.
38. Klamt S., Haus U.-U., Theis F.J. Hypergraphs and cellular networks. PLoS Comput. Biol. 2009, 5(5):e1000385.
39. Liang S., Fuhrman S., Somogyi R. REVEAL, a general reverse engineering algorithm for inference of genetic network architectures. Pac. Symp. Biocomput. 1998, 3:19-29.
40. Macnamara A., Terfve C., Henriques D., Bernabé B.P., Saez-Rodriguez J. State-time spectrum of signal transduction logic models. Phys. Biol. Aug. 2012, 9(4):045003.
41. Marler R.T., Arora J.S. Survey of multi-objective optimization methods for engineering. Struct. Multidiscip. Optim. Apr. 2004, 26(6):369-395. 10.1007/s00158-003-0368-6.
42. McCluskey E.J. Minimization of Boolean functions. Bell Syst. Tech. J. 1956.
43. Mitsos A., Melas I., Siminelakis P., Chairakaki A., Saez-Rodriguez J., Alexopoulos L.G. Identifying drug effects via pathway alterations using an integer linear programming optimization formulation on phosphoproteomic data. PLoS Comput. Biol. Sep. 2009, 5(12):e1000591.
44. Morris M., Saez-Rodriguez J., Sorger P., Lauffenburger D.A. Logic-based models for the analysis of cell signaling networks. Biochemistry 2010, 49(15):3216-3224.
45. Papatheodorou I., Ziehm M., Wieser D., Alic N., Partridge L., Thornton J.M. Using answer set programming to integrate RNA expression with signalling pathway information to infer how mutations affect ageing. PLoS ONE Dec. 2012, 7(12):e50881.
46. Paulevé L., Richard A. Static analysis of boolean networks based on interaction graphs: a survey. Electronic Notes in Theoretical Computer Science Jun. 2012, 284:93-104.
47. Prill R.J., Saez-Rodriguez J., Alexopoulos L.G., Sorger P.K., Stolovitzky G. Crowdsourcing network inference: the DREAM predictive signaling network challenge. Sci. Signal. Sep. 2011, 4(189):mr7.
48. Ray O., Soh T. Analyzing pathways using ASP-based approaches. Algebraic and Numeric Biology 2012.
49. O. Ray, K. Whelan, R. King, Logic-based steady-state analysis and revision of metabolic networks with inhibition, in: Proceedings of the 2010 International Conference on Complex, Intelligent and Software Intensive Systems (CISIS '10), vol. 0, 2010, pp. 661-666.
50. Remy E., Ruet P., Thieffry D. Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework. Adv. in Appl. Math. 2008, 41(3):335-350.
51. Saadatpour A., Albert R. Boolean modeling of biological regulatory networks: a methodology tutorial. Methods Nov. 2012, 10.1016/j.ymeth.2012.10.012.
52. Saez-Rodriguez J., Alexopoulos L.G., Epperlein J., Samaga R., Lauffenburger D.A., Klamt S., Sorger P.K. Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction. Mol. Syst. Biol. 2009, 5:331.
53. Schaefer C.F., Anthony K., Krupa S., Buchoff J., Day M., Hannay T., Buetow K.H. PID: the pathway interaction database. Nucleic Acids Res. 2009, 37. (Database issue), D674-D679.
54. Schaub T., Thiele S. Metabolic network expansion with ASP. Lecture Notes in Computer Science 2009, vol. 5649:312-326. Springer-Verlag. P. Hill, D. Warren (Eds.) Proceedings of the Twenty-Fifth International Conference on Logic Programming (ICLP'09).
55. Sharan R., Karp R.M. Reconstructing Boolean models of signaling. Research in Computational Molecular Biology 2012, 261-271. Springer, Berlin, Heidelberg.
56. Shmulevich I., Dougherty E.R., Kim S., Zhang W. Probabilistic boolean networks: a rule-based uncertainty model for gene regulatory networks. Bioinformatics Jan. 2002, 18(2):261-274.
57. Shmulevich I., Saarinen A., Yli-Harja O., Astola J. Inference of genetic regulatory networks via best-fit extensions. Computational and Statistical Approaches to Genomics 2003, 197-210. Springer US. W. Zhang, I. Shmulevich (Eds.).
58. Stelling J., Sauer U., Szallasi Z., Doyle F., Doyle J. Robustness of cellular functions. Cell 2004, 118(6):675-685.
59. Terfve C.D.A., Cokelaer T., Henriques D., Macnamara A., Gonçalves E., Morris M., van Iersel M., Lauffenburger D.A., Saez-Rodriguez J. CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms. BMC Syst. Biol. Oct. 2012, 6(1):133.
60. Thomas R.R. Boolean formalization of genetic control circuits. J. Theoret. Biol. Nov. 1973, 42(3):563-585.
61. Thomas R. Regulatory networks seen as asynchronous automata: a logical description. J. Theoret. Biol. 1991, 153(1):1-23.
62. Videla S., Guziolowski C., Eduati F., Thiele S., Grabe N., Saez-Rodriguez J., Siegel A. Revisiting the training of logic models of protein signaling networks with ASP. LNCS 2012, 342-361. Springer, Berlin, Heidelberg. D. Gilbert, M. Heiner (Eds.) Computational Methods in Systems Biology.
63. Wang R.-S.R., Saadatpour A.A., Albert R.R. Boolean modeling in systems biology: an overview of methodology and applications. Phys. Biol. Sep. 2012, 9(5).