J. Dix, T. Eiter, M. Fink, A. Polleres, Y. Zhang: "Monitoring Agents using Declarative Planning"; 2003.