Logical Modelling of Leslie's Theory Of Mind | IEEE Conference Publication | IEEE Xplore