| 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: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/mir.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT