Enhanced Theorem Reuse by Partial Theory Inclusions.

Immanuel Normann

Published in: AISC (2006)

Keyphrases

theoretical framework
information theory
image processing
case study
database
data sets
machine learning
knowledge base
multi agent systems
mobile robot
probabilistic model
rough sets
conceptual framework
theoretical basis
von neumann