@inproceedings{7ff34ba9e23445c2ba2861b2b3ea5236,
title = "Agent logics and program logics: grounding KARO",
keywords = "Conf.proc. > 3 pag",
author = "KV Hindriks and JJC Meyer",
year = "2007",
language = "Undefined/Unknown",
isbn = "3-540-69911-2",
publisher = "Springer",
pages = "404--418",
editor = "C Freksa and M Kohlhase and K Schill",
booktitle = "KI2006 Advances in artificial intelligence",
note = "29th Annual German conference on AI, KI 2006, Bremen Germany ; Conference date: 14-06-2006 Through 17-06-2006",
}