E1AR0002@SMUVM1.BITNET (06/04/86)
AI15 Truth Maintenance and Non-Monotonic logic
AI16 General AI, Unclassifiable AI, Theory of AI, Philosphy of AI
(things that need one of these classifications but don't fit
in any particular one)
AA26 manufacturing
AA27 space
O06 useful Algorithms, e. g. string matching, computational geometry