×

Found 2 Documents (Results 1–2)

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
Full Text: DOI

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
Full Text: Link

Filter Results by …

Year of Publication

Main Field

Software