Neural network agents trained by declarative programming tutors | Publicación