Authors: Singh, MP Rao, AS Georgeff, MP

Citation: Mp. Singh et al., Formal methods in DAI: Logic-based representation and reasoning, MULTIAGENT SYSTEMS, 1999, pp. 331-376