The Use of a Semantic Network in a Deductive Question-Answering System
暂无分享,去创建一个
[1] D. H. Fishman. Experiments with a resolution-based deductive question-answering system and a proposed clause representation for parallel search. , 1973 .
[2] Jack Minker,et al. Search strategy and selection function for an inferential relational system , 1978, TODS.
[3] Jack Minker,et al. Pi-Representation: A Clause Representation for Parallel Search , 1975, Artif. Intell..
[4] Donald W. Loveland. Some linear herbrand proof procedures : an analysis , 1970 .
[5] James Robb Mcskimin. The use of semantic information in deductive question-answering systems. , 1976 .
[6] Donald W. Loveland,et al. A Simplified Format for the Model Elimination Theorem-Proving Procedure , 1969, J. ACM.
[7] Jack Minker,et al. The Q* Algorithm - A Search Strategy for a Deductive Question-Answering System , 1973, IJCAI.
[8] Robert A. Kowalski,et al. Linear Resolution with Selection Function , 1971, Artif. Intell..
[9] Lenhart K. Schubert. Extending The Expressive Power Of Semantic Networks , 1976, IJCAI.