{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:16:27Z","timestamp":1742984187083,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030195694"},{"type":"electronic","value":"9783030195700"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-19570-0_16","type":"book-chapter","created":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T12:27:54Z","timestamp":1557145674000},"page":"247-258","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Advancements in Resource-Driven Substructural Defeasible Logic"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0838-9850","authenticated-orcid":false,"given":"Francesco","family":"Olivieri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9878-2762","authenticated-orcid":false,"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5680-0080","authenticated-orcid":false,"given":"Matteo","family":"Cristani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,6]]},"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.J.: Representation results for defeasible logic. ACM Trans. Comput. Logic 2(2), 255\u2013287 (2001)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"2","key":"16_CR2","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0168-0072(96)00024-3","volume":"86","author":"U Engberg","year":"1997","unstructured":"Engberg, U., Winskel, G.: Completeness results for linear logic on Petri nets. Ann. Pure Appl. Logic 86(2), 101\u2013135 (1997)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"C","key":"16_CR3","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.entcs.2008.03.066","volume":"205","author":"M Gaboardi","year":"2008","unstructured":"Gaboardi, M., Marion, J.Y., Ronchi Della Rocca, S.: Soft linear logic and polynomial complexity classes. Electron. Notes Theoret. Comput. Sci. 205(C), 67\u201387 (2008)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Ghooshchi, N.G., van Beest, N., Governatori, G., Olivieri, F., Sattar, A.: Visualisation of compliant declarative business processes. In: EDOC 2017, pp. 89\u201394. IEEE (2017)","DOI":"10.1109\/EDOC.2017.21"},{"issue":"2","key":"16_CR5","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1006\/inco.1998.2700","volume":"143","author":"JY Girard","year":"1998","unstructured":"Girard, J.Y.: Light linear logic. Inf. Comput. 143(2), 175\u2013204 (1998)","journal-title":"Inf. Comput."},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/j.ijar.2018.10.020","volume":"104","author":"G Governatori","year":"2019","unstructured":"Governatori, G., Olivieri, F., Cristani, M., Scannapieco, S.: Revision of defeasible preferences. Int. J. Approx. Reasoning 104, 205\u2013230 (2019)","journal-title":"Int. J. Approx. Reasoning"},{"issue":"3","key":"16_CR7","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1017\/S1471068416000053","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. Theory Pract. Log. Program. 16(3), 296\u2013324 (2016)","journal-title":"Theory Pract. Log. Program."},{"key":"16_CR8","unstructured":"Kanovich, M., Ito, T.: Temporal linear logic specifications for concurrent processes. In: LICS 1997, pp. 48\u201357. IEEE Computer Society (1997)"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-540-25932-9_14","volume-title":"Declarative Agent Languages and Technologies","author":"P K\u00fcngas","year":"2004","unstructured":"K\u00fcngas, P., Matskin, M.: Linear logic, partial deduction and cooperative problem solving. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 263\u2013279. Springer, Heidelberg (2004). \n                      https:\/\/doi.org\/10.1007\/978-3-540-25932-9_14"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-642-04985-9_29","volume-title":"Rule Interchange and Applications","author":"H-P Lam","year":"2009","unstructured":"Lam, H.-P., Governatori, G.: The making of SPINdle. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 315\u2013322. Springer, Heidelberg (2009). \n                      https:\/\/doi.org\/10.1007\/978-3-642-04985-9_29"},{"key":"16_CR11","unstructured":"Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3. Oxford University Press (1987)"},{"key":"16_CR12","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). \n                      https:\/\/doi.org\/10.1007\/978-3-319-25524-8_43"},{"key":"16_CR13","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). \n                      https:\/\/doi.org\/10.1007\/978-3-030-03098-8_46"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-642-44927-7_15","volume-title":"PRIMA 2013: Principles and Practice of Multi-Agent Systems","author":"F Olivieri","year":"2013","unstructured":"Olivieri, F., Governatori, G., Scannapieco, S., Cristani, M.: Compliant business process design by declarative specifications. In: Boella, G., Elkind, E., Savarimuthu, B.T.R., Dignum, F., Purvis, M.K. (eds.) PRIMA 2013. LNCS (LNAI), vol. 8291, pp. 213\u2013228. Springer, Heidelberg (2013). \n                      https:\/\/doi.org\/10.1007\/978-3-642-44927-7_15"},{"key":"16_CR15","unstructured":"Pham, D.Q., Harland, J.: Temporal linear logic as a basis for flexible agent interactions. In: AAMAS 2007, pp. 28:1\u201328:8. ACM (2007)"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-540-77564-5_9","volume-title":"Declarative Agent Languages and Technologies V","author":"DQ Pham","year":"2008","unstructured":"Pham, D.Q., Harland, J., Winikoff, M.: Modeling agents\u2019 choices in temporal linear logic. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2007. LNCS (LNAI), vol. 4897, pp. 140\u2013157. Springer, Heidelberg (2008). \n                      https:\/\/doi.org\/10.1007\/978-3-540-77564-5_9"},{"issue":"4\u20135","key":"16_CR17","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1016\/j.is.2005.02.005","volume":"31","author":"J Rao","year":"2006","unstructured":"Rao, J., K\u00fcngas, P., Matskin, M.: Composition of semantic web services using linear logic theorem proving. Inf. Syst. 31(4\u20135), 340\u2013360 (2006)","journal-title":"Inf. Syst."},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/3-540-63139-9_35","volume-title":"Application and Theory of Petri Nets 1997","author":"M Tanabe","year":"1997","unstructured":"Tanabe, M.: Timed Petri nets and temporal linear logic. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 156\u2013174. Springer, Heidelberg (1997). \n                      https:\/\/doi.org\/10.1007\/3-540-63139-9_35"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19570-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T10:36:28Z","timestamp":1558348588000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19570-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030195694","9783030195700"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19570-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"6 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rende","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/jelia2019.mat.unical.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}