Automatic network reconstruction using ASP

Theory and Practice of Logic Programming

Volumn 11, Issue 4-5, 2011, Pages 749-766

  Durzinsky, Markus ^a   Marwan, Wolfgang ^a   Ostrowski, Max ^b   Schaub, Torsten ^b,d,e   Wagler, Annegret ^c  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

^c UNIVERSITÉ CLERMONT AUVERGNE   (France)

^d SIMON FRASER UNIVERSITY   (Canada)

^e GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET PROGRAMMING; AUTOMATIC NETWORKS; BIOLOGICAL MODELS; DEGREE OF AUTOMATION; EXCELLENT PERFORMANCE; EXPERIMENTAL DATA; FUNCTIONAL DEPENDENCY; MANUAL PROCESS; MATHEMATICAL FOUNDATIONS;

LOGIC PROGRAMMING; MOLECULAR BIOLOGY;

HEURISTIC ALGORITHMS;

EID: 80052401887     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068411000287     Document Type: Article

References (30)

1. AKUTSU, T., MIYANO, S., AND KUHARA, S. 1999. Identification of genetic networks from a small number of gene expression patterns under the boolean network model. In Proceedings of the Pacific Symposium on Biocomputing, vol. 4. World Scientific Press, 17-28.
2. BARAL, C. 2003. Knowledge Representation, Reasoning and Declarative Problem Solving. Oxford University Press, Oxford, UK.
3. BARAL, C., CHANCELLOR, K., TRAN, N., TRAN, N., JOY, A. AND BERENS, M. 2004. A knowledge based approach for representing and reasoning about signaling networks. In Proceedings of the Twelfth International Conference on Intelligent Systems for Molecular Biology/Third European Conference on Computational Biology (ISMB'04/ECCB'04).. 15-22.
4. DAL PALÙ, A., DOVIER, A. AND PONTELLI, E. 2009. Logic programming techniques in protein structure determination: Methodologies and results. See Erdem et al. (2009), 560-566.
5. DURZINSKY, M., MARWAN, W. AND WAGLER, A. 2010. Reconstructing extended petri nets. Journal of Mathematical Biology. Preprint series: 10-19. URL: http://www.fma.ovgu.de.
6. DURZINSKY, M., WAGLER, A. AND WEISMANTEL, R. 2008. A combinatorial approach to reconstruct petri nets from experimental data. Lecture Notes in Bioinformatics 5307, 328-346.
7. DURZINSKY, M., WAGLER, A. AND WEISMANTEL, R. 2010. An algorithmic framework for network reconstruction. Theoretical Computer Science. In Press, Corrected Proof. URL: http://www.sciencedirect.com.
8. DURZINSKY, M., WAGLER, A., WEISMANTEL, R., AND MARWAN, W. 2008. Automatic reconstruction of molecular and genetic networks from discrete time series data. Biosystems 93(3), 181-190.
9. DWORSCHAK, S., GRELL, S., NIKIFOROVA, V., SCHAUB, T., AND SELBIG, J. 2008. Modeling biological networks by action languages via answer set programming. Constraints 13(1-2), 21-65.
10. ERDEM, E. 2009. PHYLO-ASP: Phylogenetic systematics with answer set programming. See Erdem et al. (2009), 567-572.
11. ERDEM, E., LIN, F. AND SCHAUB, T., Eds. 2009. Proceedings of the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09). Lecture Notes in Artificial Intelligence, vol. 5753. Springer-Verlag.
12. ERDEM, E. AND TÜRE, F. 2008. Efficient haplotype inference with answer set programming. In Proceedings of the Twenty-third National Conference on Artificial Intelligence (AAAI'08), D. Fox and C. Gomes, Eds. AAAI, 436-441.
13. GEBSER, M., GUZIOLOWSKI, C., IVANCHEV, M., SCHAUB, T., SIEGEL, A., THIELE, S., AND VEBER, P. 2010. Repair and prediction (under inconsistency) in large biological networks with answer set programming. In Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR'10), F. Lin and U. Sattler, Eds. AAAI, 497-507.
14. GEBSER, M., KAMINSKI, R., KAUFMANN, B., OSTROWSKI, M., SCHAUB, T., AND THIELE, S. A user's guide to gringo, clasp, clingo, and iclingo. Accessed 7 June 2011. URL: http://potassco.sourceforge.net.
15. GEBSER, M., SCHAUB, T., THIELE, S., USADEL, B., AND VEBER, P. 2008. Detecting inconsistencies in large biological networks with answer set programming. In Proceedings of the Twentyfourth International Conference on Logic Programming (ICLP'08), M. Garcia de la Banda and E. Pontelli, Eds. Lecture Notes in Computer Science, vol. 5366. Springer-Verlag, Heidelberg, 130-144.
16. GEBSER, M., KAUFMANN, B., AND SCHAUB, T. 2009. Solution enumeration for projected Boolean search problems. In Proceedings of the Sixth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), W. van Hoeve and J. Hooker, Eds. Lecture Notes in Computer Science, vol. 5547. Springer-Verlag, Heidelberg, 71-86.
17. GELFOND, M. 2008. Answer sets. In Handbook of Knowledge Representation, V. Lifschitz, F. van Hermelen, and B. Porter, Eds. Elsevier, Chapter 7, 285-316.
18. GIFFORD, D. AND JAAKKOLA, T. 2001. Using graphical models and genomic expression data to statistically validate models of genetic regulatory networks. In Proceedings of the Pacific Symposium on Biocomputing vol. 6. 422-433. goforsys. Accessed 7 June 2011. URL: http://www.goforsys.de.
19. LAUBENBACHER, R. AND STIGLER, B. 2004. A computational algebra approach to the reverse engineering of gene regulatory networks. Journal of Theoretical Biology 229(4), 523-537.
20. LIANG, S., FUHRMAN, S. AND SOMOGYI, R. 1998. Reveal, a general reverse engineering algorithm for inference of genetic network architectures. Pacific Symposium on Biocomputing 3, 18-29.
21. LIN, F. AND ZHAO, Y. 2004. ASSAT: computing answer sets of a logic program by SAT solvers. Artificial Intelligence 157(1-2), 115-137.
22. MARWAN, W., WAGLER, A. AND WEISMANTEL, R. 2008. A mathematical approach to solve the network reconstruction problem. Mathematical Methods of Operatios Research 67(1), 117-132.
23. OSTROWSKI, M. 2011. Asp encoding for automatic network reconstruction. Accessed 7 June 2011. URL: http://www.cs.uni-potsdam.de/wv/ NetworkReconstruction/.
24. PEER, D., REGEV, A., ELIDAN, G. AND FRIEDMAN, N. 2001. Inferring subnetworks from perturbed expression profiles. Bioinformatics 17(suppl 1), 215-224.
25. REPSILBER, D., LILJENSTRM, H. AND ANDERSSON, S. 2002. Reverse engineering of regulatory networks: simulation studies on a genetic algorithm approach for ranking hypotheses. Biosystems 66(1-2), 31-41.
26. SCHAUB, T. AND THIELE, S. 2009. Metabolic network expansion with ASP. In Proceedings of the Twenty-fifth International Conference on Logic Programming (ICLP'09), P. Hill and D. Warren, Eds. Lecture Notes in Computer Science, vol. 5649. Springer-Verlag, Heidelberg, 312-326.
27. SIMONS, P., NIEMELÄ, I. AND SOININEN, T. 2002. Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2), 181-234.
28. SYRJÄNEN, T. Lparse 1.0 User's Manual. Accessed 7 June 2011. URL: http://www.tcs.hut.fi/Software/smodels/lparse.ps.gz.
29. WAGLER, A. 2011. Prediction of network structure. Modeling in Systems Biology 16, 307-336.
30. YEUNG, M., TEGN (C) R, J., AND COLLINS, J. 2002. Reverse engineering gene networks using singular value decomposition and robust regression. Proceedings of the National Academy of Sciences of the United States of America 99(9), 6163-6168.