Unifying Theories in ProofPower-Z.

Marcel Oliveira Ana Cavalcanti Jim Woodcock

Published in: UTP (2006)

Keyphrases

theoretical framework
real world
high level
data sets
genetic algorithm
learning algorithm
artificial intelligence
social networks
learning environment
multiresolution
computational model
decision theory
general theory
design theory
cognitive theory