Cognitive modelling and constrained reasoning for intelligent agents | IEEE Conference Publication | IEEE Xplore