Keyphrases
- inductive reasoning
- knowledge base
- qualitative models
- proof planning
- qualitative reasoning
- decision making
- knowledge representation
- model based reasoning
- forward and backward
- reasoning systems
- reasoning process
- program synthesis
- bi directional
- belief revision
- rule induction
- model based diagnosis
- inductive logic programming
- reasoning tasks
- subgroup discovery
- social networks
- autonomous agents
- analogical reasoning
- mental states
- truth maintenance systems
- inductive learning