Description Logics
Publications
     [Expand to show all 12][Minimize]
A logical account of causal and topological maps 2001
Emilio Remolina, PhD Thesis, Department of Computer Sciences, The University of Texas at Austin.
Qualitative reasoning about dynamic change in the spatial properties of a physical system 1995
Raman Rajagopalan, PhD Thesis, Department of Computer Sciences, The University of Texas at Austin. Available as TR AI95-241.
Short Algernon Reference Manual (for Algernon version 1.3.0) 1994
Benjamin J. Kuipers and J. M. Crawford, unpublished. Unpublished manuscript.
Algernon for Expert Systems 1993
Benjamin Kuipers, Unpublished manuscript
Automated modeling of physical systems in the presence of incomplete knowledge 1993
Adam Farquhar, PhD Thesis, University of Texas at Austin, Artificial Intelligence Laboratory, Department of Computer Sciences.
Results of an experiment in domain knowledge base construction: a comparison of the Classic and Algernon knowledge representation systems 1992
Raman Rajagopalan, In Working Papers of the AAAI Workshop on Tractable Reasoning (AAAI-92), San Jose, CA 1992.
Algernon -- a tractable system for knowledge representation 1991
J. M. Crawford and Benjamin J. Kuipers, SIGART Bulletin, Vol. 2, 3 (1991), pp. 35--44.
ALL: formalizing access-limited reasoning 1991
J. M. Crawford and Benjamin J. Kuipers, In Principles of Semantic Networks, John Sowa (Eds.), pp. 299--330, San Mateo, CA 1991. Morgan Kaufmann.
Negation and proof by contradiction in access-limited logic 1991
J. M. Crawford and Benjamin J. Kuipers, In Proceedings of the National Conference on Artificial Intelligence (AAAI-91) 1991. AAAI/MIT Press.
Access-Limited Logic: A Language for Knowledge Representation 1990
James Crawford, PhD Thesis, Department of Computer Sciences, University of Texas at Austin. UT Artificial Intelligence TR AI90-141.
QPC: a compiler from physical models into qualitative differential equations 1990
J. M. Crawford, A. Farquhar, Benjamin J. Kuipers, In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pp. 365-372, Boston, MA 1990.
Toward a theory of access-limited logic for knowledge representation 1989
J. M. Crawford and Benjamin J. Kuipers, In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR'89), Los Altos, CA 1989. Morgan Kaufmann.