Modal Markov Logic is a statistical relational language for reasoning about attitudes such as belief, knowledge, desire, and obligation. It extends Markov Logic with modal operators employing a Kripke semantics.
Back to Henry Kautz's home page