Login / Signup
Axiomatizations of team logics.
Martin Lück
Published in:
Ann. Pure Appl. Log. (2018)
Keyphrases
</>
decision procedures
conditional logic
modal logic
team members
expressive power
theorem proving
automated reasoning
default reasoning
propositional dynamic logic
propositional calculus
team formation
robot soccer
inference rules
neural network
collective learning
multi agent
search engine