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]
@inproceedings{MellouliMM03, title = {Situation Event Logic for Early Validation of Multi-Agent Systems}, author = {Sehl Mellouli and Guy W. Mineau and Bernard Moulin}, year = {2003}, url = {http://link.springer.de/link/service/series/0558/bibs/2671/26710370.htm}, tags = {logic}, researchr = {https://researchr.org/publication/MellouliMM03}, cites = {0}, citedby = {0}, pages = {370-382}, booktitle = {Advances in Artificial Intelligence, 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003, Proceedings}, editor = {Yang Xiang and Brahim Chaib-draa}, volume = {2671}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-40300-0}, }