Keyphrases
- epistemic logic
- knowledge management
- model checking
- modal logic
- multi agent systems
- dynamic epistemic logic
- logical framework
- multi faceted
- formal semantics
- inference rules
- mathematical theory
- information systems
- model checker
- information technology
- case study
- computation tree logic
- temporal logic
- formal specification
- software development
- knowledge representation
- probability distribution
- web services
- image processing
- e learning
- artificial intelligence