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


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

Crawford & Kuipers, 1989
J. M. Crawford and B. J. Kuipers. 1989. Toward a theory of access-limited logic for knowledge representation. In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Los Altos, CA: Morgan Kaufmann.

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.

Crawford, Farquhar & Kuipers, 1990
J. M. Crawford, A. Farquhar, B. J. Kuipers. 1990. QPC: a compiler from physical models into qualitative differential equations. Proceedings of the National Conference on Artificial Intelligence (AAAI-90), AAAI/MIT Press, 1990. Revised version in Boi Faltings and Peter Struss (Eds.), Recent Advances in Qualitative Physics, MIT Press, 1992.

Crawford & Kuipers, 1991a
J. M. Crawford & B. J. Kuipers. 1991a. ALL: formalizing access-limited reasoning. In John Sowa (Ed.), Principles of Semantic Networks, pp. 299-330. San Mateo, CA: Morgan Kaufmann.

Crawford & Kuipers, 1991b
J. M. Crawford & B. J. Kuipers. 1991b. Algernon - a tractable system for knowledge representation. SIGART Bulletin 2(3): 35-44, June 1991.

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

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, 1985], pp. 288-295.)

Micheal S. Hewett
Tue Oct 29 11:28:38 CST 1996