Keyphrases
- reasoning systems
- possibilistic networks
- intuitionistic logic
- qualitative reasoning
- knowledge base
- model based reasoning
- probabilistic logic
- logic programming
- machine learning
- probabilistic reasoning
- automated reasoning
- reasoning tasks
- reasoning process
- knowledge representation
- hybrid approaches
- model based diagnosis
- graphical models
- legal reasoning
- formal models
- domain knowledge
- causal networks
- clustering algorithm