Alternating-time temporal belief and knowledge logic in multi-agent systems.
Zhengyuan NingXianwei LaiShanli HuXiuli WangPublished in: ISKE (2008)
Keyphrases
- multi agent systems
- modal operators
- knowledge representation
- spatio temporal
- computational logic
- temporal knowledge
- knowledge acquisition
- prior knowledge
- knowledge sharing
- temporal information
- knowledge based systems
- domain knowledge
- data mining techniques
- agent systems
- temporal data
- spatial and temporal
- belief revision
- modal logic
- temporal reasoning
- temporal patterns
- probability theory
- temporal relations
- space time
- classical logic
- learning systems
- design process
- reasoning engine
- logic programming