Deny-Guarantee Reasoning.
Mike DoddsXinyu FengMatthew J. ParkinsonViktor VafeiadisPublished in: ESOP (2009)
Keyphrases
- knowledge base
- model based reasoning
- data sets
- conflicting information
- knowledge representation
- spatial reasoning
- reasoning tasks
- reasoning process
- legal reasoning
- multi agent decision making
- deductive reasoning
- rule based reasoning
- resource bounded
- knowledge processing
- approximate reasoning
- fuzzy reasoning
- automated reasoning
- meta level
- inference engine
- domain knowledge
- objective function
- case study
- information systems
- learning algorithm