[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Semantic Networks


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]