A knowledge-theoretic semantics for Concurrent MetateM (1996)

by M Wooldridge
Venue:Intelligent Agents III