{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T11:38:08Z","timestamp":1761997088398,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319600444"},{"type":"electronic","value":"9783319600451"}],"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-60045-1_32","type":"book-chapter","created":{"date-parts":[[2017,6,2]],"date-time":"2017-06-02T14:59:11Z","timestamp":1496415551000},"page":"295-305","source":"Crossref","is-referenced-by-count":10,"title":["A Dynamic Logic Framework for Abstract Argumentation: Adding and Removing Arguments"],"prefix":"10.1007","author":[{"given":"Sylvie","family":"Doutre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faustine","family":"Maffre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"McBurney","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,3]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Herzig, A., Troquard, N.: Dynamic logic of propositional assignments: a well-behaved variant of PDL. In: Logic in Computer Science (LICS). IEEE (2013)","DOI":"10.1109\/LICS.2013.20"},{"key":"32_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-0-387-98197-0_2","volume-title":"Argumentation in Artificial Intelligence","author":"P Baroni","year":"2009","unstructured":"Baroni, P., Giacomin, M.: Semantics of abstract argument systems. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 25\u201344. Springer, US (2009)"},{"key":"32_CR3","unstructured":"Besnard, P., Doutre, S.: Checking the acceptability of a set of arguments. In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), pp. 59\u201364 (2004)"},{"key":"32_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-36378-5_10","volume-title":"Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems","author":"M Bratu","year":"2002","unstructured":"Bratu, M., Andreoli, J.-M., Boissier, O., Castellani, S.: A software infrastructure for negotiation within inter-organisational alliances. In: Padget, J., Shehory, O., Parkes, D., Sadeh, N., Walsh, W.E. (eds.) AMEC 2002. LNCS, vol. 2531, pp. 161\u2013179. Springer, Heidelberg (2002). doi:\n10.1007\/3-540-36378-5_10"},{"key":"32_CR5","first-page":"52","volume":"14","author":"S Coste-Marquis","year":"2014","unstructured":"Coste-Marquis, S., Konieczny, S., Mailly, J.G., Marquis, P.: On the revision of argumentation systems: minimal change of arguments statuses. KR 14, 52\u201361 (2014)","journal-title":"KR"},{"key":"32_CR6","unstructured":"Doutre, S., Herzig, A., Perrussel, L.: A dynamic logic framework for abstract argumentation. In: KR 2014, pp. 62\u201371. AAAI Press (2014)"},{"issue":"2","key":"32_CR7","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\u2013357 (1995)","journal-title":"Artif. Intell."},{"key":"32_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-642-28400-7_5","volume-title":"Multi-Agent-Based Simulation XII","author":"B Gaudou","year":"2012","unstructured":"Gaudou, B., Herzig, A., Lorini, E., Sibertin-Blanc, C.: How to do social simulation in logic: modelling the segregation game in a dynamic logic of assignments. In: Villatoro, D., Sabater-Mir, J., Sichman, J.S. (eds.) MABS 2011. LNCS, vol. 7124, pp. 59\u201373. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-28400-7_5"},{"key":"32_CR9","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic","author":"D Harel","year":"1984","unstructured":"Harel, D.: Dynamic logic. In: Gabbay, D.M., G\u00fcnthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 497\u2013604. D. Reidel, Dordrecht (1984)"},{"key":"32_CR10","unstructured":"Herzig, A., Lorini, E., Moisan, F., Troquard, N.: A dynamic logic of normative systems. In: IJCAI 2011, pp. 228\u2013233 (2011). \nwww.irit.fr\/~Andreas.Herzig\/P\/Ijcai11.html"},{"key":"32_CR11","volume-title":"From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, Studies in Linguistics and Philosophy","author":"H Kamp","year":"1993","unstructured":"Kamp, H., Reyle, U.: From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, Studies in Linguistics and Philosophy, vol. 42. Kluwer Academic, Dordrecht, The Netherlands (1993)"},{"key":"32_CR12","unstructured":"Maffre, F.: Ignorance is bliss: observability-based dynamic epistemic logics and their applications. Ph.D. thesis, University of Toulouse (2016)"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"McBurney, P., Parsons, S.: Posit spaces: a performative theory of e-commerce. In: AAMAS 2003, pp. 624\u2013631. ACM Press (2003)","DOI":"10.1145\/860575.860675"},{"key":"32_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-540-78915-4_5","volume-title":"Argumentation in Multi-Agent Systems","author":"L Perrussel","year":"2008","unstructured":"Perrussel, L., Doutre, S., Th\u00e9venin, J.-M., McBurney, P.: A persuasion dialog for gaining access to information. In: Rahwan, I., Parsons, S., Reed, C. (eds.) ArgMAS 2007. LNCS, vol. 4946, pp. 63\u201379. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-78915-4_5"},{"key":"32_CR15","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/j.ijar.2016.04.003","volume":"75","author":"FD Saint-Cyr de","year":"2016","unstructured":"de Saint-Cyr, F.D., Bisquert, P., Cayrol, C., Lagasquie-Schiex, M.C.: Argumentation update in YALLA (yet another logic language for argumentation). Int. J. Approximate Reasoning 75, 57\u201392 (2016)","journal-title":"Int. J. Approximate Reasoning"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence: From Theory to Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60045-1_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,2]],"date-time":"2017-06-02T15:06:57Z","timestamp":1496416017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60045-1_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319600444","9783319600451"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60045-1_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}