next up previous contents index
Next: Index Up: Short Algernon User's Manual Previous: Bugs and Problems


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.)

Micheal S. Hewett
Tue Oct 29 11:15:33 CST 1996