{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:10:08Z","timestamp":1750198208016,"version":"3.41.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319509525"},{"type":"electronic","value":"9783319509532"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-50953-2_16","type":"book-chapter","created":{"date-parts":[[2017,4,11]],"date-time":"2017-04-11T10:07:32Z","timestamp":1491905252000},"page":"217-232","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Combining Input\/Output Logic and Reification for Representing Real-World Obligations"],"prefix":"10.1007","author":[{"given":"Livio","family":"Robaldo","sequence":"first","affiliation":[]},{"given":"Llio","family":"Humphreys","sequence":"additional","affiliation":[]},{"given":"Xin","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Loredana","family":"Cupi","sequence":"additional","affiliation":[]},{"given":"Cristiana","family":"Santos","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Muthuri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,12]]},"reference":[{"volume-title":"Logic in the Theory and Practice of Lawmaking","year":"2015","key":"16_CR1","unstructured":"Araszkiewicz, M., Pleszka, K. (eds.): Logic in the Theory and Practice of Lawmaking. Springer, Heidelberg (2015)"},{"key":"16_CR2","unstructured":"Bach, E.: On time, tense, and aspect: An essay in english metaphysics. In: Cole, P. (ed.) Radical Pragmatics, pp. 63\u201381. Academic Press, New York (1981)"},{"key":"16_CR3","unstructured":"Bartolini, C., Muthuri, R.: Reconciling data protection rights and obligations: An ontology of the forthcoming EU regulation. In: Proceedings of the Workshop on Language and Semantic Technology for Legal Domain (LST4LD) (2015)"},{"issue":"2","key":"16_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/s10844-014-0320-9","volume":"43","author":"G Boella","year":"2014","unstructured":"Boella, G., Di Caro, L., Ruggeri, A., Robaldo, L.: Learning from syntax generalizations for automatic semantic annotation. J. Intell. Inf. Syst. 43(2), 231\u2013246 (2014)","journal-title":"J. Intell. Inf. Syst."},{"issue":"2","key":"16_CR5","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s11168-006-6327-9","volume":"3","author":"A Copestake","year":"2005","unstructured":"Copestake, A., Flickinger, D., Sag, I.A.: Minimal recursion semantics: An introduction. J. Res. Lang. Comput. 3(2), 281\u2013332 (2005)","journal-title":"J. Res. Lang. Comput."},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Davidson, D.: The logical form of action sentences. In: Rescher, N. (ed.) The Logic of Decision and Action. University of Pittsburgh Press (1967)","DOI":"10.2307\/jj.13027259.6"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Evans, D., Eyers, D.: Deontic logic for modelling data flow and use compliance. In: Proceedings of the 6th International Workshop on Middleware for Pervasive and Ad-hoc Computing, pp. 19\u201324. ACM, New York (2008)","DOI":"10.1145\/1462789.1462793"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Fornara, N., Colombetti, M.: Specifying artificial institutions in the event calculus. In: Dignum, V. (ed.) Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, pp. 335\u2013366. IGI Global (2009)","DOI":"10.4018\/978-1-60566-256-5.ch014"},{"volume-title":"Handbook of Deontic Logic and Normative Systems","year":"2013","key":"16_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":"16_CR10","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/s11229-005-5516-7","volume":"150","author":"A Galton","year":"2006","unstructured":"Galton, A.: Operators vs. arguments: The ins and outs of reification. Synthese 150(3), 415\u2013441 (2006)","journal-title":"Synthese"},{"issue":"6","key":"16_CR11","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. Logic 42(6), 799\u2013829 (2013)","journal-title":"J. Philos. Logic"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-319-09870-8_22","volume-title":"Rules on the Web. From Theory to Applications","author":"M Hashmi","year":"2014","unstructured":"Hashmi, M., Governatori, G., Wynn, M.T.: Modeling obligations with event-calculus. In: Bikakis, A., Fodor, P., Roman, D. (eds.) RuleML 2014. LNCS, vol. 8620, pp. 296\u2013310. Springer, Cham (2014). doi: 10.1007\/978-3-319-09870-8_22"},{"key":"16_CR13","unstructured":"Hobbs, J.R.: Monotone decreasing quantifiers in a scope-free logical form. In: Semantic Ambiguity and Underspecification, pp. 55\u201376 (1995)"},{"key":"16_CR14","unstructured":"Hobbs, J.R.: The logical notation: Ontological promiscuity. In: Discourse and Inference (1998). Chapter 2, http:\/\/www.isi.edu\/~hobbs\/disinf-tc.html"},{"key":"16_CR15","volume-title":"From Discourse to Logic: An Introduction to Modeltheoretic Semantics, Formal Logic and Discourse Representation Theory","author":"H Kamp","year":"1993","unstructured":"Kamp, H., Reyle, U.: From Discourse to Logic: An Introduction to Modeltheoretic Semantics, Formal Logic and Discourse Representation Theory. Kluwer Academic Publishers, Dordrecht (1993)"},{"issue":"1","key":"16_CR16","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4(1), 67\u201395 (1986)","journal-title":"New Gener. Comput."},{"issue":"4","key":"16_CR17","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(4), 391\u2013416 (2003)","journal-title":"J. Philos. Logic"},{"key":"16_CR18","series-title":"Trends in Logic","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-94-017-0395-6_12","volume-title":"Foundations of the Formal Sciences II","author":"D Makinson","year":"2003","unstructured":"Makinson, D., van der Torre, L.: What is input\/output logic? In: Lwe, B., Malzkom, W., Rsch, T. (eds.) Foundations of the Formal Sciences II. Trends in Logic, vol. 17, pp. 163\u2013174. Springer, Netherlands (2003)"},{"issue":"4","key":"16_CR19","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(4), 383\u2013408 (2000)","journal-title":"J. Philos. Logic"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"McCarty, L.T.: A language for legal discourse I. basic features. In: Proceedings of the 2nd International Conference on Artificial Intelligence and Law (ICAIL 1989). ACM Press (1989)","DOI":"10.1145\/74014.74037"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"McCarty, L.T.: Deep semantic interpretations of legal texts. In: 2007 Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 4\u20138 June 2007, Stanford Law School, Stanford, California, USA, pp. 217\u2013224 (2007)","DOI":"10.1145\/1276318.1276361"},{"issue":"4","key":"16_CR22","first-page":"77","volume":"16","author":"R Miller","year":"1999","unstructured":"Miller, R., Shanahan, M.: The event calculus in classical logic alternative axiomatizations. Electron. Trans. Artif. Intell. 16(4), 77\u2013105 (1999)","journal-title":"Electron. Trans. Artif. Intell."},{"key":"16_CR23","unstructured":"Parent, X., van der Torre, L.: Input\/output 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)"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Paschke, A., Bichler, M.: SLA representation, management and enforcement. In: 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March\u20131 April 2005, Hong Kong, China, pp. 158\u2013163 (2005)","DOI":"10.1109\/EEE.2005.121"},{"issue":"5","key":"16_CR25","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1016\/j.jcss.2009.10.009","volume":"76","author":"L Robaldo","year":"2010","unstructured":"Robaldo, L.: Interpretation and inference with maximal referential terms. J. Comput. Syst. Sci. 76(5), 373\u2013388 (2010)","journal-title":"J. Comput. Syst. Sci."},{"issue":"2","key":"16_CR26","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s10849-010-9131-8","volume":"20","author":"L Robaldo","year":"2011","unstructured":"Robaldo, L.: Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality. J. Logic Lang. Inf. 20(2), 233\u2013271 (2011)","journal-title":"J. Logic Lang. Inf."},{"issue":"5","key":"16_CR27","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1093\/jigpal\/jzt018","volume":"21","author":"L Robaldo","year":"2013","unstructured":"Robaldo, L.: Conservativity: a necessary property for the maximization of witness sets. Logic J. IGPL 21(5), 853\u2013878 (2013)","journal-title":"Logic J. IGPL"},{"issue":"1","key":"16_CR28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5087\/dad.2014.101","volume":"5","author":"L Robaldo","year":"2014","unstructured":"Robaldo, L., Miltsakaki, E.: Corpus-driven semantics of concession: Where do expectations come from. Dialogue Discourse 5(1), 1\u201336 (2014)","journal-title":"Dialogue Discourse"},{"issue":"1","key":"16_CR29","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s10849-014-9197-9","volume":"23","author":"L Robaldo","year":"2014","unstructured":"Robaldo, L., Szymanik, J., Meijering, B.: On the identification of quantifiers\u2019 witness sets a study of multi-quantifier sentences. J. Logic Lang. Inf. 23(1), 53\u201381 (2014)","journal-title":"J. Logic Lang. Inf."},{"issue":"5","key":"16_CR30","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"MJ Sergot","year":"1986","unstructured":"Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F., Hammond, P., Cory, H.T.: The british nationality act as a logic program. Commun. ACM 29(5), 370\u2013386 (1986)","journal-title":"Commun. ACM"},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"Sun, X.: How to build input\/output logic. In: 15th International Workshop on Computational Logic in Multi-Agent Systems, pp. 123\u2013137 (2014)","DOI":"10.1007\/978-3-319-09764-0_8"},{"key":"16_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/978-3-662-48561-3_38","volume-title":"Logic, Rationality, and Interaction","author":"X Sun","year":"2015","unstructured":"Sun, X., Ambrossio, D.A.: On the complexity of input\/output logic. In: Hoek, W., Holliday, W.H., Wang, W. (eds.) LORI 2015. LNCS, vol. 9394, pp. 429\u2013434. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-48561-3_38"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-50953-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:50:08Z","timestamp":1750197008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-50953-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319509525","9783319509532"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-50953-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"12 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JSAI-isAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"JSAI International Symposium on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kanagawa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2015","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2015","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 November 2015","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jsai2015","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.ai-gakkai.or.jp\/isai\/isai2015\/ws2015","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}