Implementing systemic classification by unification

作者: C. S. Mellish

DOI:

关键词:

摘要:

参考文章(11)
Wray L. Buntine, Generalised subsumption and its applications to induction and redundancy european conference on artificial intelligence. pp. 15- 23 ,(1986)
Michael C. McCord, Design of a Prolog-based machine translation system Lecture Notes in Computer Science. pp. 350- 374 ,(1986) , 10.1007/3-540-16492-8_87
Terry Winograd, Language As a Cognitive Process ,(1982)
Michael Codish, Ehud Shapiro, Compiling or-parallelism into and-parallelism international conference on logic programming. pp. 283- 297 ,(1986) , 10.1007/3-540-16492-8_82
Kazunori Ueda, Making exhaustive search programs deterministic international conference on logic programming. pp. 270- 282 ,(1986) , 10.1007/3-540-16492-8_81
Terry Winograd, Understanding Natural Language ,(1972)
Martin Kay, FUNCTIONAL UNIFICATION GRAMMAR: A FORMALISM FOR MACHINE TRANSLATION meeting of the association for computational linguistics. pp. 75- 78 ,(1984) , 10.3115/980491.980509
J. A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle Journal of the ACM. ,vol. 12, pp. 23- 41 ,(1965) , 10.1145/321250.321253
Alan Bundy, Chris Mellish, Lawrence Byrd, Special purpose, but domain independent, inference mechanisms european conference on artificial intelligence. pp. 67- 74 ,(1982)