Decidable Reasoning in a First-Order Logic of Limited Conditional Belief.

Christoph Schwering, Gerhard Lakemeyer

Browse the full ECAI paper archive.