Neural network agents trained by declarative programming tutors | IEEE Conference Publication | IEEE Xplore