Verifying Interlevel Relations Within Multi-Agent Systems.

Alexei Sharpanskykh, Jan Treur

Browse the full ECAI paper archive.