A Computationally Attractive First-Order Logic of Belief.

Gerhard Lakemeyer

Browse the full JELIA paper archive.