Sehl Mellouli, Guy W. Mineau, Bernard Moulin. Situation Event Logic for Early Validation of Multi-Agent Systems. In Yang Xiang, Brahim Chaib-draa, editors, Advances in Artificial Intelligence, 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003, Proceedings. Volume 2671 of Lecture Notes in Computer Science, pages 370-382, Springer, 2003. [doi]
Abstract is missing.