Counting of Teams in First-Order Team Logics.
Anselm HaakJuha KontinenFabian MüllerHeribert VollmerFan YangPublished in: CoRR (2019)
Keyphrases
- team members
- team composition
- robotic soccer
- team formation
- conditional logic
- virtual teams
- first order logic
- expressive power
- classical first order logic
- robot teams
- distributed teams
- inference rules
- modal logic
- higher order
- software development teams
- student teams
- cooperative
- multi agent
- valued logic
- quantifier elimination
- default reasoning
- medium size
- dynamic logic
- shared mental models
- robot soccer
- classical logic
- multi agent systems
- logic programming
- robocup soccer
- collaborative activities
- globally distributed
- horn clauses
- project teams
- nonmonotonic reasoning
- default logic
- agent architecture
- theorem proving
- belief revision
- nonmonotonic logics
- information technology
- epistemic logic