{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:27:03Z","timestamp":1743114423104,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319190655"},{"type":"electronic","value":"9783319190662"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-19066-2_11","type":"book-chapter","created":{"date-parts":[[2015,4,30]],"date-time":"2015-04-30T01:20:34Z","timestamp":1430356834000},"page":"109-119","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning About the State Change of Authorization Policies"],"prefix":"10.1007","author":[{"given":"Yun","family":"Bai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward","family":"Caprin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,5,1]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. MIT (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"11_CR2","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley Publishing (1995)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Becker, M.-Y., Nanz, S.: A logic for state-modifying authorization policies. ACM Transactions on Information System Security 13 (2010)","DOI":"10.1145\/1805974.1805976"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Calimer, F., Ianni, G., Ricca, F.: The third answer set programming system computation. Theory and Practice of Logic Programming (2012)","DOI":"10.1017\/S1471068412000105"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Dhia, I.B.: Access control in social networks: a reachability-based approach. In: Proceedings of the 2012 Joint EDBT\/ICDT Workshops (EDBT-ICDT 2012), pp. 227\u2013232 (2012)","DOI":"10.1145\/2320765.2320828"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Dimoulas, C., Moore, S., Askarov, A., Chong, S.: Declarative policies for capability control. In: Proceedings of CSF-2014 (2014)","DOI":"10.1109\/CSF.2014.9"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-642-20895-9_40","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T., Schneider, M.T., Ziller, S.: A portfolio solver for answer set programming: preliminary report. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 352\u2013357. Springer, Heidelberg (2011)"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.artint.2012.04.001","volume":"187\u2013188","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving: From theory to practice. Artificial Intelligence 187\u2013188, 52\u201389 (2012)","journal-title":"Artificial Intelligence"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-39666-3_3","volume-title":"Web Reasoning and Rule Systems","author":"G Grasso","year":"2013","unstructured":"Grasso, G., Leone, N., Ricca, F.: Answer set programming: language, applications and development tools. In: Faber, W., Lembo, D. (eds.) RR 2013. LNCS, vol. 7994, pp. 19\u201334. Springer, Heidelberg (2013)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Hinrichs, T., Martinoia, D., Garrison, W.C., Lee, A., Panebianco, A., Zuck, L.: Application-sensitive access control evaluation using parameterized expressiveness. In: Proceedings of CSF-2013, pp. 145\u2013160 (2013)","DOI":"10.1109\/CSF.2013.17"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/978-3-642-02846-5_40","volume-title":"Logic Programming","author":"Y Lierler","year":"2009","unstructured":"Lierler, Y., Lifschitz, V.: One more decidable class of finitely ground programs. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 489\u2013493. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Current Approaches in Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19066-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T01:18:55Z","timestamp":1676942335000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19066-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319190655","9783319190662"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19066-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"1 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}