2009 IEEE International Conference on Bioinformatics and Biomedicine (2009)
Washington, D.C., USA
Nov. 1, 2009 to Nov. 4, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/BIBM.2009.9
In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean networks in terms of ease of use, while at the same time being more expressive. As we demonstrate for the particularcase of a fission yeast network, all information present in a boolean network, as well as relevant background assumptions,can be expressed explicitly in an answer set program. Moreover, readily available answer set solvers can then be used to find the stable states of the network.
Biological system modeling, Logic, Artificial intelligence
M. De Cock, D. Vermeir, T. Fayruzov and C. Cornelis, "Modeling Protein Interaction Networks with Answer Set Programming," 2009 IEEE International Conference on Bioinformatics and Biomedicine(BIBM), Washington, D.C., USA, 2009, pp. 99-104.