www.ai-center.com

d'Inverno, M.; Kinny, D.; Luck, M.; and Wooldridge, M. 1997.
A formal specification of dMARS.
Technical Report 72, Australian Artificial Intelligence Institute, Melbourne, Australia.

Referenced by page:

• (Preliminary) Conclusion