A logic of knowledge and justified assumptions (1992)

by F Lin, Y Shoham
Venue:Artificial Intelligence