{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:39:38Z","timestamp":1742913578767,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390906"},{"type":"electronic","value":"9783642390913"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39091-3_24","type":"book-chapter","created":{"date-parts":[[2013,7,3]],"date-time":"2013-07-03T18:50:16Z","timestamp":1372877416000},"page":"278-289","source":"Crossref","is-referenced-by-count":2,"title":["Structural Properties for Deductive Argument Systems"],"prefix":"10.1007","author":[{"given":"Anthony","family":"Hunter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Cayrol, C.: On the relation between argumentation and non-monotonic coherence-based entailment. In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI 1995), pp. 1443\u20131448 (1995)"},{"issue":"4","key":"24_CR2","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1207\/s15516709cog1104_4","volume":"11","author":"J. Pollock","year":"1987","unstructured":"Pollock, J.: Defeasible reasoning. Cognitive Science\u00a011(4), 481\u2013518 (1987)","journal-title":"Cognitive Science"},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/S0004-3702(01)00071-6","volume":"128","author":"P. Besnard","year":"2001","unstructured":"Besnard, P., Hunter, A.: A logic-based theory of deductive arguments. Artif. Intell.\u00a0128, 203\u2013235 (2001)","journal-title":"Artif. Intell."},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1023\/A:1014490210693","volume":"34","author":"L. Amgoud","year":"2002","unstructured":"Amgoud, L., Cayrol, C.: A reasoning model based on the production of acceptable arguments. Annals of Mathematics and Artificial Intelligence\u00a034, 197\u2013215 (2002)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"9-10","key":"24_CR5","doi-asserted-by":"publisher","first-page":"1479","DOI":"10.1016\/j.artint.2010.12.003","volume":"175","author":"N. Gorogiannis","year":"2011","unstructured":"Gorogiannis, N., Hunter, A.: Instantiating abstract argumentation with classical logic arguments: Postulates and properties. Artif. Intell.\u00a0175(9-10), 1479\u20131497 (2011)","journal-title":"Artif. Intell."},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-04388-8_7","volume-title":"Scalable Uncertainty Management","author":"E. Black","year":"2009","unstructured":"Black, E., Hunter, A., Pan, J.Z.: An argument-based approach to using multiple ontologies. In: Godo, L., Pugliese, A. (eds.) SUM 2009. LNCS, vol.\u00a05785, pp. 68\u201379. Springer, Heidelberg (2009)"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1017\/S1471068403001674","volume":"4","author":"A. Garc\u00eda","year":"2004","unstructured":"Garc\u00eda, A., Simari, G.: Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming\u00a04, 95\u2013138 (2004)","journal-title":"Theory and Practice of Logic Programming"},{"key":"24_CR8","unstructured":"Hunter, A.: Base logics in argumentation. In: Proceedings of the 3rd Conference on Computational Models of Argument (COMMA 2010). Frontiers in Artificial Intelligence and Applications, vol.\u00a0216, pp. 275\u2013286. IOS Press (2010)"},{"key":"24_CR9","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P. Dung","year":"1995","unstructured":"Dung, P.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games. Artif. Intell.\u00a077, 321\u2013357 (1995)","journal-title":"Artif. Intell."},{"issue":"10-15","key":"24_CR10","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1016\/j.artint.2007.03.006","volume":"171","author":"P. Dunne","year":"2007","unstructured":"Dunne, P.: Computational properties of argument systems satisfying graph-theoretic constraints. Artif. Intell.\u00a0171(10-15), 701\u2013729 (2007)","journal-title":"Artif. Intell."},{"key":"24_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/11518655_28","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"S. Coste-Marquis","year":"2005","unstructured":"Coste-Marquis, S., Devred, C., Marquis, P.: Symmetric argumentation frameworks. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol.\u00a03571, pp. 317\u2013328. Springer, Heidelberg (2005)"},{"key":"24_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-33362-0_7","volume-title":"Scalable Uncertainty Management","author":"W. Dvo\u0159\u00e1k","year":"2012","unstructured":"Dvo\u0159\u00e1k, W., Szeider, S., Woltran, S.: Abstract argumentation via monadic second order logic. In: H\u00fcllermeier, E., Link, S., Fober, T., Seeger, B. (eds.) SUM 2012. LNCS, vol.\u00a07520, pp. 85\u201398. Springer, Heidelberg (2012)"},{"key":"24_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2012.03.005","volume":"186","author":"W. Dvor\u00e1k","year":"2012","unstructured":"Dvor\u00e1k, W., Pichler, R., Woltran, S.: Towards fixed-parameter tractable algorithms for abstract argumentation. Artif. Intell.\u00a0186, 1\u201337 (2012)","journal-title":"Artif. Intell."},{"issue":"1","key":"24_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90103-5","volume":"57","author":"J. Pollock","year":"1992","unstructured":"Pollock, J.: How to reason defeasibly. Artif. Intell.\u00a057(1), 1\u201342 (1992)","journal-title":"Artif. Intell."},{"key":"24_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/BFb0028186","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"M. Elvang-G\u00f8ransson","year":"1993","unstructured":"Elvang-G\u00f8ransson, M., Krause, P., Fox, J.: Acceptability of arguments as \u2018logical uncertainty\u2019. In: Moral, S., Kruse, R., Clarke, E. (eds.) ECSQARU 1993. LNCS, vol.\u00a0747, pp. 85\u201390. Springer, Heidelberg (1993)"},{"issue":"2","key":"24_CR16","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0169-023X(95)00013-I","volume":"16","author":"M. Elvang-G\u00f8ransson","year":"1995","unstructured":"Elvang-G\u00f8ransson, M., Hunter, A.: Argumentative logics: Reasoning with classically inconsistent information. Data & Knowledge Engineering\u00a016(2), 125\u2013145 (1995)","journal-title":"Data & Knowledge Engineering"},{"key":"24_CR17","unstructured":"Takahashi, T., Sawamura, H.: A logic of multiple-valued argumentation. In: Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), pp. 800\u2013807. IEEE Computer Society (2004)"},{"issue":"10","key":"24_CR18","doi-asserted-by":"publisher","first-page":"1208","DOI":"10.1016\/j.fss.2007.12.013","volume":"159","author":"T. Alsinet","year":"2008","unstructured":"Alsinet, T., Ches\u00f1evar, C., Godo, L., Simari, G.: A logic programming framework for possibilistic argumentation: Formalization and logical properties. Fuzzy Sets and Systems\u00a0159(10), 1208\u20131228 (2008)","journal-title":"Fuzzy Sets and Systems"},{"issue":"3","key":"24_CR19","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/PL00011670","volume":"3","author":"J. Augusto","year":"2001","unstructured":"Augusto, J., Simari, G.: Temporal defeasible reasoning. Knowledge and Information Systems\u00a03(3), 287\u2013318 (2001)","journal-title":"Knowledge and Information Systems"},{"key":"24_CR20","unstructured":"Mann, N., Hunter, A.: Argumentation using temporal knowledge. In: Proceedings of the 2nd Conference on Computational Models of Argument (COMMA 2008). Frontiers in Artificial Intelligence and Applications, vol.\u00a0172, pp. 204\u2013215. IOS Press (2008)"},{"key":"24_CR21","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\u00f8ransson, M., Fox, J.: A logic of argumentation for reasoning under uncertainty. Computational Intelligence\u00a011, 113\u2013131 (1995)","journal-title":"Computational Intelligence"},{"key":"24_CR22","unstructured":"Fox, J., Das, S.: Safe and Sound: Artificial Intelligence in Hazardous Applications. MIT Press (2000)"},{"key":"24_CR23","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\u00a01, 93\u2013124 (2010)","journal-title":"Argument and Computation"},{"key":"24_CR24","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.artint.2005.07.002","volume":"170","author":"P. Dung","year":"2006","unstructured":"Dung, P., Kowalski, R., Toni, F.: Dialectical proof procedures for assumption-based admissible argumentation. Artificial Intelligence\u00a0170, 114\u2013159 (2006)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39091-3_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T17:15:28Z","timestamp":1676654128000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39091-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390906","9783642390913"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39091-3_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}