Type: Book Section
Ciampolini, A. and Lamma, E. and Mello, P. and Torroni, P.
A Proof System for the Safe Execution of Tasks in Multi-Agent Systems.
Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA02).
Full text not available from this archive.
Archive Staff Only: edit this record