A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief.

Gerhard Lakemeyer, Hector J. Levesque

Browse the full IJCAI paper archive.