author: peter w eklund

Conceptual Structures: Knowledge Representations as Interlingua: 4th International Conference on Conceptual Structures, ICCS'96, Sydney, Australia, August 19 - 22, 1996, Proceedings

Peter W. Eklund Gerard Ellis Graham Mann

... ( fighting , Sioux , Cavalry ; 1 ) ) } is about the situation { { { defeat ... rules . First we define the derivation system's language and the derivation ... ( T1 , ... , Tk , Tk + 1 ) . Here , T1 , ... , T are the premises of the rule and T ...