Shapiro, S.; Lespérance, Y.; Levesque, H. J. The cognitive agents specification language and verification environment. (English) Zbl 1201.68127 Dastani, Mehdi (ed.) et al., Specification and verification of multi-agent systems. Foreword by Wiebe van der Hoek. Dordrecht: Springer (ISBN 978-1-4419-6983-5/hbk; 978-1-4419-6984-2/ebook). 289-315 (2010). MSC: 68T42 68Q60 PDFBibTeX XMLCite \textit{S. Shapiro} et al., in: Specification and verification of multi-agent systems. Foreword by Wiebe van der Hoek. Dordrecht: Springer. 289--315 (2010; Zbl 1201.68127) Full Text: DOI
Shapiro, Steven; Lespérance, Yves Modeling multiagent systems with CASL – a feature interaction resolution application. (English) Zbl 1056.68570 Castelfranchi, Cristiano (ed.) et al., Intelligent agents VII. Agent theories architectures and languages. 7th international workshop, ATAL 2000, Boston, MA, USA, July 7–9, 2000. Proceedings. Berlin: Springer (ISBN 3-540-42422-9). Lect. Notes Comput. Sci. 1986, 244-259 (2001). MSC: 68T01 PDFBibTeX XMLCite \textit{S. Shapiro} and \textit{Y. Lespérance}, Lect. Notes Comput. Sci. 1986, 244--259 (2001; Zbl 1056.68570) Full Text: Link