The cognitive agents specification language and verification environment for multiagent systems

@inproceedings{Shapiro2002TheCA,
  title={The cognitive agents specification language and verification environment for multiagent systems},
  author={Steven Shapiro and Yves Lesp{\'e}rance and Hector J. Levesque},
  booktitle={AAMAS},
  year={2002}
}
The Cognitive Agents Specification Language (CASL) is a frame-work for specifying multiagent systems. It has a mix of declarative and procedural components to facilitate the specification and verification of complex multiagent systems. In this paper, we describe CASL and a verification environment (CASLve) for it based on the PVS verification system. We give an example of a multiagent meeting scheduler application specified with CASL. To illustrate the verification system, we discuss a proof we… CONTINUE READING
Highly Cited
This paper has 93 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
56 Citations
1 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 56 extracted citations

93 Citations

01020'06'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 93 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Fairness

  • N. Francez
  • Springer-Verlag, New York,
  • 1986
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…