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