Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang. Monitoring Agents Using Declarative Planning. In Andreas Günter, Rudolf Kruse, Bernd Neumann, editors, KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings. Volume 2821 of Lecture Notes in Computer Science, pages 646-660, Springer, 2003. [doi]
Abstract is missing.