Formal methods in DAI: logic-based representation and reasoning (1999)

by M P Singh, A S Rao, M P Georgeff
Venue:In Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence