Alessio Lomuscio, Mark Ryan. On the Relation between Interpreted Systems and Kripke Models. In Wayne Wobcke, Maurice Pagnucco, Chengqi Zhang, editors, Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, Based on the AI 97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997. Volume 1441 of Lecture Notes in Computer Science, pages 46-59, Springer, 1997. [doi]
Abstract is missing.