Login / Signup
Epistemic coalition logic: completeness and complexity.
Thomas Ågotnes
Natasha Alechina
Published in:
AAMAS (2012)
Keyphrases
</>
coalition logic
pspace complete
computational complexity
model checking
knowledge base
special case
decision problems