Dynamic Epistemic Logic and Knowledge Puzzles.

Hans P. van Ditmarsch Wiebe van der Hoek Barteld P. Kooi

Published in: ICCS (2007)

Keyphrases

dynamic epistemic logic
epistemic logic
domain knowledge
knowledge management
knowledge based systems
knowledge base
expert systems
knowledge representation
knowledge acquisition
artificial intelligence
probability distribution
software engineering
constraint satisfaction