Decision procedures for BDI logics
 |
 |
@article{bdilogic-jlc8,
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}
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}