Towards Context-Based Concurrent Formal Theories.

Andrew Schumann

Published in: Parallel Process. Lett. (2015)

Keyphrases

formal models
formal model
theoretical framework
formal specification
databases
case study
decision theory
cognitive psychology
database
search algorithm
expert systems
context sensitive
ontological engineering