1. Baral, C. (1995). Reasoning about Actions: Non-deterministic effects, Constraints and Qualification. In Mellish, C., editor, Proc. of IJCAI 95, pages 2017-2023. Morgan Kaufmann.
2. Baral, C. and Gelfond, M. (1994). Logic programming and knowledge representation. Journal of Logic Programming, 19, 20:73–148.
3. Baral, C., Gelfond, M., and Provetti, A. (1995). Representing Actions I: Laws, Observations and Hypothesis. In Proc. of AAAI 95 Spring Symposium on Extending Theories of Action: Formal theory and practical applications.
4. Baral, C., Gelfond, M., and Provetti, A. (1997). Representing Actions: Laws, Observations and Hypothesis. Journal of Logic Programming, 31(1–3):201–243.
5. Baral, C. and Son, T. (1998). Relating theories of actions and reactive control. Electronic transactions on Artificial Intelligence, 2(3–4).