Decision procedures for BDI logics (1998)

by A Rao, M Georgeff
Venue:Journal of Logic and Computation