Decidable Reasoning in a Logic of Limited Belief with Function Symbols.

Gerhard Lakemeyer, Hector J. Levesque

Browse the full KR paper archive.