Foundations of Intelligent Systems
Belief, awareness, and limited reasoning