1. Baral, C., and Gelfond, M. Reasoning agents in dynamic domains. In Minker, J,. ed., Logic-Based Artificial Intelligence, Kluwer Academic Publishers, (2000), 257–279, 215, 217, 224
2. Baral, C., Gelfond, M., and Provetti, A. Reasoning about actions: laws, observations, and hypotheses. In Journal of Logic Programming, volume 31, 201–244, 1994. 216
3. Baral, C., McIlraith, S., and Son, T. Formulating diagnostic problem solving using an action language with narratives and sensing. In Proceedings of the 2000 KR Conference, 311–322, 2000. 216, 224
4. de Kleer, J., Mackworth, A., and Reiter, R. Characterizing diagnoses and systems. In Artificial Intelligence, volume 56(2-3), 197–222, 1992.
5. Gelfond, M., and Lifschitz, V. The stable model semantics for logic programming. In Logic Programming: Proc. of the Fifth Int’l Conf. and Symp., 1070–1080, 1988.