{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:34Z","timestamp":1750220854999,"version":"3.41.0"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319572840"},{"type":"electronic","value":"9783319572857"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57285-7_5","type":"book-chapter","created":{"date-parts":[[2017,4,20]],"date-time":"2017-04-20T12:33:26Z","timestamp":1492691606000},"page":"66-81","source":"Crossref","is-referenced-by-count":4,"title":["Incremental Computation of Grounded Semantics for Dynamic Abstract Argumentation Frameworks"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Greco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Parisi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,21]]},"reference":[{"issue":"5","key":"5_CR1","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1093\/logcom\/exq057","volume":"22","author":"L Amgoud","year":"2012","unstructured":"Amgoud, L., Vesic, S.: Revising option status in argument-based decision systems. J. Log. Comput. 22(5), 1019\u20131058 (2012)","journal-title":"J. Log. Comput."},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.artint.2014.08.004","volume":"217","author":"P Baroni","year":"2014","unstructured":"Baroni, P., Boella, G., Cerutti, F., Giacomin, M., van der Torre, L.W.N., Villata, S.: On the input\/output behavior of argumentation frameworks. Artif. Intell. 217, 144\u2013197 (2014)","journal-title":"Artif. Intell."},{"issue":"4","key":"5_CR3","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1017\/S0269888911000166","volume":"26","author":"P Baroni","year":"2011","unstructured":"Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowl. Eng. Rev. 26(4), 365\u2013410 (2011)","journal-title":"Knowl. Eng. Rev."},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1016\/j.artint.2014.03.003","volume":"212","author":"P Baroni","year":"2014","unstructured":"Baroni, P., Giacomin, M., Liao, B.: On topology-related properties of abstract argumentation semantics. A correction and extension to dynamics of argumentation systems: a division-based method. Artif. Intell. 212, 104\u2013115 (2014)","journal-title":"Artif. Intell."},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-20895-9_6","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"R Baumann","year":"2011","unstructured":"Baumann, R.: Splitting an argumentation framework. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 40\u201353. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-20895-9_6"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.artint.2012.08.004","volume":"193","author":"R Baumann","year":"2012","unstructured":"Baumann, R.: Normal and strong expansion equivalence for argumentation frameworks. Artif. Intell. 193, 18\u201344 (2012)","journal-title":"Artif. Intell."},{"key":"5_CR7","unstructured":"Baumann, R.: Context-free and context-sensitive kernels: update and deletion equivalence in abstract argumentation. In: Proceedings of European Conference on Artificial Intelligence (ECAI), pp. 63\u201368 (2014)"},{"key":"5_CR8","unstructured":"Baumann, R., Brewka, G.: Expanding argumentation frameworks: enforcing and monotonicity results. In: Proceedings of International Conference Computational Models of Argument (COMMA), pp. 75\u201386 (2010)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-30743-0_5","volume-title":"Correct Reasoning","author":"R Baumann","year":"2012","unstructured":"Baumann, R., Brewka, G., Dvo\u0159\u00e1k, W., Woltran, S.: Parameterized splitting: a simple modification-based approach. In: Erdem, E., Lee, J., Lierler, Y., Pearce, D. (eds.) Correct Reasoning. LNCS, vol. 7265, pp. 57\u201371. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-30743-0_5"},{"key":"5_CR10","doi-asserted-by":"publisher","unstructured":"Bench-Capon, T.J.M., Dunne, P.E.: Argumentation in artificial intelligence. Artif. Intell. 171(1015), 619\u2013641 (2007). argumentation in Artificial Intelligence","DOI":"10.1016\/j.artint.2007.05.001"},{"key":"5_CR11","first-page":"75","volume":"48","author":"P Bisquert","year":"2013","unstructured":"Bisquert, P., Cayrol, C., de Saint-Cyr, F.D., Lagasquie-Schiex, M.: Characterizing change in abstract argumentation systems. Trends Belief Revision Argumentation Dyn. 48, 75\u2013102 (2013)","journal-title":"Trends Belief Revision Argumentation Dyn."},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-02906-6_11","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"G Boella","year":"2009","unstructured":"Boella, G., Kaci, S., Torre, L.: Dynamics in argumentation with single extensions: abstraction principles and the grounded extension. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS (LNAI), vol. 5590, pp. 107\u2013118. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02906-6_11"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-642-12805-9_9","volume-title":"Argumentation in Multi-Agent Systems","author":"G Boella","year":"2010","unstructured":"Boella, G., Kaci, S., Torre, L.: Dynamics in argumentation with single extensions: attack refinement and the grounded extension (extended version). In: McBurney, P., Rahwan, I., Parsons, S., Maudet, N. (eds.) ArgMAS 2009. LNCS (LNAI), vol. 6057, pp. 150\u2013159. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-12805-9_9"},{"key":"5_CR14","doi-asserted-by":"publisher","unstructured":"Calautti, M., Greco, S., Trubitsyna, I.: Detecting decidable classes of finitely ground logic programs with function symbols. In: Proceedings of International Symposium on Principles and Practice of Declarative Programming (PPDP), pp. 239\u2013250 (2013)","DOI":"10.1145\/2505879.2505883"},{"key":"5_CR15","unstructured":"Caminada, M.: Semi-stable semantics. In: Proceedings of International Conference on Computational Models of Argument (COMMA), pp. 121\u2013130 (2006)"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.ijar.2014.12.004","volume":"58","author":"M Caminada","year":"2015","unstructured":"Caminada, M., S\u00e1, S., Alc\u00e2ntara, J., Dvor\u00e1k, W.: On the equivalence between logic programming semantics and argumentation semantics. Int. J. Approx. Reasoning 58, 87\u2013111 (2015)","journal-title":"Int. J. Approx. Reasoning"},{"key":"5_CR17","unstructured":"Cayrol, C., de Saint-Cyr, F.D., Lagasquie-Schiex, M.: Revision of an argumentation system. In: Proceedings of International Conference on Principles of Knowledge Represent and Reasoning (KR), pp. 124\u2013134 (2008)"},{"key":"5_CR18","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1613\/jair.2965","volume":"38","author":"C Cayrol","year":"2010","unstructured":"Cayrol, C., de Saint-Cyr, F.D., Lagasquie-Schiex, M.: Change in abstract argumentation frameworks: adding an argument. J. Artif. Intell. Res. (JAIR) 38, 49\u201384 (2010)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1016\/j.artint.2014.11.008","volume":"220","author":"G Charwat","year":"2015","unstructured":"Charwat, G., Dvor\u00e1k, W., Gaggl, S.A., Wallner, J.P., Woltran, S.: Methods for solving reasoning problems in abstract argumentation - a survey. Artif. Intell. 220, 28\u201363 (2015)","journal-title":"Artif. Intell."},{"issue":"2","key":"5_CR20","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\u201315","key":"5_CR21","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1016\/j.artint.2007.05.003","volume":"171","author":"PM Dung","year":"2007","unstructured":"Dung, P.M., Mancarella, P., Toni, F.: Computing ideal sceptical argumentation. Artif. Intell. 171(10\u201315), 642\u2013674 (2007)","journal-title":"Artif. Intell."},{"issue":"18","key":"5_CR22","doi-asserted-by":"publisher","first-page":"1559","DOI":"10.1016\/j.artint.2009.09.001","volume":"173","author":"PE Dunne","year":"2009","unstructured":"Dunne, P.E.: The computational complexity of ideal semantics. Artif. Intell. 173(18), 1559\u20131591 (2009)","journal-title":"Artif. Intell."},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-0-387-98197-0_5","volume-title":"Argumentation in Artificial Intelligence","author":"PE Dunne","year":"2009","unstructured":"Dunne, P.E., Wooldridge, M.: Complexity of abstract argumentation. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 85\u2013104. Springer, USA (2009)"},{"key":"5_CR24","unstructured":"Dvor\u00e1k, W., Pichler, R., Woltran, S.: Towards fixed-parameter tractable algorithms for argumentation. In: Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR) (2010)"},{"issue":"11","key":"5_CR25","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/j.ipl.2010.04.005","volume":"110","author":"W Dvor\u00e1k","year":"2010","unstructured":"Dvor\u00e1k, W., Woltran, S.: Complexity of semi-stable and stage semantics in argumentation frameworks. Inform. Process. Lett. 110(11), 425\u2013430 (2010)","journal-title":"Inform. Process. Lett."},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","volume-title":"Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation","year":"2015","unstructured":"Eiter, T., Strass, H., Truszczy\u0144ski, M., Woltran, S. (eds.): Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. LNCS (LNAI), vol. 9060. Springer, Cham (2015)"},{"issue":"1","key":"5_CR27","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(1), 35\u201343 (2011)","journal-title":"Knowl. Eng. Rev."},{"key":"5_CR28","doi-asserted-by":"publisher","unstructured":"Fazzinga, B., Flesca, S., Parisi, F.: Efficiently estimating the probability of extensions in abstract argumentation. In: Proceedings of International Conference on Scalable Uncertainty Management (SUM), pp. 106\u2013119 (2013)","DOI":"10.1007\/978-3-642-40381-1_9"},{"key":"5_CR29","unstructured":"Fazzinga, B., Flesca, S., Parisi, F.: On the complexity of probabilistic abstract argumentation. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 898\u2013904 (2013)"},{"issue":"3","key":"5_CR30","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/2749463","volume":"16","author":"B Fazzinga","year":"2015","unstructured":"Fazzinga, B., Flesca, S., Parisi, F.: On the complexity of probabilistic abstract argumentation frameworks. ACM Trans. Comput. Log. 16(3), 22 (2015)","journal-title":"ACM Trans. Comput. Log."},{"key":"5_CR31","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.ijar.2015.11.009","volume":"69","author":"B Fazzinga","year":"2016","unstructured":"Fazzinga, B., Flesca, S., Parisi, F.: On efficiently estimating the probability of extensions in abstract argumentation frameworks. Int. J. Approx. Reasoning 69, 106\u2013132 (2016)","journal-title":"Int. J. Approx. Reasoning"},{"key":"5_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-319-22849-5_16","volume-title":"Database and Expert Systems Applications","author":"B Fazzinga","year":"2015","unstructured":"Fazzinga, B., Flesca, S., Parisi, F., Pietramala, A.: PARTY: a mobile system for efficiently assessing the probability of extensions in a debate. In: Chen, Q., Hameurlain, A., Toumani, F., Wagner, R., Decker, H. (eds.) DEXA 2015. LNCS, vol. 9261, pp. 220\u2013235. Springer, Cham (2015). doi: 10.1007\/978-3-319-22849-5_16"},{"key":"5_CR33","doi-asserted-by":"publisher","unstructured":"Flesca, S., Furfaro, F., Parisi, F.: Preferred database repairs under aggregate constraints. In: Proceedings of First International Conference Scalable Uncertainty Management (SUM), pp. 215\u2013229 (2007)","DOI":"10.1007\/978-3-540-75410-7_16"},{"key":"5_CR34","doi-asserted-by":"publisher","unstructured":"Flesca, S., Furfaro, F., Parisi, F.: Range-consistent answers of aggregate queries under aggregate constraints. In: Proceedings of International Conference Scalable Uncertainty Management (SUM), pp. 163\u2013176 (2010)","DOI":"10.1007\/978-3-642-15951-0_19"},{"issue":"4\u20135","key":"5_CR35","first-page":"737","volume":"13","author":"S Greco","year":"2013","unstructured":"Greco, S., Molinaro, C., Trubitsyna, I.: Logic programming with function symbols: checking termination of bottom-up evaluation through program adornments. TPLP 13(4\u20135), 737\u2013752 (2013)","journal-title":"TPLP"},{"issue":"2","key":"5_CR36","first-page":"125","volume":"10","author":"S Greco","year":"2010","unstructured":"Greco, S., Molinaro, C., Trubitsyna, I., Zumpano, E.: NP datalog: a logic language for expressing search and optimization problems. TPLP 10(2), 125\u2013166 (2010)","journal-title":"TPLP"},{"key":"5_CR37","unstructured":"Greco, S., Parisi, F.: Efficient computation of deterministic extensions for dynamic abstract argumentation frameworks. In: Proceedings of European Conference on Artificial Intelligence (ECAI), pp. 1668\u20131669 (2016)"},{"key":"5_CR38","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-319-48758-8_19","volume-title":"Logics in Artificial Intelligence","author":"S Greco","year":"2016","unstructured":"Greco, S., Parisi, F.: Incremental computation of deterministic extensions for dynamic argumentation frameworks. In: Michael, L., Kakas, A. (eds.) JELIA 2016. LNCS (LNAI), vol. 10021, pp. 288\u2013304. Springer, Cham (2016). doi: 10.1007\/978-3-319-48758-8_19"},{"issue":"11","key":"5_CR39","doi-asserted-by":"publisher","first-page":"1790","DOI":"10.1016\/j.artint.2011.03.006","volume":"175","author":"BS Liao","year":"2011","unstructured":"Liao, B.S., Jin, L., Koons, R.C.: Dynamics of argumentation systems: a division-based method. Artif. Intell. 175(11), 1790\u20131814 (2011)","journal-title":"Artif. Intell."},{"key":"5_CR40","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: Proceedings of International Conference on Logic Programming (ICLP), pp. 23\u201337 (1994)"},{"issue":"2","key":"5_CR41","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1016\/j.ijar.2013.12.004","volume":"55","author":"MV Martinez","year":"2014","unstructured":"Martinez, M.V., Parisi, F., Pugliese, A., Simari, G.I., Subrahmanian, V.S.: Policy-based inconsistency management in relational databases. Int. J. Approx. Reasoning 55(2), 501\u2013528 (2014)","journal-title":"Int. J. Approx. Reasoning"},{"key":"5_CR42","unstructured":"Modgil, S., Prakken, H.: Revisiting preferences and argumentation. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 1021\u20131026 (2011)"},{"issue":"14\u201315","key":"5_CR43","doi-asserted-by":"publisher","first-page":"1985","DOI":"10.1016\/j.artint.2011.06.003","volume":"175","author":"E Oikarinen","year":"2011","unstructured":"Oikarinen, E., Woltran, S.: Characterizing strong equivalence for argumentation frameworks. Artif. Intell. 175(14\u201315), 1985\u20132009 (2011)","journal-title":"Artif. Intell."},{"issue":"4","key":"5_CR44","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1111\/0824-7935.00074","volume":"14","author":"JL Pollock","year":"1998","unstructured":"Pollock, J.L.: Perceiving and reasoning about a changing world. Comput. Intell. 14(4), 498\u2013562 (1998)","journal-title":"Comput. Intell."},{"key":"5_CR45","volume-title":"Argumentation in Artificial Intelligence","author":"I Rahwan","year":"2009","unstructured":"Rahwan, I., Simari, G.R.: Argumentation in Artificial Intelligence, 1st edn. Springer Publishing Company, Incorporated (2009)","edition":"1"},{"key":"5_CR46","doi-asserted-by":"crossref","unstructured":"Santos, E., Martins, J.P., Galhardas, H.: An argumentation-based approach to database repair. In: Proceedings of European Conference on Artificial Intelligence (ECAI), pp. 125\u2013130 (2010)","DOI":"10.3233\/978-1-60750-606-5-125"},{"key":"5_CR47","unstructured":"Thimm, M.: Tweety: A comprehensive collection of java libraries for logical aspects of artificial intelligence and knowledge representation. In: Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR) (2014)"},{"key":"5_CR48","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-319-28460-6_15","volume-title":"Theory and Applications of Formal Argumentation","author":"Y Xu","year":"2015","unstructured":"Xu, Y., Cayrol, C.: The matrix approach for abstract argumentation frameworks. In: Black, E., Modgil, S., Oren, N. (eds.) TAFA 2015. LNCS (LNAI), vol. 9524, pp. 243\u2013259. Springer, Cham (2015). doi: 10.1007\/978-3-319-28460-6_15"}],"container-title":["Lecture Notes in Computer Science","Conflict Resolution in Decision Making"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57285-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:22Z","timestamp":1750202602000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57285-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319572840","9783319572857"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57285-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}