{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:43:24Z","timestamp":1762033404683},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319487571"},{"type":"electronic","value":"9783319487588"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-48758-8_19","type":"book-chapter","created":{"date-parts":[[2016,10,31]],"date-time":"2016-10-31T13:24:55Z","timestamp":1477920295000},"page":"288-304","source":"Crossref","is-referenced-by-count":12,"title":["Incremental Computation of Deterministic Extensions for Dynamic 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":[[2016,11,1]]},"reference":[{"issue":"5","key":"19_CR1","doi-asserted-by":"crossref","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":"19_CR2","doi-asserted-by":"crossref","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":"19_CR3","doi-asserted-by":"crossref","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":"19_CR4","doi-asserted-by":"crossref","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":"19_CR5","doi-asserted-by":"crossref","unstructured":"Baumann, R.: Splitting an argumentation framework. In: Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), pp. 40\u201353 (2011)","DOI":"10.1007\/978-3-642-20895-9_6"},{"key":"19_CR6","doi-asserted-by":"crossref","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":"19_CR7","unstructured":"Baumann, R.: Context-free and context-sensitive kernels: update and deletion equivalence in abstract argumentation. In: Proceedings of ECAI, pp. 63\u201368 (2014)"},{"key":"19_CR8","unstructured":"Baumann, R., Brewka, G.: Expanding argumentation frameworks: enforcing and monotonicity results. In: Proceedings of COMMA, pp. 75\u201386 (2010)"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Baumann, R., Brewka, G., Dvor\u00e1k, W., Woltran, S.: Parameterized splitting: a simple modification-based approach. In: Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz, pp. 57\u201371 (2012)","DOI":"10.1007\/978-3-642-30743-0_5"},{"issue":"1015","key":"19_CR10","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1016\/j.artint.2007.05.001","volume":"171","author":"TJM Bench-Capon","year":"2007","unstructured":"Bench-Capon, T.J.M., Dunne, P.E.: Argumentation in artificial intelligence. Artif. Intell. 171(1015), 619\u2013641 (2007)","journal-title":"Artif. Intell."},{"key":"19_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 Argum. Dyn. 48, 75\u2013102 (2013)","journal-title":"Trends Belief Revision Argum. Dyn."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Boella, G., Kaci, S., van der Torre, L.W.N.: Dynamics in argumentation with single extensions: abstraction principles and the grounded extension. In: Proceedings of ECSQARU, pp. 107\u2013118 (2009)","DOI":"10.1007\/978-3-642-02906-6_11"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Boella, G., Kaci, S., van der Torre, L.W.N.: Dynamics in argumentation with single extensions: attack refinement and the grounded extension. In: Proceedings of ArgMAS, pp. 150\u2013159 (2009)","DOI":"10.1007\/978-3-642-12805-9_9"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Calautti, M., Greco, S., Trubitsyna, I.: Detecting decidable classes of finitely ground logic programs with function symbols. In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP 2013, Madrid, Spain, 16\u201318 September 2013, pp. 239\u2013250 (2013)","DOI":"10.1145\/2505879.2505883"},{"key":"19_CR15","unstructured":"Caminada, M.: Semi-stable semantics. In: Proceedings of COMMA, pp. 121\u2013130 (2006)"},{"key":"19_CR16","doi-asserted-by":"crossref","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. Reason. 58, 87\u2013111 (2015)","journal-title":"Int. J. Approx. Reason."},{"key":"19_CR17","unstructured":"Cayrol, C., de Saint-Cyr, F.D., Lagasquie-Schiex, M.: Revision of an argumentation system. In: Proceedings of KR, pp. 124\u2013134 (2008)"},{"key":"19_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. 38, 49\u201384 (2010)","journal-title":"J. Artif. Intell. Res."},{"key":"19_CR19","doi-asserted-by":"crossref","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":"19_CR20","doi-asserted-by":"crossref","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":"19_CR21","doi-asserted-by":"crossref","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":"19_CR22","doi-asserted-by":"crossref","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."},{"issue":"2","key":"19_CR23","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0004-3702(03)00076-6","volume":"149","author":"PE Dunne","year":"2003","unstructured":"Dunne, P.E., Bench-Capon, T.J.M.: Two party immediate response disputes: properties and efficiency. Artif. Intell. 149(2), 221\u2013250 (2003)","journal-title":"Artif. Intell."},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Dunne, P.E., Wooldridge, M.: Complexity of abstract argumentation. In: Argumentation in Artificial Intelligence, pp. 85\u2013104 (2009)","DOI":"10.1007\/978-0-387-98197-0_5"},{"key":"19_CR25","unstructured":"Dvor\u00e1k, W., Pichler, R., Woltran, S.: Towards fixed-parameter tractable algorithms for argumentation. In: Proceedings of KR (2010)"},{"issue":"11","key":"19_CR26","doi-asserted-by":"crossref","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. Inf. Process. Lett. 110(11), 425\u2013430 (2010)","journal-title":"Inf. Process. Lett."},{"key":"19_CR27","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, Heidelberg (2015)"},{"issue":"1","key":"19_CR28","doi-asserted-by":"crossref","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":"19_CR29","doi-asserted-by":"crossref","unstructured":"Fazzinga, B., Flesca, S., Parisi, F.: Efficiently estimating the probability of extensions in abstract argumentation. In: Proceedings of SUM, pp. 106\u2013119 (2013)","DOI":"10.1007\/978-3-642-40381-1_9"},{"key":"19_CR30","unstructured":"Fazzinga, B., Flesca, S., Parisi, F.: On the complexity of probabilistic abstract argumentation. In: Proceedings of IJCAI, pp. 898\u2013904 (2013)"},{"issue":"3","key":"19_CR31","doi-asserted-by":"crossref","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":"19_CR32","doi-asserted-by":"crossref","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. Reason. 69, 106\u2013132 (2016)","journal-title":"Int. J. Approx. Reason."},{"key":"19_CR33","doi-asserted-by":"crossref","unstructured":"Fazzinga, B., Flesca, S., Parisi, F., Pietramala, A.: PARTY: a mobile system for efficiently assessing the probability of extensions in a debate. In: Proceedings of DEXA, pp. 220\u2013235 (2015)","DOI":"10.1007\/978-3-319-22849-5_16"},{"issue":"4\u20135","key":"19_CR34","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":"19_CR35","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":"19_CR36","doi-asserted-by":"crossref","unstructured":"Greco, S., Parisi, F.: Efficient computation of deterministic extensions for dynamic abstract argumentation frameworks. In: Proceedings of ECAI, pp. 1668\u20131669 (2016)","DOI":"10.1007\/978-3-319-48758-8_19"},{"issue":"11","key":"19_CR37","doi-asserted-by":"crossref","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":"19_CR38","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: Proceedings of ICLP, pp. 23\u201337 (1994)"},{"key":"19_CR39","unstructured":"Modgil, S., Prakken, H.: Revisiting preferences and argumentation. In: Proceedings of IJCAI, pp. 1021\u20131026 (2011)"},{"issue":"14\u201315","key":"19_CR40","doi-asserted-by":"crossref","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":"19_CR41","doi-asserted-by":"crossref","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":"19_CR42","volume-title":"Argumentation in Artificial Intelligence","author":"I Rahwan","year":"2009","unstructured":"Rahwan, I., Simari, G.R.: Argumentation in Artificial Intelligence. Springer, New York (2009)"},{"key":"19_CR43","unstructured":"Thimm, M.: Tweety: a comprehensive collection of java libraries for logical aspects of artificial intelligence and knowledge representation. In: Proceedings of KR (2014)"},{"key":"19_CR44","doi-asserted-by":"crossref","unstructured":"Vreeswijk, G., Prakken, H.: Credulous and sceptical argument games for preferred semantics. In: Proceedings of JELIA, pp. 239\u2013253 (2000)","DOI":"10.1007\/3-540-40006-0_17"},{"key":"19_CR45","doi-asserted-by":"crossref","unstructured":"Xu, Y., Cayrol, C.: The matrix approach for abstract argumentation frameworks. In: Proceedings of International TAFA Workshop, pp. 243\u2013259 (2015)","DOI":"10.1007\/978-3-319-28460-6_15"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48758-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T05:03:49Z","timestamp":1568523829000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48758-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319487571","9783319487588"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48758-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}