Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems.
Qingliang ChenKaile SuYong HuGuiwu HuPublished in: Canadian Conference on AI (2014)
Keyphrases
- coalition logic
- pspace complete
- temporal knowledge
- model checking
- temporal logic
- multi agent systems
- logical framework
- modal logic
- np complete
- satisfiability problem
- complete axiomatization
- temporal reasoning
- temporal information
- decision problems
- cl pc
- representation language
- belief revision
- computational complexity
- search algorithm
- cooperative
- temporal constraints
- game theory
- software engineering
- tree automata
- inclusion dependencies
- video sequences
- reinforcement learning