Reasoning Algebraically About Refinement on TSO Architectures.
Brijesh DongolJohn DerrickGraeme SmithPublished in: ICTAC (2014)
Keyphrases
- reasoning systems
- linear systems
- resource bounded
- automated reasoning
- analogical reasoning
- knowledge base
- model construction
- reasoning tasks
- model based reasoning
- knowledge representation and reasoning
- computational properties
- logical reasoning
- reasoning engine
- reasoning mechanism
- rule based reasoning
- consistency checking
- causal reasoning
- data sets
- reasoning process
- qualitative reasoning
- spatial reasoning
- knowledge representation
- decision trees
- databases