Complexity of Dynamic Epistemic Logic with Common Knowledge.

Tristan Charrier François Schwarzentruber

Published in: Advances in Modal Logic (2018)

Keyphrases

dynamic epistemic logic
epistemic logic
knowledge acquisition
knowledge base
computational complexity
domain knowledge
knowledge management
knowledge based systems
expert systems
knowledge representation