Keyphrases
- default logic
- expressive power
- first order logic
- propositional logic
- coalition logic
- propositional variables
- modal logic
- linearly ordered
- classical first order logic
- autoepistemic logic
- team members
- nonmonotonic logics
- multi valued
- logic programming
- truth values
- cooperating agents
- inference rules
- normal form
- logical framework
- computational properties
- robot soccer
- propositional formulas
- proof theory
- team formation
- propositional calculus