Proving Modal Properties of Rewrite Theories Using Maude's Metalevel.

Isabel Pita Miguel Palomino

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

data sets
equational theories
theoretical framework
structural properties
desirable properties
real time
database
genetic algorithm
artificial intelligence
decision making
case study
multi agent systems
hidden markov models
low level
probability theory