A Notation for Modeling Jason-Like BDI Agents | IEEE Conference Publication | IEEE Xplore