The cognitive agents specification language and verification environment for multiagent systems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Steven Shapiro, Yves Lespérance, Hector J. Levesque. The cognitive agents specification language and verification environment for multiagent systems. In The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings. pages 19-26, ACM, 2002. [doi]

The following publications are possibly variants of this publication:

Specifying and verifying multiagent systems using the cognitive agents specification language (CASL)Steven Shapiro. PhD thesis, University of Toronto, Canada, 2005. [doi]

runs on WebDSL