@inproceedings{clima04, title = {Dynamic logic for plan revision in intelligent agents}, author = {M. Birna van Riemsdijk and Frank S. de Boer and John-Jules {\text{Ch}} Meyer}, booktitle = "Computational logic in multi-agent systems: fifth international workshop (CLIMA'04)", editor = "Joao A. Leite and Paolo Torroni", series = "LNAI", volume = "3487", pages = "16--32", year = 2005, publisher = "Springer" }