The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems. Shapiro, S.; Lespérance, Y.; Levesque, H. J.; Castelfranchi, C.; and Johnson, W. L. In Proc. of the First Int. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), pages 19--26. 2002.
The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems [pdf]Paper  bibtex   
@incollection{ shapiro02,
  author    = {Steven Shapiro and Yves Lespérance and Hector J. Levesque and Christiano Castelfranchi and W. L. Johnson},
  title     = {The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems},
  booktitle   = {Proc. of the First Int. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-02)},
  key   = {CogRobo},
  pages   = {19--26},
  url   = {aamas02.pdf} ,
  year   = {2002}
}
Downloads: 0