STIT is dangerously undecidable.

François Schwarzentruber Caroline Semmling

Published in: ECAI (2014)

Keyphrases

logical framework
multi agent systems
sufficient conditions
belief revision
reasoning tasks
coalition logic
inference rules
np complete
multi agent
cooperative
artificial intelligence
knowledge base
bayesian networks
probabilistic model
probability distribution