Keyphrases
- default logic
- expressive power
- first order logic
- propositional variables
- propositional logic
- classical first order logic
- modal logic
- linearly ordered
- nonmonotonic logics
- autoepistemic logic
- coalition logic
- team members
- multi valued
- logic programming
- inference rules
- horn clauses
- robot soccer
- robotic soccer
- classical logic
- epistemic logic
- team formation
- cooperating agents
- strips planning
- horn logic
- default reasoning
- prime implicates
- logic programs
- decision procedures
- satisfiability testing
- knowledge compilation