{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:34Z","timestamp":1760202694925},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319254197"},{"type":"electronic","value":"9783319254203"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25420-3_5","type":"book-chapter","created":{"date-parts":[[2015,11,6]],"date-time":"2015-11-06T03:41:11Z","timestamp":1446781271000},"page":"72-88","source":"Crossref","is-referenced-by-count":3,"title":["Severity-Sensitive Robustness Analysis in Normative Systems"],"prefix":"10.1007","author":[{"given":"Luca","family":"Gasparini","sequence":"first","affiliation":[]},{"given":"Timothy J.","family":"Norman","sequence":"additional","affiliation":[]},{"given":"Martin J.","family":"Kollingbaum","sequence":"additional","affiliation":[]},{"given":"Liang","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,7]]},"reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1093\/jigpal\/jzp070","volume":"18","author":"T \u00c5gotnes","year":"2010","unstructured":"\u00c5gotnes, T., Van der Hoek, W., Wooldridge, M.: Robust normative systems and a logic of norm compliance. Log. J. IGPL 18(1), 4\u201330 (2010)","journal-title":"Log. J. IGPL"},{"issue":"2","key":"5_CR2","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1093\/analys\/24.2.33","volume":"24","author":"RM Chisholm","year":"1963","unstructured":"Chisholm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis 24(2), 33\u201336 (1963)","journal-title":"Analysis"},{"key":"5_CR3","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)"},{"issue":"1","key":"5_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/AIC-2012-0511","volume":"25","author":"MS Fagundes","year":"2012","unstructured":"Fagundes, M.S., Ossowski, S., Luck, M., Miles, S.: Using normative Markov decision processes for evaluating electronic contracts. AI Commun. 25(1), 1\u201317 (2012)","journal-title":"AI Commun."},{"issue":"6","key":"5_CR6","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/367766.368168","volume":"5","author":"RW Floyd","year":"1962","unstructured":"Floyd, R.W.: Algorithm 97: shortest path. Commun. ACM 5(6), 345 (1962)","journal-title":"Commun. ACM"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-74621-8_13","volume-title":"Frontiers of Combining Systems","author":"T French","year":"2007","unstructured":"French, T., Mc Cabe-Dansted, J.C., Reynolds, M.: A temporal logic of robustness. In: Konev, B., Wolter, F. (eds.) FroCos 2007. LNCS (LNAI), vol. 4720, pp. 193\u2013205. Springer, Heidelberg (2007)"},{"key":"5_CR8","unstructured":"Gasparini, L., Norman, T.J., Kollingbaum, M.J., Chen, L., Meyer, J.J.C.: Verifying normative system specifications containing collective imperatives and deadlines. In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (2015)"},{"issue":"11","key":"5_CR9","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/368996.369025","volume":"5","author":"AB Kahn","year":"1962","unstructured":"Kahn, A.B.: Topological sorting of large networks. Commun. ACM 5(11), 558\u2013562 (1962)","journal-title":"Commun. ACM"},{"key":"5_CR10","first-page":"168","volume-title":"Frontiers in Artificial Intelligence and Applications","author":"P Kazmierczak","year":"2012","unstructured":"Kazmierczak, P., Pedersen, T., \u00c5gotnes, T.: NORMC: a norm compliance temporal logic model checker. In: Kersting, K., Toussaint, M. (eds.) Frontiers in Artificial Intelligence and Applications, pp. 168\u2013179. IOS Press, Amsterdam (2012)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Advances and challenges of probabilistic model checking. In: Proceedings of the 48th Annual Allerton Conference on Communication, Control, and Computing, pp. 1691\u20131698 (2010)","DOI":"10.1109\/ALLERTON.2010.5707120"},{"issue":"1","key":"5_CR12","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF00370671","volume":"57","author":"H Prakken","year":"1996","unstructured":"Prakken, H., Sergot, M.: Contrary-to-duty obligations. Stud. Log. 57(1), 91\u2013115 (1996)","journal-title":"Stud. Log."},{"issue":"1\u20134","key":"5_CR13","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1023\/A:1018975332469","volume":"27","author":"L Torre van der","year":"1999","unstructured":"van der Torre, L., Tan, Y.H.: Contrary-to-duty reasoning with preference-based dyadic obligations. Ann. Math. Artif. Intell. 27(1\u20134), 49\u201378 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"2","key":"5_CR14","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/s10458-008-9070-9","volume":"19","author":"WW Vasconcelos","year":"2009","unstructured":"Vasconcelos, W.W., Kollingbaum, M.J., Norman, T.J.: Normative conflict resolution in multi-agent systems. Auton. Agent. Multi-Agent Syst. 19(2), 124\u2013152 (2009)","journal-title":"Auton. Agent. Multi-Agent Syst."}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, and Norms in Agent Systems X"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25420-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,11]],"date-time":"2020-09-11T01:17:37Z","timestamp":1599787057000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25420-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319254197","9783319254203"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25420-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}