Keyphrases
- logical framework
- deontic logic
- multi agent systems
- classical logic
- coalition logic
- reasoning tasks
- inference rules
- epistemic logic
- linear temporal logic
- spatial and temporal
- belief revision
- spatio temporal
- modal logic
- temporal data
- temporal reasoning
- temporal databases
- logic programming
- temporal information
- temporal patterns
- optimal solution
- learning algorithm
- model checking
- defeasible logic
- object oriented
- cooperative