From The Free On-line Dictionary of Computing (8 July 2008) [foldoc]:
THEO
A frame language.
["Theo: A Framework for Self-Improving Systems", Mitchell et
al, in Architectures for Intelligence, K. VanLehn ed, Erlbaum,
1989].
(1994-12-14)