Belief, awareness, and limited reasoning
Artificial Intelligence
Reasoning about knowledge
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
Awareness and Forgetting of Facts and Agents
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Twelve angry men: a study on the fine-grain of announcements
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Message passing in a dynamic epistemic logic setting
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Open and Closed Questions in Decision-making
Electronic Notes in Theoretical Computer Science (ENTCS)
On the interactions of awareness and certainty
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Action models for knowledge and awareness
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Building an epistemic logic for argumentation
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Preference logic of focus change: a semantic approach
AT'13 Proceedings of the Second international conference on Agreement Technologies
| Hi-index | 0.00 |
We examine a logic that combines knowledge, awareness, and change of awareness. Change of awareness involves that an agent becomes aware of propositional variables. We show that the logic is decidable, and we present a complete axiomatization.