: A Reasoning System of Temporal Epistemic Logic with Communication Channel.
Suguru YoshiokaSatoshi TojoPublished in: WEC (5) (2005)
Keyphrases
- communication channels
- epistemic logic
- temporal epistemic
- logical framework
- representing knowledge
- model checking
- modal logic
- temporal logic
- multi agent systems
- dynamic epistemic logic
- computation tree logic
- reasoning tasks
- formal semantics
- inference rules
- temporal reasoning
- knowledge base
- temporal properties
- belief revision
- mathematical theory
- multi faceted
- temporal information
- knowledge representation
- probabilistic reasoning
- automated reasoning
- expert systems
- image processing