Enumerating teams in first-order team logics.
Anselm HaakArne MeierFabian MüllerHeribert VollmerPublished in: Ann. Pure Appl. Log. (2022)
Keyphrases
- team members
- team composition
- robotic soccer
- conditional logic
- team formation
- virtual teams
- first order logic
- expressive power
- robot teams
- classical first order logic
- higher order
- modal logic
- student teams
- distributed teams
- multi agent
- software development teams
- default reasoning
- inference rules
- medium size
- belief revision
- valued logic
- multiagent systems
- propositional dynamic logic
- stochastic dominance
- propositional calculus
- cooperative
- project managers
- propositional logic
- information technology
- longitudinal study
- predicate calculus
- design team
- action theories
- horn clauses
- project management
- description logics
- robocup soccer
- mobile robot
- shared mental models