{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T13:28:28Z","timestamp":1778938108383,"version":"3.51.4"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2015,9,25]],"date-time":"2015-09-25T00:00:00Z","timestamp":1443139200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,9,25]],"date-time":"2015-09-25T00:00:00Z","timestamp":1443139200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000006","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,12]]},"DOI":"10.1007\/s10472-015-9483-5","type":"journal-article","created":{"date-parts":[[2015,9,25]],"date-time":"2015-09-25T21:43:20Z","timestamp":1443217400000},"page":"259-301","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Belief revision in structured probabilistic argumentation"],"prefix":"10.1007","volume":"78","author":[{"given":"Paulo","family":"Shakarian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerardo I.","family":"Simari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geoffrey","family":"Moores","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damon","family":"Paulo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Parsons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo A.","family":"Falappa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ashkan","family":"Aleali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,25]]},"reference":[{"issue":"2","key":"9483_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."},{"key":"9483_CR2","doi-asserted-by":"crossref","unstructured":"Altheide, C.: Digital Forensics with Open Source Tools. Syngress (2011)","DOI":"10.1016\/B978-1-59749-586-8.00001-7"},{"issue":"1","key":"9483_CR3","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","volume":"93","author":"A Bondarenko","year":"1997","unstructured":"Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell. 93(1), 63\u2013101 (1997)","journal-title":"Artif. Intell."},{"key":"9483_CR4","unstructured":"Ches\u00f1evar, C.I., Simari, G.R., Alsinet, T., Godo, L.: A logic programming framework for possibilistic argumentation with vague knowledge. In: Proceedings of UAI 2004, pp 76\u201384 (2004)"},{"key":"9483_CR5","unstructured":"Corp., S.: Stuxnet 0.5: Disrupting Uranium Processing at Natanz. Symantec Connect (2013). http:\/\/www.symantec.com\/connect\/blogs\/stuxnet-05-disrupting-uranium-processing-natanz"},{"issue":"3","key":"9483_CR6","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":"9483_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, 321\u2013357 (1995)","journal-title":"Artif. Intell."},{"issue":"2","key":"9483_CR8","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1016\/j.artint.2010.09.005","volume":"175","author":"PE Dunne","year":"2011","unstructured":"Dunne, P.E., Hunter, A., McBurney, P., Parsons, S., Wooldridge, M.: Weighted argument systems: basic definitions, algorithms, and complexity results. Artif. Intell. 175(2), 457\u2013486 (2011)","journal-title":"Artif. Intell."},{"issue":"1","key":"9483_CR9","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1017\/S0269888910000391","volume":"26","author":"MA Falappa","year":"2011","unstructured":"Falappa, M.A., Garc\u00eda, A.J., Kern-Isberner, G., Simari, G.R.: On the evolving relation between belief revision and argumentation. Knowl. Eng. Rev. 26(1), 35\u201343 (2011). doi: 10.1017\/S0269888910000391","journal-title":"Knowl. Eng. Rev."},{"issue":"1","key":"9483_CR10","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10992-011-9200-8","volume":"41","author":"MA Falappa","year":"2012","unstructured":"Falappa, M.A., Kern-Isberner, G., Reis, M., Simari, G.R.: Prioritized and non-prioritized multiple change on belief bases. J. Philosophical Logic 41(1), 77\u2013113 (2012)","journal-title":"J. Philosophical Logic"},{"issue":"1\/2","key":"9483_CR11","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":"9483_CR12","doi-asserted-by":"crossref","unstructured":"Falappa, M.A., Kern-Isberner, G., Simari, G.R.: Argumentation in artificial intelligence, chap. In: Rahwan, I., Simari, G.R. (eds.) Belief Revision and Argumentation Theory, pp 341\u2013360. Springer (2009)","DOI":"10.1007\/978-0-387-98197-0_17"},{"key":"9483_CR13","unstructured":"Falliere, N., Murchu, L.O., Chien, E.: W32.Stuxnet Dossier Version 1.4. Symantec Corporation (2011)"},{"key":"9483_CR14","unstructured":"Fazzinga, B., Flesca, S., Parisi, F.: On the complexity of probabilistic abstract argumentation. In: Proceedings of IJCAI 2013, pp 898\u2013904 (2013)"},{"issue":"1\u20132","key":"9483_CR15","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\u20132), 95\u2013138 (2004)","journal-title":"TPLP"},{"key":"9483_CR16","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":"9483_CR17","unstructured":"G\u00e4rdenfors, P.: Belief revision, vol. 29. Cambridge University Press (2003)"},{"key":"9483_CR18","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Lukasiewicz, T., Martinez, M.V., Simari, G.I.: Query answering under probabilistic uncertainty in Datalog+\/\u2013 ontologies. AMAI, 37\u201372 (2013)","DOI":"10.1007\/s10472-013-9342-1"},{"key":"9483_CR19","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\u20132","key":"9483_CR20","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\u20132), 151\u2013175 (1997)","journal-title":"J. App. Non-Classical Logics"},{"issue":"3","key":"9483_CR21","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":"9483_CR22","unstructured":"Heuer, R.J.: Psychology of Intelligence Analysis. Center for the Study of Intelligence (1999). http:\/\/www.odci.gov\/csi\/books\/19104\/index.html"},{"key":"9483_CR23","unstructured":"Hunter, A.: Some foundations for probabilistic abstract argumentation. In: Proceedings of COMMA 2012, pp 117\u2013128 (2012)"},{"issue":"1","key":"9483_CR24","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\u20134","key":"9483_CR25","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 1030,000 worlds. AMAI 51(2\u20134), 295\u2013331 (2007)","journal-title":"AMAI"},{"issue":"1","key":"9483_CR26","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":"9483_CR27","unstructured":"Langner, R.: Matching Langner Stuxnet analysis and Symantic dossier update. Langner Communications GmbH (2011). http:\/\/www.langner.com\/"},{"key":"9483_CR28","doi-asserted-by":"crossref","unstructured":"Li, H., Oren, N., Norman, T.J.: Probabilistic argumentation frameworks. In: Proceedings of TAFA, pp 1\u201316 (2011)","DOI":"10.1007\/978-3-642-29184-5_1"},{"key":"9483_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"},{"key":"9483_CR30","unstructured":"Martinez, M.V., Garc\u00eda, A.J., Simari, G.R.: On the use of presumptions in structured defeasible reasoning. In: Proceedings of COMMA, pp 185\u2013196 (2012)"},{"key":"9483_CR31","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/j.artint.2012.10.008","volume":"195","author":"S Modgil","year":"2013","unstructured":"Modgil, S., Prakken, H.: A general account of argumentation with preferences. Artif. Intell. 195, 361\u2013397 (2013)","journal-title":"Artif. Intell."},{"issue":"1","key":"9483_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":"9483_CR33","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1080\/19462160903564592","volume":"1","author":"H Prakken","year":"2010","unstructured":"Prakken, H.: An abstract framework for argumentation with structured arguments. Argument and Computation 1, 93\u2013124 (2010)","journal-title":"Argument and Computation"},{"key":"9483_CR34","doi-asserted-by":"crossref","unstructured":"Rahwan, I., Simari, G.R.: Argumentation in Artificial Intelligence. Springer (2009)","DOI":"10.1007\/978-0-387-98197-0"},{"issue":"1\u20132","key":"9483_CR35","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(1\u20132), 107\u2013136 (2006)","journal-title":"Mach. Learn."},{"key":"9483_CR36","doi-asserted-by":"crossref","unstructured":"Riley, L., Atkinson, K., Payne, T., Black, E.: An implemented dialogue system for inquiry and persuasion. In: Theory and Applications of Formal Argumentation, Lecture Notes in Computer Science, pp 67\u201384. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-29184-5_5"},{"key":"9483_CR37","unstructured":"Shadows in the Cloud: Investigating Cyber Espionage 2.0. Tech. rep., Information Warfare Monitor & Shadowserver Foundation (2010)"},{"key":"9483_CR38","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A mathematical theory of evidence, vol. 1","author":"G Shafer","year":"1976","unstructured":"Shafer, G., et al.: A mathematical theory of evidence, vol. 1. Princeton University Press, Princeton (1976)"},{"key":"9483_CR39","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":"9483_CR40","doi-asserted-by":"crossref","unstructured":"Shakarian, P., Simari, G.I., Falappa, M.A.: Belief revision in structured probabilistic argumentation. In: Proceedings of Foundations of Information and Knowledge Systems, pp 324\u2013343 (2014)","DOI":"10.1007\/978-3-319-04939-7_16"},{"key":"9483_CR41","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: Proceedings of Cyber Security (2014)"},{"issue":"2\u20133","key":"9483_CR42","first-page":"113","volume":"64","author":"GI Simari","year":"2012","unstructured":"Simari, G.I., Martinez, M.V., Sliva, A., Subrahmanian, V.S.: Focused most probable world computations in probabilistic logic programs. AMAI 64(2\u20133), 113\u2013143 (2012)","journal-title":"AMAI"},{"issue":"2\u20133","key":"9483_CR43","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\u20133), 125\u2013157 (1992)","journal-title":"Artif. Intell."},{"key":"9483_CR44","unstructured":"Spitzner, L.: Honeypots: catching the insider threat. In: Proceedings of ACSAC 2003, pp 170\u2013179. IEEE Computer Society (2003)"},{"issue":"1","key":"9483_CR45","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":"9483_CR46","unstructured":"Thimm, M.: A probabilistic semantics for abstract argumentation. In: Proceedings of ECAI 2012, pp 750\u2013755 (2012)"},{"issue":"1","key":"9483_CR47","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1882471.1882474","volume":"12","author":"O Thonnard","year":"2010","unstructured":"Thonnard, O., Mees, W., Dacier, M.: On a multicriteria clustering approach for attack attribution. SIGKDD Explor. 12(1), 11\u201320 (2010)","journal-title":"SIGKDD Explor."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9483-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-015-9483-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9483-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-015-9483-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,22]],"date-time":"2022-05-22T08:48:29Z","timestamp":1653209309000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-015-9483-5"}},"subtitle":["Model and application to cyber security"],"short-title":[],"issued":{"date-parts":[[2015,9,25]]},"references-count":47,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["9483"],"URL":"https:\/\/doi.org\/10.1007\/s10472-015-9483-5","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9,25]]},"assertion":[{"value":"25 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}