| 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: |