Verifying Interlevel Relations within Multi-Agent Systems.

O. Sharpanskykh, J. Treur

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

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)
Sharpanskykh, O. ; Treur, J. / Verifying Interlevel Relations within Multi-Agent Systems. Proc. of the 17th European Conference on Artificial Intelligence, ECAI'06. editor / G. Brewka ; S. Coradeschi ; A. Perini ; P. Traverso. 2006. pp. 290-294
@inproceedings{48d9a2c84e0c4f8fab8397bda1330003,
title = "Verifying Interlevel Relations within Multi-Agent Systems.",
author = "O. Sharpanskykh and J. Treur",
note = "ECAI'06",
year = "2006",
language = "English",
pages = "290--294",
editor = "G. Brewka and S. Coradeschi and A. Perini and P. Traverso",
booktitle = "Proc. of the 17th European Conference on Artificial Intelligence, ECAI'06",

}

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.

Verifying Interlevel Relations within Multi-Agent Systems. / Sharpanskykh, O.; Treur, J.

Proc. of the 17th European Conference on Artificial Intelligence, ECAI'06. ed. / G. Brewka; S. Coradeschi; A. Perini; P. Traverso. 2006. p. 290-294.

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

TY - GEN

T1 - Verifying Interlevel Relations within Multi-Agent Systems.

AU - Sharpanskykh, O.

AU - Treur, J.

N1 - ECAI'06

PY - 2006

Y1 - 2006

M3 - Conference contribution

SP - 290

EP - 294

BT - Proc. of the 17th European Conference on Artificial Intelligence, ECAI'06

A2 - Brewka, G.

A2 - Coradeschi, S.

A2 - Perini, A.

A2 - Traverso, P.

ER -

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