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