A Logic of Believable Agents | IEEE Conference Publication | IEEE Xplore