A Primer for Preferential Non-Monotonic Propositional Team Logics.
Kai SauerwaldJuha KontinenPublished in: CoRR (2024)
Keyphrases
- default logic
- classical first order logic
- propositional variables
- propositional logic
- first order logic
- inference rules
- logic programming
- expressive power
- team members
- linearly ordered
- nonmonotonic logics
- coalition logic
- modal logic
- tableau calculus
- autoepistemic logic
- team formation
- strips planning
- virtual teams
- propositional calculus
- robot soccer
- robotic soccer
- decision procedures
- conjunctive normal form
- proof theory
- propositional dynamic logic
- horn clauses
- multi valued