Keyphrases
- logical framework
- deontic logic
- multi agent systems
- classical logic
- coalition logic
- inference rules
- reasoning tasks
- belief revision
- epistemic logic
- spatio temporal
- temporal data
- linear temporal logic
- spatial and temporal
- temporal information
- temporal constraints
- logic programming
- cooperative
- temporal databases
- temporal logic
- learning algorithm
- representation language
- multi agent