Koen V. Hindriks, John-Jules Ch. Meyer. Agent Logics as Program Logics: Grounding KARO. In Christian Freksa, Michael Kohlhase, Kerstin Schill, editors, KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings. Volume 4314 of Lecture Notes in Computer Science, pages 404-418, Springer, 2006. [doi]
Abstract is missing.