Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals.

Gerhard Lakemeyer, Hector J. Levesque

Browse the full IJCAI paper archive.