Keyphrases
- multi agent systems
- bdi agents
- reasoning systems
- formal models
- reasoning tasks
- knowledge representation and reasoning
- belief change
- automated reasoning
- qualitative reasoning
- model based reasoning
- reasoning process
- spatial reasoning
- multiagent systems
- knowledge representation
- data sets
- production rules
- legal reasoning
- programming language
- database systems
- knowledge base
- analogical reasoning
- artificial intelligence