An Optimally Efficient, Limited Inference, Connectionist Rule-Based Reasoning System with an Included Type Hierarchy.

Lokendra Shastri Venkat Ajjanagadde D. R. Mani An Optimally Efficient, Limited Inference, Connectionist Rule-Based Reasoning System with an Included Type Hierarchy. 366 1990 conf/dagstuhl/1990pis Dagstuhl Seminar on Parallelization in Inference Systems db/conf/dagstuhl/pis1990.html#ShastriAM90