Semantics and Validation Procedures of a Multi-Modal Logic for Formalization of Multi-Agent Universes.

P. Gaborit, A. Potet, Claudette Sayettat

Browse the full ECAI paper archive.