Validity Checking for Combinations of Theories with Equality.

Clark W. Barrett David L. Dill Jeremy R. Levitt

Published in: FMCAD (1996)

Keyphrases

theoretical framework
consistency checking
neural network
data mining
theory revision
real time
multiscale
evolutionary algorithm
domain knowledge
computational model
computational models
mathematical models
cognitive psychology