Publication in BibTeX Format

@TECHREPORT{AICPub1377:1991,
  AUTHOR={Konolige, Kurt},
  TITLE={Resolution for Epistemic Logics },
  ADDRESS={333 Ravenswood Ave, Menlo Park, CA 94025},
  INSTITUTION={AI Center, SRI International},
  MONTH={Aug},
  NUMBER={447},
  YEAR={1991},
  KEYWORDS={Quantified modal logics, QML},
  ABSTRACT={Quantified modal logics have emerged as useful tools in computer science
     for reasoning about knowledge and belief of agents and systems. An important
     class of these logics have a possible-world semantics from Kripke. In this
     paper we report on a resolution proof method for logics of belief that is suitable
     for automatic reasoning in commonsense domains.}
}