Theory Extension in ACL2(r).

Ruben Gamboa John R. Cowles

Published in: J. Autom. Reason. (2007)

Keyphrases

theoretical basis
theoretical framework
neural network
information theory
multiscale
computational model
database
cooperative
natural language learning
formal theory
information technology
multi agent systems
learning environment
case study
decision making
real world
data sets
real time