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

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]

This author has not been identified. Look up 'Steven Shapiro' in GoogleThis author has not been identified. Look up 'Yves Lespérance' in GoogleThis author has not been identified. Look up 'Hector J. Levesque' in Google

runs on WebDSL