CMU Artificial Intelligence Repository
KL-ONE Family of Knowledge Representation Systems
areas/kr/systems/kl_one/
back/ BACK: Berlin Advanced Computational Knowledge
Representation System
cec/ CEC: Conditional Equational Completion
dp/ DP: Solving Propositional Satisfiability Problems
motel/ MOTEL: Modal KL-ONE
This directory contains the KL-ONE family of knowledge
representation systems.
References:
Ronald J. Brachman and James G. Schmolze, "An overview of the
KL-ONE knowledge representation system", Cognitive Science,
9:171-216, 1985.
James G. Schmolze and William A. Woods, "The KL-ONE Family", in
F. Lehmann, editor, Semantic Networks in Artificial Intelligence,
Pergamon Press, 1992. [History of description logics (KL-ONE style
systems).]
Bernhard Nebel and Gert Smolka, "Attributive Description Formalisms
... and the Rest of the World", in Otthein Herzog and Claus-Rainer
Rollinger, editors, Text Understanding in LILOG, Springer Verlag,
Lecture Notes in Artificial Intelligence #546, pages 439-452, 1991.
[Theoretical results in the area of description logics.]
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Keywords:
KL-ONE, Knowledge Representation
Last Web update on Mon Feb 13 10:24:02 1995
AI.Repository@cs.cmu.edu