Mechanical Reasoning about Families of UTP Theories.

Frank Zeyda Ana Cavalcanti

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

Keyphrases

causal reasoning
qualitative reasoning
genetic algorithm
artificial intelligence
formal theory
modal operators
data sets
information retrieval
computer vision
evolutionary algorithm
computational models
mathematical models
spatial reasoning
practical reasoning
mechanical design