@inbook{eb2dc5a754d445c789e511158082ff9c,
title = "Monitoring agents using declarative planning",
abstract = "We present an agent monitoring approach, which aims at refuting from (possibly incomplete) information at hand that a multi-agent system (MAS) is implemented properly. In this approach, agent collaboration is abstractly described in an action theory. Action sequences reaching the collaboration goal are determined by a planner, whose compliance with the actual MAS behavior allows to detect possible collaboration failures. The approach can be fruitfully applied to aid offline testing of a MAS implementation, as well as online monitoring.",
author = "Juergen Dix and Thomas Eiter and Michael Fink and Axel Polleres and Y. Zhang",
year = "2003",
doi = "10.1007/978-3-540-39451-8_47",
language = "English",
isbn = "978-3-540-20059-8",
series = "LNCS",
publisher = "Springer",
pages = "646 – 660",
booktitle = "KI 2003: Advances in Artificial Intelligence",
address = "Germany",
}