Akratic robots and the computational logic thereof | IEEE Conference Publication | IEEE Xplore