Enumerating Teams in First-Order Team Logics.
Anselm HaakArne MeierFabian MüllerHeribert VollmerPublished in: CoRR (2020)
Keyphrases
- team members
- team composition
- robotic soccer
- conditional logic
- team formation
- first order logic
- expressive power
- virtual teams
- robot teams
- classical first order logic
- higher order
- distributed teams
- modal logic
- inference rules
- valued logic
- multi agent
- student teams
- software development teams
- multiagent systems
- default logic
- default reasoning
- project management
- project teams
- proof theory
- development teams
- quantifier elimination
- cooperative
- epistemic logic
- horn clauses
- nonmonotonic reasoning
- belief revision
- globally distributed
- nonmonotonic logics
- computational properties
- collaborative activities
- project managers
- information technology