Decision procedures for BDI logics

@article{bdilogic-jlc8,
   apice = {BdilogicJlc8},
   author = {Rao, Anand S. and Georgeff, Michael P.},
   doi = {10.1093/logcom/8.3.293},
   issn = {0955-792X},
   journal = {Journal of Logic and Computation},
   keywords = {Rational agents,belief-desire-intention (BDI) model,branching time temporal logic,modal logic,multi-modal logic,tableaux methods,temporal logic,theorem proving},
   month = jun,
   number = 3,
   pages = {293--342},
   title = {Decision procedures for {BDI} logics},
   url = {http://logcom.oxfordjournals.org/cgi/content/long/8/3/293},
   volume = 8,
   year = 1998
}