A formal specification of dmars, in: (1998)

by M d’Inverno, D Kinny, M Luck, M Wooldridge
Venue:Agent Theories, Architectures, and Languages, no. 1365 in Lecture Notes in Computer Science: Intelligent Agents,