References of "Bulling, N"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailAlternating Epistemic Mu-Calculus
Bulling, N.; Jamroga, Wojciech UL

in Proceedings of IJCAI-11 (2011)

Detailed reference viewed: 25 (0 UL)
Full Text
Peer Reviewed
See detailComparing Variants of Strategic Ability
Jamroga, Wojciech UL; Bulling, N.

in Proceedings of IJCAI-11 (2011)

Detailed reference viewed: 26 (2 UL)
Full Text
Peer Reviewed
See detailModel Checking Logics of Strategic Ability: Complexity
Bulling, N.; Dix, J.; Jamroga, Wojciech UL

in Dastani, M.; Hindriks, K.; Meyer, J.-J. (Eds.) Specification and Verification of Multi-Agent Systems (2010)

Detailed reference viewed: 47 (0 UL)
Full Text
Peer Reviewed
See detailVerifying Agents with Memory Is Harder than It Seemed
Bulling, N.; Jamroga, Wojciech UL

in AI Communications (2010), 23

Detailed reference viewed: 28 (1 UL)
Full Text
Peer Reviewed
See detailComparing Variants of Strategic Ability
Jamroga, Wojciech UL; Bulling, N.

in Proceedings of EUMAS2010 (2010)

Detailed reference viewed: 16 (0 UL)
Full Text
Peer Reviewed
See detailVerifying Agents with Memory Is Harder than It Seemed
Bulling, N.; Jamroga, Wojciech UL

in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS (2010)

Detailed reference viewed: 30 (7 UL)
Full Text
Peer Reviewed
See detailWhat agents can probably enforce
Bulling, N.; Jamroga, Wojciech UL

in Fundamenta Informaticae (2009)

Detailed reference viewed: 13 (0 UL)
Full Text
Peer Reviewed
See detailRational Play and Rational Beliefs under Uncertainty
Bulling, N.; Jamroga, Wojciech UL

in Proceedings of AAMAS'09 (2009)

Detailed reference viewed: 17 (0 UL)