Issues in reasoning about interaction networks in cells: Necessity of event ordering knowledge

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 2005, Pages 676-681

  Tran, Nam ^a   Baral, Chitta ^a   Shankland, Carron ^b  

^a Arizona State University   (United States)

^b UNIVERSITY OF STIRLING   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; CELLS; GRANULAR MATERIALS;

LIVING ORGANISMS; MOLECULAR INTERACTIONS IN CELLS; MULTIPLE EVOLUTION MODELS;

COMPUTER NETWORKS;

EID: 27544463095     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Baral, C.; Chancellor, K.; Tran, N.; Tran, N.; and Berens, M. 2004. A knowledge based approach for representing and reasoning about signaling networks. Bioinformatics 20 (Suppl 1) i15-i22.
2. Calvanese, D.; de Giacomo, G.; and Vardi., M. 2002. Reasoning about actions and planning in LTL action theories. In Proc. of KR 2002, 593-602.
3. Chabrier, N.; Chiaverini, M.; Danos, V.; Pages, F.; and Schachter, V. 2004. Modeling and querying biomolecular interaction networks. Theoretical Computer Science 325(1):25-44.
4. Emerson, E. 1990. Temporal and modal logic. In van Leeuwen, J., ed., Handbook of Theoretical Computer Science, Volume B. 997-1072.
5. Frei, H. 2003. Cancer Medicine.
6. Fukuda, K., and Takagi, T. 2001. Knowledge representation of signal transduction pathways. Bioinformatics 17(9):829-37.
7. Giordano, L.; Martelli, M.; and Schwind, C. 2001. Reasoning about actions in dynamic linear time temporal logic. Journal of the IGPL 9(2):289-303.
8. Giunchiglia, E.; Lee, J.; Lifschitz, V.; McCain, N.; and Turner, H. 2004. Nonmonotonic causal theories. Artificial Intelligence 153(1-2):49-104.
9. Kakas, A., and Miller, R. 1998. Reasoning about actions, narratives and ramifications. ETAI 1:39-72.
10. Khan, S.; Decker, K.; Gillis, W.; and Schmidt, C. 2003. A multiagent system-driven AI planning approach to biological pathway discovery. In Proc. of ICAPS 2003.
11. Peleg, M.: Yeh, I.; and Altman, R. B. 2002. Modelling biological processes using workflow and petri net models. Bioinformatics 18(6):825-837.
12. Reddy, V. N.; Liebman, M. N.; and Mavrovouniotis, M. L. 1996. Qualitative analysis of biochemical reaction systems. Computers in Biology and Medicine 26:9-24.
13. Regev, A.; Silverman, W.; and Shapiro, E. 2001. Representation and simulation of biochemical processes using π-calculus process algebra. In Proc. of PSB 2001, 459-470.
14. Reiter, R. 1996. Natural actions, concurrency and continuous time in the situation calculus. In Proc. of KR 1996, 2-13.
15. Talcott, C.; Eker, S.; Knapp, M.; Lincoln, P.; and Laderoute, K. 2004. Pathway logic modeling of protein functional domains in signal transduction. In Proc. of PSB 2004, 568-580.
16. Tan, P. B., and Kim, S. K. 1999. Signaling specificity: the RTK/RAS/MAP kinase pathway in metazoans. Trends in Genetics 15(4): 145-149.
17. Thielscher, M. 2000. Representing the knowledge of a robot. In Proc. of KR 2000, 109-120.
18. Tran, N., and Baral, C. 2004. Reasoning about triggered actions in AnsProlog and its application to molecular interactions in cells. In Proc. of KR 2004, 554-563.