{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:36:27Z","timestamp":1743028587286,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031724060"},{"type":"electronic","value":"9783031724077"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-72407-7_16","type":"book-chapter","created":{"date-parts":[[2024,9,14]],"date-time":"2024-09-14T06:02:51Z","timestamp":1726293771000},"page":"217-233","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Ambiguities in\u00a0Defeasible Logic: A Computational Efficient Framework and\u00a0Algorithm"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9878-2762","authenticated-orcid":false,"given":"Guido","family":"Governatori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0838-9850","authenticated-orcid":false,"given":"Francesco","family":"Olivieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"issue":"2","key":"16_CR1","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/371316.371517","volume":"2","author":"G Antoniou","year":"2001","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.: Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2), 255\u2013287 (2001)","journal-title":"ACM Trans. Comput. Log."},{"unstructured":"Bhuiyan, H., Olivieri, F., Governatori, G., Islam, M.B., Bond, A., Rakotonirainy, A.: A methodology for encoding regulatory rules. In: Workshop on MIning and REasoning with Legal texts. CEUR Workshop Proceedings, vol.\u00a02632. CEUR-WS.org (2019)","key":"16_CR2"},{"issue":"4","key":"16_CR3","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1093\/logcom\/3.4.379","volume":"3","author":"D Billington","year":"1993","unstructured":"Billington, D.: Defeasible logic is stable. J. Log. Comput. 3(4), 379\u2013400 (1993)","journal-title":"J. Log. Comput."},{"issue":"1","key":"16_CR4","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/1838552.1838558","volume":"12","author":"D Billington","year":"2010","unstructured":"Billington, D., Antoniou, G., Governatori, G., Maher, M.J.: An inclusion theorem for defeasible logics. ACM Trans. Comput. Log. 12(1), 6 (2010)","journal-title":"ACM Trans. Comput. Log."},{"doi-asserted-by":"crossref","unstructured":"Cristani, M., Olivieri, F., Tomazzoli, C.: Automatic synthesis of best practices for energy consumptions. In: IMIS, pp. 154\u2013161. IEEE Computer Society (2016)","key":"16_CR5","DOI":"10.1109\/IMIS.2016.79"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1007\/11591191_43","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M Dastani","year":"2005","unstructured":"Dastani, M., Governatori, G., Rotolo, A., van der Torre, L.: Programming cognitive agents in defeasible logic. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol. 3835, pp. 621\u2013636. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11591191_43"},{"issue":"2","key":"16_CR7","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321\u2013358 (1995)","journal-title":"Artif. Intell."},{"issue":"10\u201311","key":"16_CR8","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1016\/j.artint.2007.04.010","volume":"171","author":"TF Gordon","year":"2007","unstructured":"Gordon, T.F., Prakken, H., Walton, D.: The Carneades model of argument and burden of proof. Artif. Intell. 171(10\u201311), 875\u2013896 (2007)","journal-title":"Artif. Intell."},{"doi-asserted-by":"crossref","unstructured":"Governatori, G.: On the relationship between Carneades and defeasible logic. In: ICAIL 2011, pp. 31\u201340. ACM (2011)","key":"16_CR9","DOI":"10.1145\/2018358.2018362"},{"issue":"5\u20136","key":"16_CR10","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1017\/S1471068417000266","volume":"17","author":"G Governatori","year":"2017","unstructured":"Governatori, G., Maher, M.J.: Annotated defeasible logic. Theory Pract. Log. Program. 17(5\u20136), 819\u2013836 (2017)","journal-title":"Theory Pract. Log. Program."},{"issue":"5","key":"16_CR11","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1093\/logcom\/14.5.675","volume":"14","author":"G Governatori","year":"2004","unstructured":"Governatori, G., Maher, M.J., Antoniou, G., Billington, D.: Argumentation semantics for defeasible logic. J. Log. Comput. 14(5), 675\u2013702 (2004)","journal-title":"J. Log. Comput."},{"issue":"6","key":"16_CR12","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."},{"issue":"3","key":"16_CR13","first-page":"296","volume":"16","author":"G Governatori","year":"2016","unstructured":"Governatori, G., Olivieri, F., Scannapieco, S., Rotolo, A., Cristani, M.: The rationale behind the concept of goal. TPLP 16(3), 296\u2013324 (2016)","journal-title":"TPLP"},{"issue":"3","key":"16_CR14","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1093\/jigpal\/jzp006","volume":"17","author":"G Governatori","year":"2009","unstructured":"Governatori, G., Padmanabhan, V., Rotolo, A., Sattar, A.: A defeasible logic for modelling policy-based intentions and motivational attitudes. Log. J. IGPL 17(3), 227\u2013265 (2009)","journal-title":"Log. J. IGPL"},{"doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A.: Deontic ambiguities in legal reasoning. In: ICAIL 2023, pp. 91\u2013100. ACM (2023)","key":"16_CR15","DOI":"10.1145\/3594536.3595175"},{"unstructured":"Governatori, G., Rotolo, A., Sartor, G.: Logic and the law: Philosophical foundations, deontics, and defeasible reasoning. In: Handbook of Deontic Logic and Normative Reasoning, vol.\u00a02, pp. 655\u2013760. College Publications, London (2021)","key":"16_CR16"},{"doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Labrou, Y., Chan, H.Y.: A declarative approach to business rules in contracts: courteous logic programs in XML. In: ACM Conference on Electronic Commerce, pp. 68\u201377 (1999)","key":"16_CR17","DOI":"10.1145\/336992.337010"},{"issue":"1","key":"16_CR18","first-page":"107","volume":"13","author":"F Maier","year":"2013","unstructured":"Maier, F.: Interdefinability of defeasible logic and logic programming under the well-founded semantics. TPLP 13(1), 107\u2013142 (2013)","journal-title":"TPLP"},{"issue":"2","key":"16_CR19","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/s11229-009-9492-1","volume":"176","author":"F Maier","year":"2010","unstructured":"Maier, F., Nute, D.: Well-founded semantics for defeasible logic. Synthese 176(2), 243\u2013274 (2010)","journal-title":"Synthese"},{"doi-asserted-by":"crossref","unstructured":"Makinson, D.: General patterns in nonmonotonic reasoning. In: D.\u00a0Gabbay, C.H., Robinson, J. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a03, pp. 35\u2013110. Oxford University Press (1994)","key":"16_CR20","DOI":"10.1093\/oso\/9780198537472.003.0002"},{"unstructured":"Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a03. Oxford University Press (1987)","key":"16_CR21"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1007\/978-3-319-25524-8_43","volume-title":"PRIMA 2015: Principles and Practice of Multi-Agent Systems","author":"F Olivieri","year":"2015","unstructured":"Olivieri, F., Cristani, M., Governatori, G.: Compliant business processes with exclusive choices from agent specification. In: Chen, Q., Torroni, P., Villata, S., Hsu, J., Omicini, A. (eds.) PRIMA 2015. LNCS (LNAI), vol. 9387, pp. 603\u2013612. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25524-8_43"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1007\/978-3-030-03098-8_46","volume-title":"PRIMA 2018: Principles and Practice of Multi-Agent Systems","author":"F Olivieri","year":"2018","unstructured":"Olivieri, F., Governatori, G., Cristani, M., van Beest, N., Colombo-Tosatto, S.: Resource-driven substructural defeasible logic. In: Miller, T., Oren, N., Sakurai, Y., Noda, I., Savarimuthu, B.T.R., Cao Son, T. (eds.) PRIMA 2018. LNCS (LNAI), vol. 11224, pp. 594\u2013602. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03098-8_46"},{"key":"16_CR24","first-page":"261","volume":"34","author":"F Olivieri","year":"2024","unstructured":"Olivieri, F., Governatori, G., Cristani, M., Rotolo, A., Sattar, A.: Deontic meta-rules. J. Log. Comput. 34, 261\u2013314 (2024)","journal-title":"J. Log. Comput."},{"unstructured":"Touretzky, D.S., Horty, J.F., Thomason, R.H.: A clash of intuitions: the current state of nonmonotonic multiple inheritance systems. In: IJCAI, pp. 476\u2013482 (1987)","key":"16_CR25"},{"issue":"1","key":"16_CR26","doi-asserted-by":"publisher","first-page":"81","DOI":"10.3233\/SW-140140","volume":"6","author":"H Wan","year":"2015","unstructured":"Wan, H., Kifer, M., Grosof, B.N.: Defeasibility in answer set programs with defaults and argumentation rules. Semant. Web 6(1), 81\u201398 (2015)","journal-title":"Semant. Web"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-72407-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,11]],"date-time":"2024-11-11T11:04:53Z","timestamp":1731323093000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-72407-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031724060","9783031724077"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-72407-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"11 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RuleML+RR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Rules and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bucharest","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Romania","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rulemlrr2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2024.declarativeai.net\/events\/ruleml-rr","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}