Description Logics
Publications (12)
A logical account of causal and topological maps 2001
Emilio Remolina
Qualitative reasoning about dynamic change in the spatial properties of a physical system 1995
Raman Rajagopalan
Short Algernon Reference Manual (for Algernon version 1.3.0) 1994
Benjamin J. Kuipers and J. M. Crawford
Algernon for Expert Systems 1993
Benjamin Kuipers
Automated modeling of physical systems in the presence of incomplete knowledge 1993
Adam Farquhar
Results of an experiment in domain knowledge base construction: a comparison of the Classic and Algernon knowledge representation systems 1992
Raman Rajagopalan
Algernon -- a tractable system for knowledge representation 1991
J. M. Crawford and Benjamin J. Kuipers
ALL: formalizing access-limited reasoning 1991
J. M. Crawford and Benjamin J. Kuipers
Negation and proof by contradiction in access-limited logic 1991
J. M. Crawford and Benjamin J. Kuipers
Access-Limited Logic: A Language for Knowledge Representation 1990
James Crawford
QPC: a compiler from physical models into qualitative differential equations 1990
J. M. Crawford, A. Farquhar, Benjamin J. Kuipers
Toward a theory of access-limited logic for knowledge representation 1989
J. M. Crawford and Benjamin J. Kuipers