Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells

Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004

Volumn , Issue , 2004, Pages 554-563

  Tran, Nam ^a   Baral, Chitta ^a  

^a Arizona State University   (United States)

Author keywords

action languages; reasoning about actions

Indexed keywords

DRUG DELIVERY; DRUG INTERACTIONS; KNOWLEDGE REPRESENTATION; MOLECULAR INTERACTIONS; MOLECULAR STRUCTURE;

ACTION LANGUAGE; ACTION THEORY; CELLULAR BEHAVIORS; DRUG DESIGN; ITS APPLICATIONS; KNOWLEDGE REPRESENTATION AND REASONING; REASONING ABOUT ACTIONS; SIDE EFFECT; SIGNALLING PATHWAYS; THERAPY DESIGN;

MOLECULES;

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

References (24)

1. A. Regev, W. S., and Shapiro, E. 2001. Representation and simulation of biochemical processes using π-calculus process algebra. In Proceedings of the Pacific Symposium in BioComputing 2001 (PSB'01), 459-470.
2. AFCS. Alliance for Cellular Signaling. http://www.afcs.org.
3. Balduccini, M., and Gelfond, M. 2003. Diagnostic reasoning with A-Prolog. Theory and Practice of Logic Programming 3(4-5):425-461.
4. Balduccini, M.; Gelfond, M.; Nogueira, M.; Watson, R.; and Barry, M. 2001. An A-Prolog decision support system for the space shuttle. In AAAI Spring 2001 Symposium.
5. Balduccini, M.; Gelfond, M.; Nogueira, M.; and Watson, R. 2002. Planning with the USA-Advisor. In 3rd International NASA Workshop on Planning and Scheduling for Space.
6. Baral, C., and Gelfond, M. 2000. Reasoning agents in dynamic domains. In Minker, J., ed., Logic-based artificial intelligence. Kluwer Academic Publishers.
7. Baral, C., and Tran, N. 2003. Representation and reasoning about evolution of the world in the context of reasoning about actions. In Nonmonotonic Reasoning, Action, and Change (NRAC'03).
8. Baral, C.; Floriano, L.; Hardesty, A.; Morales, D.; Nogueira, M.; and Tran, S. 1998. From theory to practice: the UTEP robot in AAAI 96 and AAAI 97 robot contests. In Proceedings of the Second International Conference on Automated Agents (Agents 98), 32-38.
9. Baral, C.; Chancellor, K.; Tran, N.; Tran, N.; and Berens, M. 2004. A knowledge based approach for representing and reasoning about signaling networks. In Intelligent Systems for Molecular Biology/European Conference on Computational Biology 2004 (ISMB/ECCB 2004).
10. Baral, C.; McIlraith, S. A.; and Tran, S. 2000. Formulating diagnostic problem solving using an action language with narratives and sensing. In Principles of Knowledge Representation and Reasoning, 311-322.
11. Baral, C. 2003. Knowledge representation, reasoning and declarative problem solving. Cambridge University Press.
12. Doherty, P.; Granlund, G.; Kuchcinski, K.; Sandewall, E.; Nordberg, K.; Skarman, E.; and Wiklund, J. 2000. The WITAS unmanned aerial vehicle project. In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI'00), 747-755.
13. Gelfond, M., and Lifschitz, V. 1998. Action languages. Electronic Transactions on Artificial Intelligence 3.
14. Grosskreutz, H., and Lakemeyer, G. 2000. cc-golog: Towards more realistic logic-based robot controllers. In AAAI/IAAI, 476-482.
15. Lapouchnian, A., and Lesperance, Y. 2002. Interfacing IndiGolog and OAA - a toolkit for advanced multiagent applications. Applied Artificial Intelligence 16(9-10):813-829.
16. Lundberg, A., and Weinberg, R. 1998. Functional inactivation of the retinoblastoma protein requires sequential modification by at least two distinct cyclin-cdk complexes. Molecular and Cellular Biology 18:753-761.
17. Nogueira, M. 2003. Building knowledge systems in A-Prolog. PhD thesis.
18. Peleg, M.; Yeh, I.; and Altman, R. B. 2002. Modelling biological processes using workflow and petri net models. Bioinformatics 18(6):825-837.
19. Reddy, V. N.; Liebman, M. N.; and Mavrovouniotis, M. L. 1996. Qualitative analysis of biochemical reaction systems. Computational Biology Medicine 26:9-24.
20. Reiter, R. 2001. Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT Press.
21. Shanahan, M. P. 1998. A logical account of the common sense informatic situation for a mobile robot. Electronic Transactions on Artificial Intelligence 2:69-104.
22. STKE. Signal Transduction Knowledge Environment. http://www.stke.org.
23. Thielscher, M. 2000. Representing the knowledge of a robot. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 109-120.
24. Zarkowska, R., and Mittnacht, S. 1997. Differential phosphorylation of the retinoblastoma protein by G1/S cyclin-dependent kinases. Journal of Biological Chemistry 272:12738-12746.