[an error occurred while processing this directive]
[an error occurred while processing this directive]Citation: | Alexei Lisitsa and Gennady Osipov, "Evolving algebras and labelled deductive systems for the semantic network based reasoning", in Proceedings of the Workshop on Applied Semiotics, ECAI'96, August 1996, 5-12. |
---|---|
Summary: | ASMs are used to present the high-level semantics for MIR, an AI semantic network system. Another formalization of MIR is given in terms of labeled deduction systems, and the two formalizations are compared. |
Subjects: | Miscellany |
Download: | PostScript, PDF, Compressed PostScript |
Notes: |