A Deductive Pattern Matcher

Proceedings of the 7th National Conference on Artificial Intelligence, AAAI 1988

Volumn , Issue , 1988, Pages 403-408

  MacGregor, Robert M ^a  

^a UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; KNOWLEDGE REPRESENTATION;

INTEGRAL PART; KNOWLEDGE-REPRESENTATION; PATTERN FORMING; PATTERN-MATCHING; TRUTH MAINTENANCE;

PATTERN MATCHING;

EID: 84990565121     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. R.J. Brachman and J.G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, :171-216, August 1985.
2. Ronald Brachman, Richard Fikes, and Hector Levesque. KRYPTON: a functional approach to knowledge representation. IEEE Computer, September 1983.
3. Charles L. Forgy. OPS5 Users Manual. Technical Report CMU-CS-81-135, Carnegie Mellon University, Pittsburg, PA, 1981.
4. K. von Luck, B. Nebel, C. Peltason, and A. Schmiedel. The Anatomy of the BACK System. Technical Report KIT Report 41, Technische Universitat Berlin, January 1987.
5. Robert MacGregor and Raymond Bates. The LOOM Knowledge Representation Language. Technical Report ISI/RS-87-188, USC/Information Sciences Institute, 1987.
6. M. G. Moser. An overview of NIKL, the new implementation of KL-ONE. In Research in Natural Language Understanding, Bolt, Beranek, and Newman, Inc., Cambridge, MA, 1983. BBN Technical Report 5421.
7. B. Nebel and K. von Luck. Issues of integration and balancing in hybrid knowledge representation systems. In K. Morik, editor, GWAI-87, pages 114-123, Springer, Berlin (Germany), 1987.
8. James Schmolze and Thomas Lipkis. Classification in the KL-ONE knowledge representation system. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI, 1983.
9. Marc Vilain. The restricted language architecture of a hybrid representation system. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, pages 547-551, Los Angeles, CA, August 1985.
10. John Yen, Robert Neches, and Robert MacGregor. Classification-based Programming: A Deep Integration of Frames and Rules. Technical Report ISI/RR-88-213, USC/Information Sciences Institute, March 1988.