Jürgen Dix Thomas Eiter Michael Fink Axel Polleres Yingqian Zhang Monitoring Agents Using Declarative Planning. 646-660 http://dx.doi.org/10.1007/978-3-540-39451-8_47 2003 conf/ki/2003 KI db/conf/ki/ki2003.html#DixEFPZ03