Counting of Teams in First-Order Team Logics.
Anselm HaakJuha KontinenFabian MüllerHeribert VollmerFan YangPublished in: MFCS (2019)
Keyphrases
- team members
- team composition
- conditional logic
- robotic soccer
- team formation
- virtual teams
- classical first order logic
- expressive power
- first order logic
- robot teams
- modal logic
- distributed teams
- logic programming
- higher order
- multi agent
- default reasoning
- belief revision
- software development teams
- student teams
- collaborative activities
- cooperative
- proof theory
- valued logic
- quantifier elimination
- multiagent systems
- robocup soccer
- nonmonotonic reasoning
- project teams
- multi robot
- development teams
- propositional dynamic logic
- multi agent systems
- classical logic
- inference rules
- logic programs
- query language