|
author={Dix, Jürgen and Eiter, Thomas and Fink, Michael and Polleres, Axel and Zhang, Yingqian},
editor={A.Günther, R. Kruse, B. Neumann},
title={Monitoring Agents using Declarative Planning},
booktitle={Proceedings of the 27th German Annual Conference on Artificial Intelligence (KI '03)},
volume={2821},
year={2003},
pages={646-660},
series={Lecture Notes in Artificial Intelligence},
publisher={Springer},
}
|