1. C. Baral, Reasoning about actions: Non-deterministic effects, constraints, and qualification. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI’95), pp2017–2023. Morgan Kaufmann Publishers Inc. 1995.
2. C. Baral and J. Lobo, Defeasible specifications in action theories. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI’97). Morgan Kaufmann Publishers Inc. 1997.
3. H. Geffner, Causality, constraints and the indirect effects of actions. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI’97), pp555–560. Morgan Kaufmann Publishers Inc. 1997.
4. M. Gelfond and V. Lifschitz, Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365–386, 1991.
5. M. Gelfond and V. Lifschitz, Representing action and change by logic programs. Journal of Logic Programming, 17:301–322, 1993.