Formal Reasoning about Modules, Reuse and their Correctness.

Christoph Kreitz Kung-Kiu Lau Mario Ornaghi

Published in: FAPR (1996)

Keyphrases

learning objects
spatial reasoning
knowledge sharing and reuse
formal model
knowledge structures
data mining
machine learning
knowledge base
bayesian networks
multi agent systems
qualitative reasoning
formal analysis