@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.},
}