1Marc .Pauly.Logic for Social Software[]..2001 被引量：1
2W.van der Hoek,W.Jamroga,and M.Wooldridge.A Logic for Strate-gic Reasoning[].Proceedings of the Fourth International Joint Conferenceon Autonomous Agents and Multi-Agent Systems(AAMAS-).2005 被引量：1
3M.Wooldridge,W.van der Hoek.On obligations and normative ability:towards a logical analysis of the social contract[].Journal of Applied Logic.2005 被引量：1
4L.Sauro,J.Gerbrandy,W.van der Hoek,and M.Wooldridge.Reason-ing about action and cooperation[].Proceedings of the Fifth InternationalJoint Conference on Autonomous Agents and Multi-Agent Systems(AA-MAS-).2006 被引量：1
5Wojciech Jamroga,Wiebe van der Hoek,and Michael Wooldridge.In-tentions and Strategies in Game-Like Scenarios[].Progress in Artificial Intelligence:Proceedings of EPIA.2005 被引量：1
6Thomas?gotnes,Wiebe van der Hoek,Juan A.Rodriguez-Aguilar,Carles Sierra,and Michael Wooldridge.On the Logic of Normative Sys-tems[].Proceedings of the Twentieth International Joint Conference on Artificial Intelligence(IJCAI ).2007 被引量：1
7Thomas?gotnes,Michael Wooldridge,and Wiebe van der Hoek.Quan-tified Coalition Logic[].Proceedings of the Twen-tieth International Joint Conference on Artificial Intelligence(IJCAI ).2007 被引量：1
8R. Alur,T.A. Henzinger,and O. Kupferman Kupferman.Alternating-time temporal logic[]..2002 被引量：1
9Wiebe van der Hoek and Michael Wooldridge.On the logic of cooperation and propositional control[].Artificial Intelligence.2005 被引量：1
