A Logic of Implicit and Explicit Belief

Levesque, Hector

Classics 

Proc. Fourth National Conference on Artificial Intelligence (AAAI-84), Austin, Texas.