A Resolution Method for Quantified Modal Logics of Knowledge and Belief.

Christophe Geissler Kurt Konolige

Published in: TARK (1986)

Keyphrases

prior knowledge
high accuracy
objective function
significant improvement
probabilistic model
modal logic
knowledge base
natural language