Decision procedures for BDI logics (1998)

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