A formal specification of dMARS
Tools
d'Inverno, Mark; Kinny, David; Luck, Michael and Wooldridge, Michael. 1998. A formal specification of dMARS. In: Munindar P. Singh; Anand Rao and Michael J. Wooldridge, eds. Intelligent Agents IV: Agent Theories, Architectures, and Languages. 1365 Berlin, Germany: Springer, pp. 155-176. ISBN 9783540641629 [Book Section]
|
Text ( A formal specification of dMARS)
dmars.pdf Download (154kB) | Preview |
Item Type: |
Book Section |
||||
Identification Number (DOI): |
|||||
Departments, Centres and Research Units: |
|||||
Dates: |
|
||||
Item ID: |
8746 |
||||
Date Deposited: |
19 Sep 2013 14:45 |
||||
Last Modified: |
29 Apr 2020 15:57 |
||||
URI: |
View statistics for this item...
Edit Record (login required) |