Keyphrases
- decision procedures
- modal logic
- conditional logic
- expressive power
- team members
- robot soccer
- nonmonotonic logics
- machine learning
- propositional dynamic logic
- automated reasoning
- inference rules
- artificial intelligence
- default logic
- theorem proving
- classical logic
- np complete
- reinforcement learning
- learning algorithm
- epistemic logic
- robotic soccer
- cooperating agents
- proof theoretic
- propositional calculus
- databases
- team composition