A logic of implicit and explicit belief (1984)

by H LEVESQUE
Venue:In Proceedings ofthe National Conference on Artificial Intelligence (AAAZ-84