A complete coalition logic of temporal knowledge for multi-agent systems.
Qingliang ChenKaile SuYong HuGuiwu HuPublished in: Frontiers Comput. Sci. (2015)
Keyphrases
- coalition logic
- temporal knowledge
- pspace complete
- temporal logic
- model checking
- modal logic
- multi agent systems
- satisfiability problem
- logical framework
- np complete
- temporal reasoning
- decision problems
- temporal information
- inference rules
- propositional variables
- temporal constraints
- cl pc
- first order logic
- reasoning tasks
- representation language
- formal representation
- artificial intelligence
- tree automata
- logic programs
- np hard
- search space