Author:
Jia Yan,Gu Zhaoquan,Li Aiping,Han Weihong
Publisher
Springer International Publishing
Reference28 articles.
1. Ernst, G., Newell, A.: GPS: A Case Study in Generality and Problem Solving. Academic Press, New York (1969)
2. Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM 12(1), 23–41 (1965)
3. Green, C.C., Raphael, B.: The use of theorem-proving techniques in question-answering systems. In: Proceedings of the 23rd ACM National Conference, Washington, DC (1968)
4. Ramakrishnan, R., Ullman, J.D.: A survey of deductive database systems. J. Logic Program. 23(2) (1995)
5. Richens, R.H.: Preprogramming for mechanical translation. Mech. Translation 3(1) (1956)