References

Brachman & Levesque, 85

Brachman, Ronald J. and Levesque, Hector, J. (1985). Readings in Knowledge Representation, Morgan Kaufmann, Los Altos, Cal.

Crawford & Kuipers, 91

Crawford, J.M. and Kuipers, B.J. (1991). Negation and Proof by Contradiction in Access-Limited Logic. Proceedings of the National Conference on Artificial Intelligence (AAAI-91).

Crawford, 90

J.M. Crawford. (1990). Access-Limited Logic -- A language for knowledge representation. Doctoral dissertation, Department of Computer Sciences, The University of Texas at Austin. Published as Technical Report AI90-141, Artificial Intelligence Laboratory, The University of Texas at Austin.

Hayes, 79

Hayes, Patrick J. (1979). The logic of frames. In Frame Conceptions and Text Understanding, ed. D. Metzing, Walter de Gruyter and Co., Berlin, pp. 46-61. (Reprinted in [Brachman & Levesque, 85], pp. 288-295.)