Mechanical reasoning about families of UTP theories.

Frank Zeyda Ana Cavalcanti

Published in: Sci. Comput. Program. (2012)

Keyphrases

causal reasoning
theoretical framework
qualitative reasoning
spatial reasoning
probabilistic knowledge
database
mechanical design
real time
case study
multiscale
computational models
cognitive psychology
formal theory