Verifying Interlevel Relations within Multi-Agent Systems.

O. Sharpanskykh, J. Treur

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProc. of the 17th European Conference on Artificial Intelligence, ECAI'06
EditorsG. Brewka, S. Coradeschi, A. Perini, P. Traverso
Pages290-294
Publication statusPublished - 2006

Bibliographical note

ECAI'06

Cite this

Sharpanskykh, O., & Treur, J. (2006). Verifying Interlevel Relations within Multi-Agent Systems. In G. Brewka, S. Coradeschi, A. Perini, & P. Traverso (Eds.), Proc. of the 17th European Conference on Artificial Intelligence, ECAI'06 (pp. 290-294)