Keyphrases
- causal reasoning
- formal models
- logical framework
- reasoning and decision making
- knowledge base
- reasoning mechanisms
- knowledge representation
- theoretical framework
- causal models
- reasoning systems
- proof theory
- high level knowledge
- qualitative reasoning
- real world
- knowledge processing
- default reasoning
- imprecise probabilities
- modulo theories
- deductive reasoning
- uncertain information
- automated reasoning
- physical world
- spatial reasoning