{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:39:21Z","timestamp":1742920761438,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319612515"},{"type":"electronic","value":"9783319612522"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61252-2_2","type":"book-chapter","created":{"date-parts":[[2017,6,12]],"date-time":"2017-06-12T22:55:48Z","timestamp":1497308148000},"page":"7-21","source":"Crossref","is-referenced-by-count":0,"title":["Dischargeable Obligations in Abductive Logic Programming"],"prefix":"10.1007","author":[{"given":"Marco","family":"Alberti","sequence":"first","affiliation":[]},{"given":"Marco","family":"Gavanelli","sequence":"additional","affiliation":[]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]},{"given":"Fabrizio","family":"Riguzzi","sequence":"additional","affiliation":[]},{"given":"Riccardo","family":"Zese","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,14]]},"reference":[{"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.) 20th International Joint Conference on Artificial Intelligence, Hyderabad, India (IJCAI 2007), vol. 7, pp. 1175\u20131180. AAAI Press, Palo Alto (2007)","key":"2_CR1"},{"issue":"1","key":"2_CR2","doi-asserted-by":"crossref","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"},{"doi-asserted-by":"crossref","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M.: An abductive framework for a-priori verification of web services. In: Maher, M. (ed.) Proceedings of the 8th Symposium on Principles and Practice of Declarative Programming, pp. 39\u201350. ACM Press, New York, July 2006","key":"2_CR3","DOI":"10.1145\/1140335.1140342"},{"issue":"2\u20134","key":"2_CR4","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1080\/08839510500479546","volume":"20","author":"M Alberti","year":"2006","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Appl. Artif. Intell. 20(2\u20134), 133\u2013157 (2006)","journal-title":"Appl. Artif. Intell."},{"issue":"4","key":"2_CR5","first-page":"29:1","volume":"9","author":"M Alberti","year":"2008","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM T. Comput. Log. 9(4), 29:1\u201329:43 (2008)","journal-title":"ACM T. Comput. Log."},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-642-29414-3_17","volume-title":"Logic Programs, Norms and Action","author":"M Alberti","year":"2012","unstructured":"Alberti, M., Gavanelli, M., Lamma, E.: Deon $$^+$$ : abduction and constraints for normative reasoning. In: Artikis, A., Craven, R., Kesim \u00c7i\u00e7ekli, N., Sadighi, B., Stathis, K. (eds.) Logic Programs, Norms and Action. LNCS, vol. 7360, pp. 308\u2013328. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-29414-3_17"},{"issue":"2\u20133","key":"2_CR7","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/s10588-006-9544-8","volume":"12","author":"M Alberti","year":"2006","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Sartor, G., Torroni, P.: Mapping deontic operators to abductive expectations. Comput. Math. Organ. Th. 12(2\u20133), 205\u2013225 (2006)","journal-title":"Comput. Math. Organ. Th."},{"issue":"2","key":"2_CR8","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1016\/S1571-0661(05)82605-2","volume":"85","author":"M Alberti","year":"2003","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using social integrity constraints. Electr. Notes Theor. Comput. Sci. 85(2), 94\u2013116 (2003)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1","key":"2_CR9","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF00370667","volume":"57","author":"CE Alchourr\u00f3n","year":"1996","unstructured":"Alchourr\u00f3n, C.E.: Detachment and defeasibility in deontic logic. Studia Logica 57(1), 5\u201318 (1996)","journal-title":"Studia Logica"},{"issue":"2","key":"2_CR10","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symbolic Logic 50(2), 510\u2013530 (1985)","journal-title":"J. Symbolic Logic"},{"unstructured":"ALFEBIITE: A Logical Framework for Ethical Behaviour Between Infohabitants in the Information Trading Economy of the Universal Information Ecosystem. IST-1999-10298 (1999)","key":"2_CR11"},{"issue":"2","key":"2_CR12","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/5254.757633","volume":"14","author":"KA Arisha","year":"1999","unstructured":"Arisha, K.A., Ozcan, F., Ross, R., Subrahmanian, V.S., Eiter, T., Kraus, S.: IMPACT: a platform for collaborating agents. IEEE Intell. Syst. 14(2), 64\u201372 (1999)","journal-title":"IEEE Intell. Syst."},{"issue":"2\u20133","key":"2_CR13","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/B:ARTI.0000046007.11806.9a","volume":"11","author":"F Bex","year":"2003","unstructured":"Bex, F., Prakken, H., Reed, C., Walton, D.: Towards a formal account of reasoning about evidence: argumentation schemes and generalisations. Artif. Intell. Law 11(2\u20133), 125\u2013165 (2003)","journal-title":"Artif. Intell. Law"},{"issue":"2","key":"2_CR14","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s10506-010-9092-x","volume":"18","author":"FJ Bex","year":"2010","unstructured":"Bex, F.J., van Koppen, P.J., Prakken, H., Verheij, B.: A hybrid formal theory of arguments, stories and criminal evidence. Artif. Intell. Law 18(2), 123\u2013152 (2010)","journal-title":"Artif. Intell. Law"},{"key":"2_CR15","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/s10588-006-9537-7","volume":"12","author":"G Boella","year":"2006","unstructured":"Boella, G., van der Torre, L., Verhagen, H.: Introduction to normative multiagent systems. Comput. Math. Organ. Th. 12, 71\u201379 (2006)","journal-title":"Comput. Math. Organ. Th."},{"doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L.W.N.: Permissions and obligations in hierarchical normative systems. In: Zeleznikow, J., Sartor, G. (eds.) 9th International Conference on Artificial Intelligence and Law (ICAIL 2003), Edinburgh, Scotland, UK, Proceedings, pp. 109\u2013118. ACM Press (2003)","key":"2_CR16","DOI":"10.1145\/1047788.1047818"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-540-31794-4_18","volume-title":"Global Computing","author":"A Bracciali","year":"2005","unstructured":"Bracciali, A., et al.: The KGP model of agency for global computing: computational model and prototype implementation. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 340\u2013367. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31794-4_18"},{"doi-asserted-by":"crossref","unstructured":"Dignum, V., Meyer, J.J., Weigand, H.: Towards an organizational model for agent societies using contracts. In: Castelfranchi, C., Lewis Johnson, W. (eds.) 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Part II, pp. 694\u2013695. ACM Press (2002)","key":"2_CR18","DOI":"10.1145\/544862.544909"},{"doi-asserted-by":"crossref","unstructured":"Dignum, V., Meyer, J.J., Weigand, H., Dignum, F.: An organizational-oriented model for agent societies. In: 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002). ACM Press (2002)","key":"2_CR19","DOI":"10.1145\/544862.544909"},{"issue":"1\u20132","key":"2_CR20","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0004-3702(99)00005-3","volume":"108","author":"T Eiter","year":"1999","unstructured":"Eiter, T., Subrahmanian, V., Pick, G.: Heterogeneous active agents, I: semantics. Artif. Intell. 108(1\u20132), 179\u2013255 (1999)","journal-title":"Artif. Intell."},{"issue":"1","key":"2_CR21","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/200836.200838","volume":"42","author":"T Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: The complexity of logic-based abduction. J. ACM 42(1), 3\u201342 (1995)","journal-title":"J. ACM"},{"doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp. 995\u20131072. Elsevier (1990)","key":"2_CR22","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"issue":"2","key":"2_CR23","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"TH Fung","year":"1997","unstructured":"Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. J. Logic Program. 33(2), 151\u2013165 (1997)","journal-title":"J. Logic Program."},{"unstructured":"Gavanelli, M., Lamma, E., Riguzzi, F., Bellodi, E., Zese, R., Cota, G.: An abductive framework for Datalog $$+-$$ ontologies. In: De Vos, M., Eiter, T., Lierler, Y., Toni, F. (eds.) Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), No. 1433 in CEUR-WS, Sun SITE Central Europe, Aachen, Germany (2015)","key":"2_CR24"},{"issue":"2\u20133","key":"2_CR25","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G Governatori","year":"2005","unstructured":"Governatori, G.: Representing business contracts in RuleML. Int. J. Coop. Inf. Syst. 14(2\u20133), 181\u2013216 (2005)","journal-title":"Int. J. Coop. Inf. Syst."},{"doi-asserted-by":"crossref","unstructured":"Governatori, G., Milosevic, Z., Sadiq, S.W.: Compliance checking between business processes and business contracts. In: 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC), Hong Kong, China, pp. 221\u2013232. IEEE Computer Society (2006)","key":"2_CR26","DOI":"10.1109\/EDOC.2006.22"},{"issue":"1","key":"2_CR27","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/s10458-008-9030-4","volume":"17","author":"G Governatori","year":"2008","unstructured":"Governatori, G., Rotolo, A.: BIO logical agents: norms, beliefs, intentions in defeasible logic. Auton. Agent Multi Ag. 17(1), 36\u201369 (2008)","journal-title":"Auton. Agent Multi Ag."},{"key":"2_CR28","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\u201320","author":"J Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.: Constraint logic programming: a survey. J. Logic Program. 19\u201320, 503\u2013582 (1994)","journal-title":"J. Logic Program."},{"unstructured":"Japanese Civil Code, Part I. https:\/\/en.wikisource.org\/wiki\/Civil_Code_of_Japan\/Part_I . Accessed 19 July 2016","key":"2_CR29"},{"issue":"6","key":"2_CR30","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"AC Kakas","year":"1993","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. J. Logic Comput. 2(6), 719\u2013770 (1993)","journal-title":"J. Logic Comput."},{"unstructured":"Kazmierczak, P., Pedersen, T., \u00c5gotnes, T.: NORMC: a norm compliance temporal logic model checker. In: Kersting, K., Toussaint, M. (eds.) 6th Starting AI Researchers\u2019 Symposium (STAIR 2012), FRONTIERS, Montpellier, France, vol. 241, pp. 168\u2013179. IOS Press (2012)","key":"2_CR31"},{"issue":"2","key":"2_CR32","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D Makinson","year":"2001","unstructured":"Makinson, D., van der Torre, L.W.N.: Constraints for input\/output logics. J. Philos. Logic 30(2), 155\u2013185 (2001)","journal-title":"J. Philos. Logic"},{"issue":"1","key":"2_CR33","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1080\/11663081.1997.10510900","volume":"7","author":"H Prakken","year":"1997","unstructured":"Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. J. Appl. Non Classical Logics 7(1), 25\u201375 (1997)","journal-title":"J. Appl. Non Classical Logics"},{"issue":"2\u20133","key":"2_CR34","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/s10588-006-9539-5","volume":"12","author":"F Sadri","year":"2006","unstructured":"Sadri, F., Stathis, K., Toni, F.: Normative KGP agents. Comput. Math. Organ. Th. 12(2\u20133), 101\u2013126 (2006)","journal-title":"Comput. Math. Organ. Th."},{"key":"2_CR35","doi-asserted-by":"crossref","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, 370\u2013386 (1986)","journal-title":"Commun. ACM"},{"key":"2_CR36","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G Wright","year":"1951","unstructured":"Wright, G.: Deontic logic. Mind 60, 1\u201315 (1951)","journal-title":"Mind"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61252-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T19:51:54Z","timestamp":1569441114000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61252-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319612515","9783319612522"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61252-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}