
## References

Baral, C. (1995). Reasoning about actions: nondeterministic effects, constraints, and qualification. In **Proceedings of the Fourteenth International Joint Conference on Artificial**
Intelligence (IJCAI–95), IJCAI Inc. Distributed by Morgan **Kaufmann, San Mateo,** CA.**, pp. 2017–2023.**
Fikes, R. E., & Nilsson, N. J. (1971). STRIPS: A new approach to theorem proving in problem solving. Artificial Intelligence, 2**, 189–208.**
Fox, M., & Long, D. (1998). The automatic inference of state invariants in TIM. **Journal**
of Artificial Intelligence Research, 9**, 367–421.**
Gelfond, M., & Lifschitz, V. (1999). Action languages. **Electronic Transactions on Artificial**
Intelligence, http://www.ep.liu.se/ea/cis, **Vol 3, nr 016**.

Gerevini, A., & Schubert, L. (1998). Inferring state constraints for domain-independent planning. In **Proceedings of the 15th National Conference on Artificial Intelligence** (AAAI–98), AAAI Press, Menlo Park, CA.

Levesque, H., Reiter, R., Lesp´erance, Y., Lin, F., & Scherl, R. (1997). GOLOG: A logic programming language for dynamic domains. **Journal of Logic Programming, Special**
issue on Reasoning about Action and Change, 31**, 59–84.**
Lifschitz, V. (1997). On the logic of causal explanation. Artificial Intelligence, 96**, 451–465.**
Lin, F. (1995). Embracing causality in specifying the indirect effects of actions. In Proceedings of the Fourteenth International Joint Conference **on Artificial Intelligence**
(IJCAI–95), IJCAI Inc. Distributed by Morgan Kaufmann, San Mateo, CA.**, pp. 1985–**
1993.

Lin, F. (1996). Embracing causality in specifying the indeterminate effects of actions. In Proceedings of the 13th National Conference on Artificial Intelligence (AAAI–96),
AAAI Press, Menlo Park, CA.**, pp. 670–676.**
Lin, F. (2001a). On strongest necessary and weakest sufficient conditions. Artificial Intelligence, 128(1-2)**, 143–159.**
Lin, F. (2001b). A planner called R. AI Magazine, 22(3)**, 73–76.**
Lin, F., & Reiter, R. (1994a). Forget it!. In Greiner, R., & Subramanian, D. (Eds.),
Working Notes of AAAI Fall Symposium on Relevance**, pp. 154–159. The American Association for Artificial Intelligence, Menlo Park, CA. Also available at**
http://www.cs.toronto.edu/cogrobo/forgetting.ps.Z.

Lin, F., & Reiter, R. (1994b). State constraints revisited. **Journal of Logic and Computation,**
Special Issue on Actions and Processes, 4(5)**, 655–678.**
McCain, N., & Turner, H. (1995). A causal theory of ramifications and qualifications. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence
(IJCAI–95), IJCAI Inc. Distributed by Morgan Kaufmann, San Mateo, CA.**, pp. 1978–** 1984.

McCain, N., & Turner, H. (1997). Causal theories of action and change. In **Proceedings**
of the 14th National Conference on Artificial Intelligence (AAAI–97), AAAI Press, Menlo Park, CA.**, pp. 460–465.**