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

by Munindar P Singh, Anand S Rao, Michael P George
Venue:In Wei [1999], chapter 8