Boolean Game with Prioritized Norms

1. Ågotnes, T., van der Hoek, W., Rodríguez-Aguilar, J.A., Sierra, C., Wooldridge, M.: On the logic of normative systems. In: Veloso, M.M. (ed.) Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI 2007, Hyderabad, India, January 6-12, pp. 1175–1180 (2007)

   Google Scholar 

2. Alechina, N., Dastani, M., Logan, B.: Reasoning about normative update. In: Rossi, F. (ed.) Proceedings of the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3-9. IJCAI/AAAI (2013)

   Google Scholar 

3. Andrighetto, G., Governatori, G., Noriega, P., van der Torre, L.W.N. (eds.): Normative Multi-Agent Systems. Dagstuhl Follow-Ups, vol. 4. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2013)

   Google Scholar 

4. Arora, S., Barak, B.: Computational Complexity: A Modern Approach. Cambridge University Press, New York (2009)

   Book  MATH  Google Scholar 

5. Bilò, V.: On satisfiability games and the power of congestion games. In: Kao, M.-Y., Li, X.-Y. (eds.) AAIM 2007. LNCS, vol. 4508, pp. 231–240. Springer, Heidelberg (2007)

   Chapter  Google Scholar 

6. Boella, G., van der Torre, L., Verhagen, H.: Introduction to the special issue on normative multiagent systems. Autonomous Agents and Multi-Agent Systems 17(1), 1–10 (2008)

   Article  Google Scholar 

7. Bonzon, E., Lagasquie-Schiex, M.-C., Lang, J.: Dependencies between players in boolean games. Int. J. Approx. Reasoning 50(6), 899–914 (2009)

   Article  MathSciNet  MATH  Google Scholar 

8. Bonzon, E., Lagasquie-Schiex, M.-C., Lang, J., Zanuttini, B.: Boolean games revisited. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) 17th European Conference on Artificial Intelligence, ECAI 2006, Proceedings of th Including Prestigious Applications of Intelligent Systems (PAIS 2006), Riva del Garda, Italy, August 29 - September 1. Frontiers in Artificial Intelligence and Applications, vol. 141, pp. 265–269. IOS Press (2006)

   Google Scholar 

9. Bonzon, E., Lagasquie-Schiex, M.-C., Lang, J., Zanuttini, B.: Compact preference representation and boolean games. Autonomous Agents and Multi-Agent Systems 18(1), 1–35 (2009)

   Article  Google Scholar 

10. Buss, S.R., Hay, L.: On truth-table reducibility to SAT. Inf. Comput. 91(1), 86–102 (1991)

    Article  MathSciNet  MATH  Google Scholar 

11. Coase, R.: The problem of social cost. Journal of Law and Economics 1 (1960)

    Google Scholar 

12. Coleman, J.: Foundations of Social Theory. Belnap Press (1998)

    Google Scholar 

13. Dunne, P.E., van der Hoek, W., Kraus, S., Wooldridge, M.: Cooperative boolean games. In: Padgham, L., Parkes, D.C., Müller, J.P., Parsons, S. (eds.) 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, vol. 2, pp. 1015–1022. IFAAMAS (2008)

    Google Scholar 

14. Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.): Handbook of Deontic Logic and Normative Systems. College Publications, London (2014)

    Google Scholar 

15. Grossi, D., Tummolini, L., Turrini, P.: Norms in game theory. In: Handbook of Agreement Technologies (2012)

    Google Scholar 

16. Harrenstein, P.: Logic in conflict. PhD thesis, Utrecht University (2004)

    Google Scholar 

17. Harrenstein, P., van der Hoek, W., Meyer, J.-J., Witteveen, C.: Boolean games. In: Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2001, San Francisco, CA, USA, pp. 287–298. Morgan Kaufmann Publishers Inc. (2001)

    Google Scholar 

18. Herzig, A., Lorini, E., Moisan, F., Troquard, N.: A dynamic logic of normative systems. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011, Barcelona, Catalonia, Spain, July 16-22, pp. 228–233. IJCAI/AAAI (2011)

    Google Scholar 

19. Hurwicz, L.: Institutions as families of game forms. Japanese Economic Review 47(2), 113–132 (1996)

    Article  Google Scholar 

20. Hurwicz, L.: But who will guard the guardians? American Economic Review 98(3), 577–585 (2008)

    Article  Google Scholar 

21. Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29, 383–408 (2000)

    Article  MathSciNet  MATH  Google Scholar 

22. Makinson, D., van der Torre, L.: Permission from an input/output perspective. Journal of Philosophical Logic 32, 391–416 (2003)

    Article  MathSciNet  MATH  Google Scholar 

23. Mavronicolas, M., Monien, B., Wagner, K.W.: Weighted boolean formula games. In: Deng, X., Graham, F.C. (eds.) WINE 2007. LNCS, vol. 4858, pp. 469–481. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

24. Osborne, M., Rubinstein, A.: A Course in Game Theory. The MIT Press, Cambridge (1994)

    MATH  Google Scholar 

25. Parent, X.: Moral particularism in the light of deontic logic. Artif. Intell. Law 19(2-3), 75–98 (2011)

    Article  Google Scholar 

26. Sauro, L., Villata, S.: Dependency in cooperative boolean games. J. Log. Comput. 23(2), 425–444 (2013)

    Article  MathSciNet  MATH  Google Scholar 

27. Shoham, Y., Leyton-Brown, K.: Multiagent Systems - Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press (2009)

    Google Scholar 

28. Sun, X.: How to build input/output logic. In: Bulling, N., van der Torre, L., Villata, S., Jamroga, W., Vasconcelos, W. (eds.) CLIMA XV 2014. LNCS (LNAI), vol. 8624, pp. 123–137. Springer, Heidelberg (2014)

    Google Scholar 

29. Ulmann-Margalit, E.: The Emergence of Norms. Clarendon Press, Oxford (1977)

    Google Scholar 

30. von Wright, G.: Deontic logic. Mind 60, 1–15 (1952)

    Google Scholar 

31. Weiss, G. (ed.): Multiagent systems, 2nd edn. MIT Press (2013)

    Google Scholar 

32. Wooldridge, M.: An Introduction to MultiAgent Systems, 2nd edn. Wiley (2009)

    Google Scholar 

Download references