{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:42:53Z","timestamp":1762101773929,"version":"3.37.3"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2015,9,19]],"date-time":"2015-09-19T00:00:00Z","timestamp":1442620800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,9,19]],"date-time":"2015-09-19T00:00:00Z","timestamp":1442620800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000001","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["1117761"],"award-info":[{"award-number":["1117761"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000183","name":"Army Research Office","doi-asserted-by":"publisher","award":["2GDATXR042"],"award-info":[{"award-number":["2GDATXR042"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["R.0004972.001"],"award-info":[{"award-number":["R.0004972.001"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/J008346\/1"],"award-info":[{"award-number":["EP\/J008346\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002923","name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","doi-asserted-by":"publisher","award":["PIP 112-201101-01000"],"award-info":[{"award-number":["PIP 112-201101-01000"]}],"id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005740","name":"Universidad Nacional del Sur","doi-asserted-by":"publisher","award":["PGI 24\/N035"],"award-info":[{"award-number":["PGI 24\/N035"]}],"id":[{"id":"10.13039\/501100005740","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["246858"],"award-info":[{"award-number":["246858"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1007\/s10472-015-9476-4","type":"journal-article","created":{"date-parts":[[2015,9,19]],"date-time":"2015-09-19T09:48:06Z","timestamp":1442656086000},"page":"375-408","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A quantitative approach to belief revision in structured probabilistic argumentation"],"prefix":"10.1007","volume":"76","author":[{"given":"Gerardo I.","family":"Simari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo","family":"Shakarian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo A.","family":"Falappa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,19]]},"reference":[{"issue":"2","key":"9476_CR1","doi-asserted-by":"publisher","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. Sym. Log. 50(2), 510\u2013530 (1985)","journal-title":"J. Sym. Log."},{"issue":"1","key":"9476_CR2","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1111\/j.1755-2567.1982.tb00480.x","volume":"48","author":"CE Alchourr\u00f3n","year":"1982","unstructured":"Alchourr\u00f3n, C.E., Makinson, D.: On the logic of theory change: Contraction functions and their associated revision functions. Theoria 48(1), 14\u201337 (1982)","journal-title":"Theoria"},{"key":"9476_CR3","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/s10458-005-1354-8","volume":"11","author":"M Capobianco","year":"2005","unstructured":"Capobianco, M., Ches\u00f1evar, C.I., Simari, G.R.: Argumentation and the dynamics of warranted beliefs in changing environments. Intl. Journal on Autonomous Agents and Multiagent Systems (JAAMAS) 11, 127\u2013151 (2005)","journal-title":"Intl. Journal on Autonomous Agents and Multiagent Systems (JAAMAS)"},{"key":"9476_CR4","unstructured":"Cecchi, L.A., Simari, G.R.: El marcado de un \u00e1rbol dial\u00e9ctico en DeLP es PSPACE-completo. In: Proceeding of Congreso Argentino de Ciencias de la Computaci\u00f3n (CACIC) (2011)"},{"key":"9476_CR5","unstructured":"Ches\u00f1evar, C.I., Simari, G.R., Alsinet, T., Godo, L.: A logic programming framework for possibilistic argumentation with vague knowledge. In: Proceeding of UAI 2004, pp 76\u201384 (2004)"},{"key":"9476_CR6","volume-title":"Linear programming","author":"V Chv\u00e1tal","year":"1983","unstructured":"Chv\u00e1tal, V.: Linear programming. W.H.Freeman, New York (1983)"},{"key":"9476_CR7","unstructured":"Dalal, M.: Investigations into a theory of knowledge base revision: Preliminary report. In: Proceeding of AAAI, pp 475\u2013479 (1988)"},{"key":"9476_CR8","doi-asserted-by":"crossref","unstructured":"Deagustini, C.A.D., Martinez, M.V., Falappa, M.A., Simari, G.R.: Improving inconsistency resolution by considering global conflicts. In: Proceedings of SUM, pp. 120\u2013133 (2014)","DOI":"10.1007\/978-3-319-11508-5_11"},{"key":"9476_CR9","doi-asserted-by":"crossref","unstructured":"Deagustini, C.A.D., Martinez, M.V., Falappa, M.A., Simari, G.R.: Inconsistency resolution and global conflicts. In: Proceedings of ECAI, pp. 991\u2013992 (2014)","DOI":"10.1007\/978-3-319-11508-5_11"},{"issue":"3","key":"9476_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J Doyle","year":"1979","unstructured":"Doyle, J.: A truth maintenance system. Artif. Intell. 12(3), 231\u2013272 (1979)","journal-title":"Artif. Intell."},{"key":"9476_CR11","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, 321\u2013357 (1995)","journal-title":"Artif. Intell."},{"issue":"1\/2","key":"9476_CR12","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","author":"R Fagin","year":"1990","unstructured":"Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Inf. Comput. 87(1\/2), 78\u2013128 (1990)","journal-title":"Inf. Comput."},{"issue":"01","key":"9476_CR13","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1017\/S0269888910000391","volume":"26","author":"MA Falappa","year":"2011","unstructured":"Falappa, M.A., Garcia, A.J., Kern-Isberner, G., Simari, G.R.: On the evolving relation between belief revision and argumentation. Knowl. Eng. Rev. 26(01), 35\u201343 (2011)","journal-title":"Knowl. Eng. Rev."},{"issue":"1\/2","key":"9476_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00258-8","volume":"141","author":"MA Falappa","year":"2002","unstructured":"Falappa, M.A., Kern-Isberner, G., Simari, G.R.: Explanations, belief revision and defeasible reasoning. Artif. Intell. 141(1\/2), 1\u201328 (2002)","journal-title":"Artif. Intell."},{"key":"9476_CR15","doi-asserted-by":"crossref","unstructured":"Falappa, M.A., Kern-Isberner, G., Simari, G.R.: Belief revision and argumentation theory. In: Argumentation in artificial intelligence, pp 341\u2013360. Springer (2009)","DOI":"10.1007\/978-0-387-98197-0_17"},{"key":"9476_CR16","unstructured":"Fazzinga, B., Flesca, S., Parisi, F.: On the complexity of probabilistic abstract argumentation. In: Proceeding of IJCAI 2013 (2013)"},{"issue":"1-2","key":"9476_CR17","first-page":"95","volume":"4","author":"AJ Garc\u00eda","year":"2004","unstructured":"Garc\u00eda, A.J., Simari, G.R.: Defeasible logic programming: an argumentative approach. TPLP 4(1-2), 95\u2013138 (2004)","journal-title":"TPLP"},{"key":"9476_CR18","volume-title":"Knowledge in flux: modeling the dynamics of epistemic states","author":"P Gardenfors","year":"1988","unstructured":"Gardenfors, P.: Knowledge in flux: modeling the dynamics of epistemic states. MIT Press, Cambridge (1988)"},{"key":"9476_CR19","volume-title":"Computers and intractability: a guide to the theory of NP-completeness","author":"M Garey","year":"1979","unstructured":"Garey, M., Johnson, D.: Computers and intractability: a guide to the theory of NP-completeness. Freeman, New York (1979)"},{"key":"9476_CR20","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Lukasiewicz, T., Martinez, M.V., Simari, G.I.: Query answering under probabilistic uncertainty in Datalog +\/\u2212ontologies. AMAI (2013)","DOI":"10.1007\/s10472-013-9342-1"},{"key":"9476_CR21","doi-asserted-by":"crossref","unstructured":"Haenni, R., Kohlas, J., Lehmann, N.: Probabilistic argumentation systems. Springer (1999)","DOI":"10.1007\/978-94-017-1737-3_6"},{"issue":"1-2","key":"9476_CR22","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1080\/11663081.1997.10510904","volume":"7","author":"S Hansson","year":"1997","unstructured":"Hansson, S.: Semi-revision. J. App. Non-Classical Logics 7(1-2), 151\u2013175 (1997)","journal-title":"J. App. Non-Classical Logics"},{"issue":"3","key":"9476_CR23","doi-asserted-by":"publisher","first-page":"845","DOI":"10.2307\/2275912","volume":"59","author":"SO Hansson","year":"1994","unstructured":"Hansson, S.O.: Kernel contraction. J. Symb. Log. 59(3), 845\u2013859 (1994)","journal-title":"J. Symb. Log."},{"key":"9476_CR24","unstructured":"Hunter, A.: Some foundations for probabilistic abstract argumentation. In: Proceeding of COMMA 2012, pp 117\u2013128 (2012)"},{"issue":"1","key":"9476_CR25","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/j.ijar.2012.08.003","volume":"54","author":"A Hunter","year":"2013","unstructured":"Hunter, A.: A probabilistic approach to modelling uncertain logical arguments. Int. J. Approx. Reasoning 54(1), 47\u201381 (2013)","journal-title":"Int. J. Approx. Reasoning"},{"issue":"2-4","key":"9476_CR26","first-page":"295","volume":"51","author":"S Khuller","year":"2007","unstructured":"Khuller, S., Martinez, M.V., Nau, D.S., Sliva, A., Simari, G.I., Subrahmanian, V.S.: Computing most probable worlds of action probabilistic logic programs: scalable estimation for 10 30,000 worlds. AMAI 51(2-4), 295\u2013331 (2007)","journal-title":"AMAI"},{"issue":"1","key":"9476_CR27","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1111\/j.1467-8640.1995.tb00025.x","volume":"11","author":"P Krause","year":"1995","unstructured":"Krause, P., Ambler, S., Elvang-G\u00f8rannson, M., Fox, J.: A logic of argumentation for reasoning under uncertainty. Comput. Intell. 11(1), 113\u2013131 (1995)","journal-title":"Comput. Intell."},{"key":"9476_CR28","doi-asserted-by":"crossref","unstructured":"Li, H., Oren, N., Norman, T.J.: Probabilistic argumentation frameworks. In: Proceeding of TAFA, pp 1\u201316 (2011)","DOI":"10.1007\/978-3-642-29184-5_1"},{"key":"9476_CR29","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of logic programming, 2nd edn. Springer (1987)","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"4","key":"9476_CR30","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/BF00431184","volume":"16","author":"D Makinson","year":"1987","unstructured":"Makinson, D.: On the status of the postulate of recovery in the logic of theory change. J. Philos. Log. 16(4), 383\u2013394 (1987)","journal-title":"J. Philos. Log."},{"key":"9476_CR31","unstructured":"Martinez, M.V., Garc\u00eda, A.J., Simari, G.R.: On the use of presumptions in structured defeasible reasoning. In: Proceeding of COMMA, pp 185\u2013196 (2012)"},{"issue":"1","key":"9476_CR32","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"NJ Nilsson","year":"1986","unstructured":"Nilsson, N.J.: Probabilistic logic. Artif. Intell. 28(1), 71\u201387 (1986)","journal-title":"Artif. Intell."},{"key":"9476_CR33","doi-asserted-by":"crossref","unstructured":"Pearl, J.: Probabilistic reasoning in intelligent systems: networks of plausible inference (1988)","DOI":"10.1016\/B978-0-08-051489-5.50008-4"},{"issue":"1-2","key":"9476_CR34","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D Poole","year":"1997","unstructured":"Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell. 94(1-2), 7\u201356 (1997)","journal-title":"Artif. Intell."},{"key":"9476_CR35","doi-asserted-by":"crossref","unstructured":"Rahwan, I., Simari, G.R.: Argumentation in artificial intelligence. Springer (2009)","DOI":"10.1007\/978-0-387-98197-0"},{"key":"9476_CR36","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M Richardson","year":"2006","unstructured":"Richardson, M., Domingos, P.: Markov logic networks. Mach. Learn. 62, 107\u2013136 (2006)","journal-title":"Mach. Learn."},{"key":"9476_CR37","doi-asserted-by":"crossref","unstructured":"Shakarian, P., Shakarian, J., Ruef, A.: Introduction to cyber-warfare: a multidisciplinary approach. Syngress (2013)","DOI":"10.1016\/B978-0-12-407814-7.09987-5"},{"key":"9476_CR38","doi-asserted-by":"crossref","unstructured":"Shakarian, P., Simari, G.I., Falappa, M.A.: Belief revision in structured probabilistic argumentation. In: Proceeding of FoIKS 2014, pp 324\u2013343","DOI":"10.1007\/978-3-319-04939-7_16"},{"key":"9476_CR39","unstructured":"Shakarian, P., Simari, G.I., Moores, G., Parsons, S., Falappa, M.A.: An argumentation-based framework to address the attribution problem in cyber-warfare. In: Proceeding of Cyber Security 2014 (2014)"},{"key":"9476_CR40","doi-asserted-by":"crossref","unstructured":"Shakarian, P., Simari, G.I., Moores, G., Paulo, D., Parsons, S., Falappa, M.A., Aleali, A.: Belief revision in structured probabilistic argumentation: Model and application to cyber security. Under review (2014)","DOI":"10.1007\/s10472-015-9483-5"},{"issue":"2-3","key":"9476_CR41","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","volume":"53","author":"GR Simari","year":"1992","unstructured":"Simari, G.R., Loui, R.P.: A mathematical treatment of defeasible reasoning and its implementation. Artif. Intell. 53(2-3), 125\u2013157 (1992)","journal-title":"Artif. Intell."},{"key":"9476_CR42","doi-asserted-by":"crossref","unstructured":"Spohn, W.: The laws of belief: ranking theory and its philosophical applications. Oxford University Press (2012)","DOI":"10.1093\/acprof:oso\/9780199697502.001.0001"},{"issue":"1","key":"9476_CR43","doi-asserted-by":"publisher","first-page":"87","DOI":"10.3166\/jancl.13.87-113","volume":"13","author":"F Stolzenburg","year":"2003","unstructured":"Stolzenburg, F., Garc\u00eda, A., Ches\u00f1evar, C.I., Simari, G.R.: Computing generalized specificity. J. Non-Classical Logics 13(1), 87\u2013113 (2003)","journal-title":"J. Non-Classical Logics"},{"key":"9476_CR44","unstructured":"Thimm, M.: A probabilistic semantics for abstract argumentation. In: Proceeding of ECAI 2012, pp 750\u2013755 (2012)"},{"key":"9476_CR45","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2013.02.001","volume":"197","author":"M Thimm","year":"2013","unstructured":"Thimm, M.: Inconsistency measures for probabilistic logics. Artif. Intell. 197, 1\u201324 (2013)","journal-title":"Artif. Intell."},{"key":"9476_CR46","doi-asserted-by":"crossref","unstructured":"Toda, S.: On the computational power of PP and \u2295P. In: Proceeding of FOCS, pp 514\u2013519 (1989)","DOI":"10.1109\/SFCS.1989.63527"},{"key":"9476_CR47","unstructured":"Wirth, C., Stolzenburg, F.: David Poole\u2019s specificity revised. In: Proceeding of KR (2014)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9476-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-015-9476-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9476-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9476-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,22]],"date-time":"2022-05-22T01:35:21Z","timestamp":1653183321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-015-9476-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,19]]},"references-count":47,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2016,4]]}},"alternative-id":["9476"],"URL":"https:\/\/doi.org\/10.1007\/s10472-015-9476-4","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2015,9,19]]},"assertion":[{"value":"19 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}