A Formal Specification of dMARS

Mark d Inverno, David Kinny, Michael Luck, Michael Wooldridge. A Formal Specification of dMARS. In Munindar P. Singh, Anand S. Rao, Michael Wooldridge, editors, Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL 97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings. Volume 1365 of Lecture Notes in Computer Science, pages 155-176, Springer, 1997.

Abstract

Abstract is missing.