{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T09:25:55Z","timestamp":1766136355645,"version":"3.40.4"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2012,9,29]],"date-time":"2012-09-29T00:00:00Z","timestamp":1348876800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s10472-012-9318-6","type":"journal-article","created":{"date-parts":[[2012,9,30]],"date-time":"2012-09-30T12:35:05Z","timestamp":1349008505000},"page":"199-230","source":"Crossref","is-referenced-by-count":6,"title":["A logic of argumentation for specification and verification of abstract argumentation frameworks"],"prefix":"10.1007","volume":"66","author":[{"given":"Serena","family":"Villata","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Boella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dov M.","family":"Gabbay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leendert","family":"van der Torre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joris","family":"Hulstijn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,9,29]]},"reference":[{"issue":"10\u201315","key":"9318_CR1","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1016\/j.artint.2007.04.004","volume":"171","author":"P Baroni","year":"2007","unstructured":"Baroni, P., Giacomin, M.: On principle-based evaluation of extension-based argumentation semantics. Artif. Intell. 171(10\u201315), 675\u2013700 (2007)","journal-title":"Artif. Intell."},{"key":"9318_CR2","doi-asserted-by":"crossref","unstructured":"Baroni, P., Cerutti, F., Giacomin, M., Guida, G.: Encompassing attacks to attacks in abstract argumentation frameworks. In: Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009). LNCS, vol. 5590, pp. 83\u201394. Springer (2009)","DOI":"10.1007\/978-3-642-02906-6_9"},{"issue":"1","key":"9318_CR3","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.ijar.2010.05.004","volume":"52","author":"P Baroni","year":"2011","unstructured":"Baroni, P., Cerutti, F., Giacomin, M., Guida, G.: AFRA: argumentation framework with recursive attacks. Int. J. Approx. Reason. 52(1), 19\u201337 (2011)","journal-title":"Int. J. Approx. Reason."},{"key":"9318_CR4","doi-asserted-by":"crossref","unstructured":"Barringer, H., Gabbay, D., Woods, J.: Temporal dynamics of argumentation networks in volume dedicated to Joerg Siekmann. In: Hutter, D., Stephan, W. (eds.) Mechanising Mathematical Reasoning. Lecture Notes in Computer Science, vol. 2605, pp. 59\u201398. Springer (2005)","DOI":"10.1007\/978-3-540-32254-2_5"},{"key":"9318_CR5","doi-asserted-by":"crossref","unstructured":"Barringer, H., Gabbay, D.,Woods, J.: Temporal, numerical and metalevel dynamics in argumentation networks. Argumentation and Computation 3(2\u20133), 143\u2013202 (2012)","DOI":"10.1080\/19462166.2012.704397"},{"key":"9318_CR6","unstructured":"Besnard, P., Doutre, S.: Checking the acceptability of a set of arguments. In: Proceedings of the 10th international workshop on Non-Monotonic Reasoning (NMR 2004), pp. 59\u201364 (2004)"},{"issue":"2\u20133","key":"9318_CR7","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/B:ARTI.0000046007.11806.9a","volume":"11","author":"F Bex","year":"2003","unstructured":"Bex, F., Prakken, H., Reed, C., Walton, D.: Towards a formal account of reasoning about evidence: argumentation schemes and generalisations. Artif. Intell. Law 11(2\u20133), 125\u2013165 (2003)","journal-title":"Artif. Intell. Law"},{"key":"9318_CR8","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1093\/logcom\/13.3.405","volume":"13","author":"A Bochman","year":"2003","unstructured":"Bochman, A.: Collective argumentation and disjunctive logic programming. J. Log. Comput. 13, 405\u2013428 (2003)","journal-title":"J. Log. Comput."},{"issue":"1\u20132","key":"9318_CR9","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.artint.2004.07.002","volume":"160","author":"A Bochman","year":"2004","unstructured":"Bochman, A.: A causal approach to nonmonotonic reasoning. Artif. Intell. 160(1\u20132), 105\u2013143 (2004)","journal-title":"Artif. Intell."},{"key":"9318_CR10","unstructured":"Bochman, A.: A causal logic of logic programming. In: Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), pp. 427\u2013437 (2004)"},{"key":"9318_CR11","unstructured":"Bochman, A.: Propositional argumentation and causal reasoning. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 388\u2013393 (2005)"},{"key":"9318_CR12","doi-asserted-by":"crossref","unstructured":"Boella, G., Hulstijn, J., van\u00a0der Torre, L.: A logic of abstract argumentation. In: Proceedings of the 2nd International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2005). LNCS, vol. 4049, pp. 29\u201341. Springer (2005)","DOI":"10.1007\/11794578_2"},{"issue":"3","key":"9318_CR13","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/s11225-009-9201-6","volume":"92","author":"G Boella","year":"2009","unstructured":"Boella, G., Gabbay, D.M., Genovese, V., van\u00a0der Torre, L.: Fibred security language. Stud. Log. 92(3), 395\u2013436 (2009)","journal-title":"Stud. Log."},{"issue":"2\u20133","key":"9318_CR14","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s11225-009-9213-2","volume":"93","author":"G Boella","year":"2009","unstructured":"Boella, G., Gabbay, D.M., van\u00a0der Torre, L., Villata, S.: Meta-argumentation modelling i: methodology and techniques. Stud. Log. 93(2\u20133), 297\u2013355 (2009)","journal-title":"Stud. Log."},{"key":"9318_CR15","doi-asserted-by":"crossref","unstructured":"Boella, G., van\u00a0der Torre, L., Villata, S.: On the acceptability of meta-arguments. In: Proceedings of the 2009 IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology (IAT 2009), pp. 259\u2013262. IEEE (2009)","DOI":"10.1109\/WI-IAT.2009.159"},{"key":"9318_CR16","unstructured":"Boella, G., Gabbay, D.M., Genovese, V., van\u00a0der Torre, L.: Higher-order coalition logic. In: Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010). Frontiers in Artificial Intelligence and Applications, vol. 215, pp\u00a0555\u2013560. IOS Press (2010)"},{"key":"9318_CR17","doi-asserted-by":"crossref","unstructured":"Boella, G., Gabbay, D.M., van\u00a0der Torre, L., Villata, S.: Support in abstract argumentation. In: Proceedings of the 3rd international Conference on Computational Models of Argument (COMMA 2010). Frontiers in Artificial Intelligence and Applications, pp\u00a040\u201351. IOS Press (2010)","DOI":"10.3233\/978-1-60750-619-5-111"},{"key":"9318_CR18","doi-asserted-by":"crossref","unstructured":"Burgemeestre, B., Hulstijn, J., Tan, Y.H.: Value-based argumentation for justifying compliance. In: Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010). LNCS, vol. 6181, pp. 214\u2013228. Springer (2010)","DOI":"10.1007\/978-3-642-14183-6_16"},{"issue":"5\u20136","key":"9318_CR19","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1016\/j.artint.2007.02.003","volume":"171","author":"M Caminada","year":"2007","unstructured":"Caminada, M., Amgoud, L.: On the evaluation of argumentation formalisms. Artif. Intell. 171(5\u20136), 286\u2013310 (2007)","journal-title":"Artif. Intell."},{"issue":"2\u20133","key":"9318_CR20","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s11225-009-9218-x","volume":"93","author":"M Caminada","year":"2009","unstructured":"Caminada, M., Gabbay, D.M.: A logical account of formal argumentation. Stud. Log. 93(2\u20133), 109\u2013145 (2009)","journal-title":"Stud. Log."},{"issue":"10\u201315","key":"9318_CR21","doi-asserted-by":"crossref","first-page":"730","DOI":"10.1016\/j.artint.2007.04.012","volume":"171","author":"S Coste-Marquis","year":"2007","unstructured":"Coste-Marquis, S., Devred, S., Konieczny, S., Lagasquie-Schiex, M., Marquis, P.: On the merging of Dung\u2019s argumentation systems. Artif. Intell. 171(10\u201315), 730\u2013753 (2007)","journal-title":"Artif. Intell."},{"issue":"1","key":"9318_CR22","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1002\/int.20389","volume":"25","author":"C Cayrol","year":"2010","unstructured":"Cayrol, C., Lagasquie-Schiex, M.C.: Coalitions of arguments: a tool for handling bipolar argumentation frameworks. Int. J. Intell. Syst. 25(1), 83\u2013109 (2010)","journal-title":"Int. J. Intell. Syst."},{"key":"9318_CR23","doi-asserted-by":"crossref","unstructured":"Dastani, M., Hindriks, K.V., Meyer, J.J. (eds.): Specification and verification of multi-agent systems. Springer (2010)","DOI":"10.1007\/978-1-4419-6984-2"},{"issue":"2","key":"9318_CR24","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."},{"key":"9318_CR25","unstructured":"Dung, P.M., Toni, F., Mancarella, P.: Some design guidelines for practical argumentation systems. In: Proceedings of the 3rd International Conference on Computational Models of Argument (COMMA 2010). Frontiers in Artificial Intelligence and Applications, vol. 216, pp. 183\u2013194. IOS Press (2010)"},{"key":"9318_CR26","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M.: Fibring logics. Oxford University Press (1999)","DOI":"10.1093\/oso\/9780198503811.001.0001"},{"issue":"2\u20133","key":"9318_CR27","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/s11225-009-9215-0","volume":"93","author":"DM Gabbay","year":"2009","unstructured":"Gabbay, D.M.: Modal provability foundations for argumentation networks. Stud. Log. 93(2\u20133), 181\u2013198 (2009)","journal-title":"Stud. Log."},{"key":"9318_CR28","first-page":"355","volume":"93","author":"DM Gabbay","year":"2009","unstructured":"Gabbay, D.M.: Semantics for higher level attacks in extended argumentation frames. Part 1: overview. Stud. Log. 93, 355\u2013379 (2009)","journal-title":"Stud. Log."},{"key":"9318_CR29","unstructured":"Grossi, D.: On the logic of argumentation theory. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), pp. 409\u2013416 (2010)"},{"issue":"2","key":"9318_CR30","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1305\/ndjfl\/1040046086","volume":"37","author":"E Hemaspaandra","year":"1996","unstructured":"Hemaspaandra, E.: The price of universality. Notre Dame J. Form. Log. 37(2), 174\u2013203 (1996)","journal-title":"Notre Dame J. Form. Log."},{"issue":"2","key":"9318_CR31","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1093\/logcom\/9.2.215","volume":"9","author":"H Jakobovits","year":"1999","unstructured":"Jakobovits, H., Vermeir, D.: Robust semantics for argumentation frameworks. J. Log. Comput. 9(2), 215\u2013261 (1999)","journal-title":"J. Log. Comput."},{"key":"9318_CR32","doi-asserted-by":"crossref","unstructured":"Kaci, S., van der Torre, L., Weydert, E.: On the acceptability of incompatible arguments. In: Proceedings of the 9th European Conference Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), pp 247\u2013258 (2007)","DOI":"10.1007\/978-3-540-75256-1_24"},{"key":"9318_CR33","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1111\/j.1467-8640.1995.tb00025.x","volume":"11","author":"P Krause","year":"1995","unstructured":"Krause, P., Amblerm S., Elvang-G\u00f8ransson, M., Fox, J.: A logic of argumentation for reasoning under uncertainty. Comput. Intell. 11, 113\u2013131 (1995)","journal-title":"Comput. Intell."},{"issue":"2","key":"9318_CR34","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1016\/j.simpat.2007.11.011","volume":"16","author":"MA Louie","year":"2008","unstructured":"Louie, M.A., Carley, K.M.: Balancing the criticisms: validating multi-agent models of social systems. Simulation Modelling Practice and Theory 16(2), 242\u2013256 (2008)","journal-title":"Simulation Modelling Practice and Theory"},{"key":"9318_CR35","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1004748624537","volume":"29","author":"D Makinson","year":"2000","unstructured":"Makinson, D., van\u00a0der Torre, L.: Input-output logics. J. Philos. Logic 29, 383\u2013408 (2000)","journal-title":"J. Philos. Logic"},{"issue":"2","key":"9318_CR36","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D Makinson","year":"2001","unstructured":"Makinson, D., van\u00a0der Torre, L.: Constraints for input-output logics. J. Philos. Logic 30(2), 155\u2013185 (2001)","journal-title":"J. Philos. Logic"},{"key":"9318_CR37","unstructured":"Modgil, S., Bench-Capon, T.: Metalevel argumentation. Tech. rep., www.csc.liv.ac.uk\/research\/techreports\/techreports.html (2009). Accessed 15 Sept 2009"},{"key":"9318_CR38","unstructured":"Modgil, S., Bench-Capon, T.J.M.: Integrating object and meta-level value based argumentation. In: Proceedings of Computational Models of Argument (COMMA 2008). Frontiers in Artificial Intelligence and Applications, vol. 172, pp. 240\u2013251. IOS Press (2008)"},{"key":"9318_CR39","doi-asserted-by":"crossref","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":"9318_CR40","doi-asserted-by":"crossref","unstructured":"Rahwan, I., Simari, G.R. (eds.): Argumentation in artificial intelligence. Springer (2009)","DOI":"10.1007\/978-0-387-98197-0"},{"key":"9318_CR41","unstructured":"Verheij, B.: Accrual of arguments in defeasible argumentation. In: Proceedings of the 2nd Dutch\/German Workshop on Nonmonotonic Reasoning, pp.\u00a0217\u2013224 (1995)"},{"key":"9318_CR42","unstructured":"Villata, S.: Meta-argumentation for multiagent systems: coalition formation, merging views, subsumption relation and dependence networks. PhD thesis, University of Turin (2010)"},{"key":"9318_CR43","doi-asserted-by":"crossref","unstructured":"Villata, S., Boella, G., Gabbay, D.M.,van der Torre, L.: Arguing about the trustworthiness of the information sources In: Proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011). LNCS, vol. 6717, pp. 74\u201385 (2011)","DOI":"10.1007\/978-3-642-22152-1_7"},{"key":"9318_CR44","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., McBurney, P., Parsons, S.: On the meta-logic of arguments. In: Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), pp. 560\u2013567 (2005)","DOI":"10.1145\/1082473.1082558"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-012-9318-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-012-9318-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-012-9318-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T20:01:49Z","timestamp":1744228909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-012-9318-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,29]]},"references-count":44,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["9318"],"URL":"https:\/\/doi.org\/10.1007\/s10472-012-9318-6","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2012,9,29]]}}}