{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:55:51Z","timestamp":1725839751366},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319261805"},{"type":"electronic","value":"9783319261812"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26181-2_6","type":"book-chapter","created":{"date-parts":[[2015,11,28]],"date-time":"2015-11-28T09:25:12Z","timestamp":1448702712000},"page":"61-71","source":"Crossref","is-referenced-by-count":0,"title":["Boolean Games with Norms"],"prefix":"10.1007","author":[{"given":"Xin","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,29]]},"reference":[{"key":"6_CR1","unstructured":"Alechina, N., Dastani, M., Logan, B.: Reasoning about normative update. In: Rossi, F. (ed.) IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, 3\u20139 August 2013. IJCAI\/AAAI (2013)"},{"key":"6_CR2","unstructured":"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)"},{"key":"6_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804090","volume-title":"Computational Complexity: A Modern Approach","author":"S Arora","year":"2009","unstructured":"Arora, S., Barak, B.: Computational Complexity: A Modern Approach. Cambridge University Press, New York (2009)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-540-72870-2_22","volume-title":"Algorithmic Aspects in Information and Management","author":"V Bil\u00f2","year":"2007","unstructured":"Bil\u00f2, 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\u2013240. Springer, Heidelberg (2007)"},{"issue":"1","key":"6_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10458-008-9047-8","volume":"17","author":"G Boella","year":"2008","unstructured":"Boella, G., van der Torre, L., Verhagen, H.: Introduction to the special issue on normative multiagent systems. Auton. Agents Multi-Agent Syst. 17(1), 1\u201310 (2008)","journal-title":"Auton. Agents Multi-Agent Syst."},{"issue":"6","key":"6_CR6","doi-asserted-by":"publisher","first-page":"899","DOI":"10.1016\/j.ijar.2009.02.008","volume":"50","author":"E Bonzon","year":"2009","unstructured":"Bonzon, E., Lagasquie-Schiex, M.-C., Lang, J.: Dependencies between players in boolean games. Int. J. Approx. Reasoning 50(6), 899\u2013914 (2009)","journal-title":"Int. J. Approx. Reasoning"},{"key":"6_CR7","unstructured":"Bonzon, E., Lagasquie-Schiex, M.-C., Lang, J., Zanuttini, B.: Boolean games revisited. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI 2006, 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, August 29\u2013September 1 2006, Proceedings of Including Prestigious Applications of Intelligent Systems (PAIS 2006). Frontiers in Artificial Intelligence and Applications, vol. 141, pp. 265\u2013269. IOS Press (2006)"},{"issue":"1","key":"6_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10458-008-9040-2","volume":"18","author":"E Bonzon","year":"2009","unstructured":"Bonzon, E., Lagasquie-Schiex, M.-C., Lang, J., Zanuttini, B.: Compact preference representation and boolean games. Auton. Agents Multi-Agent Syst. 18(1), 1\u201335 (2009)","journal-title":"Auton. Agents Multi-Agent Syst."},{"issue":"1","key":"6_CR9","first-page":"67","volume":"11","author":"R Coase","year":"1960","unstructured":"Coase, R.: The problem of social cost. J. Law Econ. 11(1), 67\u201373 (1960)","journal-title":"J. Law Econ."},{"key":"6_CR10","volume-title":"Foundations of Social Theory","author":"J Coleman","year":"1998","unstructured":"Coleman, J.: Foundations of Social Theory. Belnap Press, Cambridge (1998)"},{"key":"6_CR11","unstructured":"Dunne, P.E., van der Hoek, W., Kraus, S., Wooldridge, M.: Cooperative boolean games. In: Padgham, L., Parkes, D.C., M\u00fcller, J.P., Parsons, S. (eds.) 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, 12\u201316 May 2008, vol. 2, pp. 1015\u20131022. IFAAMAS (2008)"},{"volume-title":"Handbook of Deontic Logic and Normative Systems","year":"2014","key":"6_CR12","unstructured":"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)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., van der Hoek, W., Rodr\u00edguez-Aguilar, J.A., Sierra, C., Wooldridge, M.: On the logic of normative systems. In: Veloso, M.M. (ed.) IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, 6\u201312 January 2007, pp. 1175\u20131180 (2007)","DOI":"10.1145\/1329125.1329284"},{"issue":"6","key":"6_CR14","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1007\/s10992-013-9295-1","volume":"42","author":"G Governatori","year":"2013","unstructured":"Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S.: Computing strong and weak permissions in defeasible logic. J. Philos. Log. 42(6), 799\u2013829 (2013)","journal-title":"J. Philos. Log."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Grossi, D., Tummolini, L., Turrini, P.: Norms in game theory. In: Handbook of Agreement Technologies (2012)","DOI":"10.1007\/978-94-007-5583-3_12"},{"key":"6_CR16","unstructured":"Harrenstein, P.: Logic in conflict. Ph.D. thesis, Utrecht University (2004)"},{"key":"6_CR17","unstructured":"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, pp. 287\u2013298. Morgan Kaufmann Publishers Inc., San Francisco (2001)"},{"key":"6_CR18","unstructured":"Herzig, A., Lorini, E., Moisan, F., Troquard, N.: A dynamic logic of normative systems. In: Walsh, T. (ed.) IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, 16\u201322 July 2011, pp. 228\u2013233. IJCAI\/AAAI (2011)"},{"issue":"2","key":"6_CR19","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1111\/j.1468-5876.1996.tb00038.x","volume":"47","author":"L Hurwicz","year":"1996","unstructured":"Hurwicz, L.: Institutions as families of game forms. Jpn. Econ. Rev. 47(2), 113\u2013132 (1996)","journal-title":"Jpn. Econ. Rev."},{"issue":"3","key":"6_CR20","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1257\/aer.98.3.577","volume":"98","author":"L Hurwicz","year":"2008","unstructured":"Hurwicz, L.: But who will guard the guardians? Am. Econ. Rev. 98(3), 577\u2013585 (2008)","journal-title":"Am. Econ. Rev."},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1004748624537","volume":"29","author":"D Makinson","year":"2000","unstructured":"Makinson, D., van der Torre, L.: Input-output logics. J. Philos. Log. 29, 383\u2013408 (2000)","journal-title":"J. Philos. Log."},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1024806529939","volume":"32","author":"D Makinson","year":"2003","unstructured":"Makinson, D., van der Torre, L.: Permission from an input\/output perspective. J. Philos. Log. 32, 391\u2013416 (2003)","journal-title":"J. Philos. Log."},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/978-3-540-77105-0_51","volume-title":"Internet and Network Economics","author":"M Mavronicolas","year":"2007","unstructured":"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\u2013481. Springer, Heidelberg (2007)"},{"key":"6_CR24","volume-title":"A Course in Game Theory","author":"M Osborne","year":"1994","unstructured":"Osborne, M., Rubinstein, A.: A Course in Game Theory. MIT Press, Cambridge (1994)"},{"issue":"2","key":"6_CR25","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1093\/logcom\/exr030","volume":"23","author":"L Sauro","year":"2013","unstructured":"Sauro, L., Villata, S.: Dependency in cooperative boolean games. J. Log. Comput. 23(2), 425\u2013444 (2013)","journal-title":"J. Log. Comput."},{"key":"6_CR26","volume-title":"Multiagent Systems - Algorithmic, Game-Theoretic, and Logical Foundations","author":"Y Shoham","year":"2009","unstructured":"Shoham, Y., Leyton-Brown, K.: Multiagent Systems - Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press, New York (2009)"},{"key":"6_CR27","unstructured":"Shoham, Y., Tennenholtz, M.: On the synthesis of useful social laws for artificial agent societies (preliminary report). In: Swartout, W.R. (ed.) Proceedings of the 10th National Conference on Artificial Intelligence, San Jose, CA, 12\u201316 July 1992, pp. 276\u2013281. AAAI Press\/MIT Press (1992)"},{"issue":"1\u20132","key":"6_CR28","first-page":"231","volume":"73","author":"Y Shoham","year":"1996","unstructured":"Shoham, Y., Tennenholtz, M.: On social laws for artificial agent societies: off-line design. Artif. Intell. 73(1\u20132), 231\u2013252 (1996)","journal-title":"Artif. Intell."},{"issue":"1","key":"6_CR29","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.jal.2010.01.001","volume":"8","author":"A Stolpe","year":"2010","unstructured":"Stolpe, A.: A theory of permission based on the notion of derogation. J. Appl. Log. 8(1), 97\u2013113 (2010)","journal-title":"J. Appl. Log."},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/978-3-319-09764-0_8","volume-title":"Computational Logic in Multi-Agent Systems","author":"X Sun","year":"2014","unstructured":"Sun, X.: How to build input\/output logic. In: Bulling, N., van der Torre, L., Villata, S., Jamroga, W., Vasconcelos, W. (eds.) CLIMA 2014. LNCS, vol. 8624, pp. 123\u2013137. Springer, Heidelberg (2014)"},{"key":"6_CR31","volume-title":"The Emergence of Norms","author":"E Ulmann-Margalit","year":"1977","unstructured":"Ulmann-Margalit, E.: The Emergence of Norms. Clarendon Press, Oxford (1977)"},{"key":"6_CR32","first-page":"1","volume":"60","author":"G Wright von","year":"1952","unstructured":"von Wright, G.: Deontic logic. Mind 60, 1\u201315 (1952)","journal-title":"Mind"},{"key":"6_CR33","volume-title":"Multiagent Systems","year":"2013","unstructured":"Weiss, G. (ed.): Multiagent Systems, 2nd edn. MIT Press, Cambridge (2013)","edition":"2"},{"key":"6_CR34","volume-title":"An Introduction to MultiAgent Systems, 2nd edn","author":"M Wooldridge","year":"2009","unstructured":"Wooldridge, M.: An Introduction to MultiAgent Systems, 2nd edn. Wiley, Chichester (2009)"}],"container-title":["Lecture Notes in Computer Science","Multi-disciplinary Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26181-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T00:29:22Z","timestamp":1692145762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26181-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319261805","9783319261812"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26181-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}