@ARTICLE{dixetal04FI, author = {Juergen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang}, title = {Monitoring {A}gents using {D}eclarative {P}lanning}, journal = {Fundamenta Informaticae}, year = 2003, volume = 57 number = {2--4] pages = {345--370}, note = {Short version appeared in Günther/Kruse/Neumann (Eds.), Proceedings of KI 03, LNAI 2821, 2003.}, }