The cognitive agents specification language and verification environment for multiagent systems

Cite this paper

@inproceedings{Shapiro2002TheCA, title={The cognitive agents specification language and verification environment for multiagent systems}, author={Steven D Shapiro and Yves Lesp{\'e}rance and Hector J. Levesque}, booktitle={AAMAS}, year={2002} }