Mixed static and dynamic reasoning in a formal system.
Mats LarssonPublished in: Microprocessing and Microprogramming (1991)
Keyphrases
- formal models
- logical reasoning
- meta level
- data sets
- reasoning tasks
- formal model
- knowledge base
- model based reasoning
- spatial reasoning
- databases
- knowledge sharing and reuse
- analogical reasoning
- formal representation
- reasoning systems
- knowledge based systems
- legal reasoning
- knowledge representation and reasoning
- automated reasoning
- formal methods
- model based diagnosis
- logic programming
- reasoning problems
- rule based reasoning
- reasoning processes
- reasoning mechanisms
- legal argument
- case based reasoning