{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:20:02Z","timestamp":1740097202146,"version":"3.37.3"},"publisher-location":"Cham","reference-count":22,"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_7","type":"book-chapter","created":{"date-parts":[[2015,11,28]],"date-time":"2015-11-28T04:25:12Z","timestamp":1448684712000},"page":"72-79","source":"Crossref","is-referenced-by-count":0,"title":["Computational Complexity of Input\/Output Logic"],"prefix":"10.1007","author":[{"given":"Xin","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego Agust\u00edn","family":"Ambrossio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,29]]},"reference":[{"key":"7_CR1","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.) Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp. 1175\u20131180, Hyderabad, India, January 6\u201312, 2007. \n                      http:\/\/dli.iiit.ac.in\/ijcai\/IJCAI-2007\/PDF\/IJCAI07-190.pdf"},{"key":"7_CR2","unstructured":"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\/AAAI, Beijing, China, August 3\u20139, 2013. \n                      http:\/\/www.aaai.org\/ocs\/index.php\/IJCAI\/IJCAI13\/paper\/view\/6884"},{"key":"7_CR3","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). \n                      http:\/\/drops.dagstuhl.de\/opus\/portals\/dfu\/index.php?semnr=13003"},{"key":"7_CR4","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)"},{"issue":"1\u20132","key":"7_CR5","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.artint.2004.07.002","volume":"160","author":"A Bochman","year":"2004","unstructured":"Bochman, A.: A causal approach to nonmonotonic reasoning. Artif. Intell. 160(1\u20132), 105\u2013143 (2004)","journal-title":"Artif. Intell."},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/11786849_5","volume-title":"Deontic Logic and Artificial Normative Systems","author":"G Boella","year":"2006","unstructured":"Boella, G., van der Torre, L.W.N.: A logical architecture of a normative system. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 24\u201335. Springer, Heidelberg (2006)"},{"issue":"1","key":"7_CR7","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. Agent. Multi-Agent Syst. 17(1), 1\u201310 (2008)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"7_CR8","unstructured":"Tosatto, C.S., Boella, G., van der Torre, L., Villata, S.: Abstract normative systems: Semantics and proof theory. In: Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, pp. 358\u2013368 (2012)"},{"volume-title":"Handbook of Deontic Logic and Normative Systems","year":"2013","key":"7_CR9","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 (2013)"},{"issue":"3","key":"7_CR10","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","volume":"2","author":"G Gottlob","year":"1992","unstructured":"Gottlob, G.: Complexity results for nonmonotonic logics. J. Log. Comput. 2(3), 397\u2013425 (1992). \n                      http:\/\/dx.doi.org\/10.1093\/logcom\/2.3.397","journal-title":"J. Log. Comput."},{"key":"7_CR11","unstructured":"Herzig, A., Lorini, E., Moisan, F., Troquard, N.: A dynamic logic of normative systems. In: Walsh, T. (ed.) Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI\/AAAI, pp. 228\u2013233, Barcelona, Catalonia, Spain, July 16\u201322, 2011. \n                      http:\/\/ijcai.org\/papers11\/Papers\/IJCAI11-049.pdf"},{"key":"7_CR12","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. Logic 29, 383\u2013408 (2000)","journal-title":"J. Philos. Logic"},{"issue":"2","key":"7_CR13","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D Makinson","year":"2001","unstructured":"Makinson, D., van der Torre, L.: Constraints for input\/output logics. J. Philos. Logic 30(2), 155\u2013185 (2001)","journal-title":"J. Philos. Logic"},{"key":"7_CR14","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. Logic 32, 391\u2013416 (2003)","journal-title":"J. Philos. Logic"},{"key":"7_CR15","volume-title":"Handbook of Deontic Logic and Normative Systems","author":"X Parent","year":"2013","unstructured":"Parent, X., van der Torre, L.: I\/O logic. In: Horty, J., Gabbay, D., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems. College Publications, London (2013)"},{"issue":"1\u20132","key":"7_CR16","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1\u20132), 81\u2013132 (1980)","journal-title":"Artif. Intell."},{"key":"7_CR17","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, Cambridge (2009)"},{"key":"7_CR18","volume-title":"Introduction to the Theory of Computation","author":"M Sipser","year":"2012","unstructured":"Sipser, M.: Introduction to the Theory of Computation, 3rd edn. Cengage Learning, Boston (2012)","edition":"3"},{"key":"7_CR19","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":"7_CR20","doi-asserted-by":"crossref","unstructured":"Sun, X., Ambrossio, D.A.: On the complexity of input\/output logic. In: the Proceedings of the Fifth International Conference on Logic, Rationality and Interaction (LORI) (2015)","DOI":"10.1007\/978-3-662-48561-3_38"},{"key":"7_CR21","volume-title":"Multiagent Systems","year":"2013","unstructured":"Weiss, G. (ed.): Multiagent Systems, 2nd edn. MIT press, Cambridge (2013)","edition":"2"},{"key":"7_CR22","volume-title":"An Introduction to Multiagent Systems","author":"MJ Wooldridge","year":"2009","unstructured":"Wooldridge, M.J.: An Introduction to Multiagent Systems, 2nd edn. Wiley, Chichester (2009)","edition":"2"}],"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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T14:35:25Z","timestamp":1559313325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26181-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319261805","9783319261812"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26181-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}