Logic and intelligent interaction
KeywordsBelief Revision Dynamic Logic Informational Process Dynamic Epistemic Logic Reasoning Agent
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
© The Author(s) 2009