model,6-1-T78-1031,ak | performing <term> inference </term> in <term> | semantic networks | </term> are presented and compared . <term> | #12993 Two styles of performing inference in semantic networks are presented and compared. | |
other,13-8-T78-1031,ak | <term> extensional equivalence </term> of <term> | intensional concepts | </term> , and to the explication of <term> | #13135 Applications of path-based inference rules to the representation of the extensional equivalence of intensional concepts , and to the explication of inheritance in hierarchies are sketched. |