{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:28:54Z","timestamp":1743128934881,"version":"3.40.3"},"publisher-location":"Cham","reference-count":92,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030061630"},{"type":"electronic","value":"9783030061647"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-06164-7_13","type":"book-chapter","created":{"date-parts":[[2020,5,8]],"date-time":"2020-05-08T02:03:20Z","timestamp":1588903400000},"page":"415-440","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Argumentation and Inconsistency-Tolerant Reasoning"],"prefix":"10.1007","author":[{"given":"Leila","family":"Amgoud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Besnard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudette","family":"Cayrol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Chatalic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie-Christine","family":"Lagasquie-Schiex","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,8]]},"reference":[{"unstructured":"Adjiman P, Chatalic P, Goasdou\u00e9 F, Rousset MC, Simon L (2004) Distributed reasoning in a peer-to-peer setting, short paper. In: 16th European conference on artificial intelligence (ECAI\u201904, (ed) Lopez de M\u00e1ntaras R, Saitta L. IOS, Valencia, Spain, pp 945\u2013946","key":"13_CR1"},{"unstructured":"Adjiman P, Chatalic P, Goasdou\u00e9 F, Rousset MC, Simon L (2005) Scalability study of peer-to-peer consequence finding. In: Pack Kaelbling L, Saffiotti A (eds) 19th international joint conference on artificial intelligence (IJCAI\u201905). Professional Book Center, Edinburgh, Scotland, U.K., pp 351\u2013356","key":"13_CR2"},{"doi-asserted-by":"crossref","unstructured":"Adjiman P, Chatalic P, Goasdou\u00e9 F, Rousset MC, Simon L (2006) Distributed reasoning in a peer-to-peer setting: application to the semantic web. J Artif Intell Res 25:269\u2013314","key":"13_CR3","DOI":"10.1613\/jair.1785"},{"doi-asserted-by":"crossref","unstructured":"Amgoud L (2012a) The outcomes of logic-based argumentation systems under preferred semantics. In: H\u00fcllermeier E, Link S, Seeger B (eds) 6th international conference on scalable uncertainty management (SUM\u201912), vol 7520. Lecture notes in artificial intelligence. Springer, Germany, pp 72\u201384","key":"13_CR4","DOI":"10.1007\/978-3-642-33362-0_6"},{"doi-asserted-by":"crossref","unstructured":"Amgoud L (2012b) Stable semantics in logic-based argumentation systems. In: H\u00fcllermeier E, Link S, Seeger B (eds) 6th international conference on scalable uncertainty management (SUM\u201912), vol 7520. Lecture notes in artificial intelligence. Springer, Germany, pp 58\u201371","key":"13_CR5","DOI":"10.1007\/978-3-642-33362-0_5"},{"doi-asserted-by":"crossref","unstructured":"Amgoud L, Ben-Naim J (2013) Ranking-based semantics for argumentation frameworks. In: Liu W, Subrahmanian V, Wijsen J (eds) 7th international conference on scalable uncertainty management (SUM\u201913), vol 8078. Lecture notes in artificial intelligence. Springer, USA, pp 134\u2013147","key":"13_CR6","DOI":"10.1007\/978-3-642-40381-1_11"},{"unstructured":"Amgoud L, Ben-Naim J (2015) Argumentation-based ranking logics. In: Weiss G, Yolum P, Bordini R, Elkind E (eds) 14th international conference on autonomous agents and multiagent systems (AAMAS\u201915). ACM, Istanbul, Turkey, pp 1511\u20131519","key":"13_CR7"},{"unstructured":"Amgoud L, Ben-Naim J (2016) Axiomatic foundations of acceptability semantics. In: Baral C, Delgrande J, Wolter F (eds) 15th international conference on principles of knowledge representation and reasoning (KR\u201916). AAAI, Cape Town, South Africa, pp 2\u201311","key":"13_CR8"},{"doi-asserted-by":"crossref","unstructured":"Amgoud L, Ben-Naim J (2018) Weighted bipolar argumentation graphs: Axioms and semantics. In: 27th international joint conference on artificial intelligence (IJCAI\u201918), Stockholm, Sweden","key":"13_CR9","DOI":"10.24963\/ijcai.2018\/720"},{"doi-asserted-by":"crossref","unstructured":"Amgoud L, Besnard P (2009) Bridging the gap between abstract argumentation systems and logic. In: Godo L, Pugliese A (eds) 3rd international conference on scalable uncertainty management, vol 5785. Lecture notes in artificial intelligence. Springer, USA, pp 12\u201327","key":"13_CR10","DOI":"10.1007\/978-3-642-04388-8_3"},{"issue":"2","key":"13_CR11","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/j.ijar.2006.06.014","volume":"45","author":"L Amgoud","year":"2007","unstructured":"Amgoud L, Kaci S (2007) An argumentation framework for merging conflicting knowledge bases. Int J Approx Reason 45(2):321\u2013340","journal-title":"Int J Approx Reason"},{"issue":"3\u20134","key":"13_CR12","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1016\/j.artint.2008.11.006","volume":"173","author":"L Amgoud","year":"2009","unstructured":"Amgoud L, Prade H (2009) Using arguments for making and explaining decisions. Artif Intell J 173(3\u20134):413\u2013436","journal-title":"Artif Intell J"},{"unstructured":"Amgoud L, Ben-Naim J, Doder D, Vesic S (2016) Ranking arguments with compensation-based semantics. In: Baral C, Delgrande J, Wolter F (eds) 15th international conference on principles of knowledge representation and reasoning (KR\u201916). AAAI, South Africa, pp 12\u201321","key":"13_CR13"},{"doi-asserted-by":"crossref","unstructured":"Amgoud L, Ben-Naim J, Doder D, Vesic S (2017) Acceptability semantics for weighted argumentation frameworks. In: Sierra C (ed) 26th international joint conference on artificial intelligence (IJCAI\u201917). Melbourne, Australia, pp 56\u201362","key":"13_CR14","DOI":"10.24963\/ijcai.2017\/9"},{"key":"13_CR15","volume-title":"Entailment: the logic of relevance and necessity","author":"A Anderson","year":"1975","unstructured":"Anderson A, Belnap N (1975) Entailment: the logic of relevance and necessity, vol 1. Princeton University, Princeton"},{"issue":"1","key":"13_CR16","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O Arieli","year":"1996","unstructured":"Arieli O, Avron A (1996) Reasoning with logical bilattices. J Log, Lang Inf 5(1):25\u201363","journal-title":"J Log, Lang Inf"},{"doi-asserted-by":"crossref","unstructured":"Aubry G, Risch V (2005) Toward a logical tool for generating new arguments in an argumentation-based framework. In: 17th. IEEE international conference on tools with artificial intelligence (ICTAI\u201905). IEEE Computer Society, China, pp 599\u2013603","key":"13_CR17","DOI":"10.1109\/ICTAI.2005.121"},{"issue":"1","key":"13_CR18","doi-asserted-by":"publisher","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 (2011) AFRA: Argumentation framework with recursive attacks. Int J Approx Reason 52(1):19\u201337","journal-title":"Int J Approx Reason"},{"doi-asserted-by":"crossref","unstructured":"Baroni P, Rago A, Toni F (2018) How many properties do we need for gradual argumentation? In: 32nd AAAI conference on artificial intelligence (AAAI\u201918), New Orleans, USA","key":"13_CR19","DOI":"10.1609\/aaai.v32i1.11544"},{"issue":"3","key":"13_CR20","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1093\/logcom\/13.3.429","volume":"13","author":"TJM Bench-Capon","year":"2003","unstructured":"Bench-Capon TJM (2003) Persuasion in practical argument using value-based argumentation frameworks. J Log Comput 13(3):429\u2013448","journal-title":"J Log Comput"},{"issue":"1","key":"13_CR21","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.artint.2006.10.013","volume":"171","author":"TJM Bench-Capon","year":"2007","unstructured":"Bench-Capon TJM, Doutre S, Dunne PE (2007) Audiences in argumentation frameworks. Artif Intell 171(1):42\u201371","journal-title":"Artif Intell"},{"issue":"1","key":"13_CR22","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1023\/A:1014606325783","volume":"70","author":"S Benferhat","year":"2002","unstructured":"Benferhat S, Garcia L (2002) Handling locally stratified inconsistent knowledge bases. Studia Logica 70(1):77\u2013104","journal-title":"Studia Logica"},{"issue":"1\u20132","key":"13_CR23","doi-asserted-by":"publisher","first-page":"39","DOI":"10.3166\/ria.26.39-61","volume":"26","author":"S Benferhat","year":"2012","unstructured":"Benferhat S, Yahi S (2012) \u00c9tude comparative des relations d\u2019inf\u00e9rence \u00e0 partir de bases de croyances partiellement pr\u00e9ordonn\u00e9es. Revue d\u2019Intelligence Artificielle 26(1\u20132):39\u201361","journal-title":"Revue d\u2019Intelligence Artificielle"},{"unstructured":"Benferhat S, Cayrol C, Dubois D, Lang J, Prade H (1993a) Inconsistency management and prioritized syntax-based entailment. In: Bajcsy R (ed) 13th international joint conference on artificial intelligence (IJCAI\u201993). Morgan Kaufmann, France, pp 640\u2013645","key":"13_CR24"},{"doi-asserted-by":"crossref","unstructured":"Benferhat S, Dubois D, Prade H (1993b) Argumentative inference in uncertain and inconsistent knowledge bases. In: Heckerman D, Mamdani A (eds) 9th conference on uncertainty in artificial intelligence. Morgan Kaufmann, USA, pp 411\u2013419","key":"13_CR25","DOI":"10.1016\/B978-1-4832-1451-1.50054-8"},{"issue":"1\u20132","key":"13_CR26","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s11229-005-9069-6","volume":"146","author":"S Benferhat","year":"2005","unstructured":"Benferhat S, Bonnefon JF, Da Silva Neves R (2005) An overview of possibilistic handling of default reasoning: an experimental study. Synthese 146(1\u20132):53\u201370","journal-title":"Synthese"},{"doi-asserted-by":"crossref","unstructured":"Besnard P, Hunter A (1995) Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information. In: Froidevaux C, Kohlas J (eds) 3rd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU\u201995), Springer, Fribourg, Switzerland, Lecture Notes in Artificial Intelligence, vol 946, pp 44\u201351","key":"13_CR27","DOI":"10.1007\/3-540-60112-0_6"},{"issue":"1\u20132","key":"13_CR28","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 (2001) A logic-based theory of deductive arguments. Artif Intell 128(1\u20132):203\u2013235","journal-title":"Artif Intell"},{"key":"13_CR29","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262026437.001.0001","volume-title":"Elements of argumentation","author":"P Besnard","year":"2008","unstructured":"Besnard P, Hunter A (2008) Elements of argumentation. MIT, USA"},{"issue":"1","key":"13_CR30","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1023\/A:1005957026440","volume":"20","author":"P Besnard","year":"1998","unstructured":"Besnard P, Schaub T (1998) Signed systems for paraconsistent reasoning. J Autom Reason 20(1):191\u2013213","journal-title":"J Autom Reason"},{"unstructured":"Binas A, McIlraith S (2008) Peer-to-peer query answering with inconsistent knowledge. In: Brewka G, Lang J (eds) 11th international conference on principles of knowledge representation and reasoning, Morgan Kaufmann, Australia, pp 329\u2013339, http:\/\/www.cs.toronto.edu\/~sheila\/publications\/bin-mci-kr08.pdf","key":"13_CR31"},{"unstructured":"Boella G, Gabbay D, van der Torre L, Villata S (2010) Support in abstract argumentation. In: Baroni P, Cerutti F, Giacomin M, Simari G (eds) Computational models of argument (COMMA\u201910), Frontiers in artificial intelligence and applications, vol 216. IOS. Desenzano del Garda, Italy, pp 111\u2013122","key":"13_CR32"},{"unstructured":"Bonet B, Geffner H (1996) Arguing for decisions: A qualitative model of decision making. In: Horvitz E, Jensen FV (eds) 12th conference on uncertainty in artificial intelligence (UAI\u201996). Morgan Kaufmann, USA, pp 98\u2013105","key":"13_CR33"},{"doi-asserted-by":"crossref","unstructured":"Bonzon E, Delobelle J, Konieczny S, Maudet N (2017) A parametrized ranking-based semantics for persuasion. In: Moral S, Pivert O, S\u00e1nchez D, Mar\u00edn N (eds) 11th international conference on scalable uncertainty management (SUM\u201917), vol 10564. Lecture notes in computer science. Granada, Spain, pp 237\u2013251","key":"13_CR34","DOI":"10.1007\/978-3-319-67582-4_17"},{"unstructured":"Brewka G (1989) Preferred subtheories: An extended logical framework for default reasoning. In: Sridharan NS (ed) 11th International Joint Conference on Artificial Intelligence (IJCAI\u201989). Morgan Kaufmann, Detroit (MI), USA, pp 1043\u20131048","key":"13_CR35"},{"unstructured":"Brewka G (1994) Reasoning about priorities in default logic. In: Hayes-Roth B, Korf RE (eds) 12th national conference on artificial intelligence (AAAI\u201994). AAAI\/MIT, USA, pp 940\u2013945","key":"13_CR36"},{"doi-asserted-by":"crossref","unstructured":"Carnielli W, Coniglio ME (2016) Paraconsistent logic: consistency, contradiction and negation, logic, epistemology, and the unity of science, vol 40. Springer, Berlin","key":"13_CR37","DOI":"10.1007\/978-3-319-33205-5"},{"unstructured":"Cayrol C (1995) On the relation between argumentation and non-monotonic coherence-based entailment. In: Mellish CS (ed) 14th international joint conference on artificial intelligence (IJCAI\u201995). Morgan Kaufmann, Canada, pp 1443\u20131448","key":"13_CR38"},{"doi-asserted-by":"crossref","unstructured":"Cayrol C, Lagasquie-Schiex MC (1995) Non-monotonic syntax-based entailment: a classification of consequence relations. In: Froidevaux C, Kohlas J (eds) 3rd European conference on symbolic and quantitative approaches to reasoning and uncertainty (ECSQARU\u201995), vol 946. Lecture notes in artificial intelligence. Springer, Switzerland, pp 107\u2013114","key":"13_CR39","DOI":"10.1007\/3-540-60112-0_13"},{"doi-asserted-by":"crossref","unstructured":"Cayrol C, Lagasquie-Schiex MC (2005) Graduality in argumentation. J Artif Intell Res 23:245\u2013297","key":"13_CR40","DOI":"10.1613\/jair.1411"},{"doi-asserted-by":"publisher","unstructured":"Cayrol C, Lagasquie-Schiex MC (2013) Bipolarity in argumentation graphs: towards a better understanding. Int J Approx Reason 5(7):876\u2013899. https:\/\/doi.org\/10.1016\/j.ijar.2013.03.001","key":"13_CR41","DOI":"10.1016\/j.ijar.2013.03.001"},{"doi-asserted-by":"crossref","unstructured":"Cayrol C, Royer V, Saurel C (1993) Management of preferences in assumption-based reasoning. In: Yager R, Bouchon B (eds) Advanced Methods in Artificial Intelligence, Lecture Notes in Artificial Intelligence, vol 682, Springer, pp 13\u201322, extended version in Technical Report IRIT-CERT, 92-13R (University Paul Sabatier Toulouse)","key":"13_CR42","DOI":"10.1007\/3-540-56735-6_39"},{"issue":"3\u20134","key":"13_CR43","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1023\/A:1018939502485","volume":"22","author":"C Cayrol","year":"1998","unstructured":"Cayrol C, Lagasquie-Schiex MC, Schiex T (1998) Nonmonotonic reasoning: from complexity to algorithms. Ann Math Artif Intell 22(3\u20134):207\u2013236","journal-title":"Ann Math Artif Intell"},{"doi-asserted-by":"crossref","unstructured":"Cayrol C, Dubois D, Touazi F (2014) On the semantics of partially ordered bases. In: Beierle C, Meghini C (eds) 8th international symposium on foundations of information and knowledge systems (FoIKS\u201914), vol 8367. Lecture notes in artificial intelligence. Springer, France, pp 136\u2013153","key":"13_CR44","DOI":"10.1007\/978-3-319-04939-7_6"},{"unstructured":"Chatalic P, Nguyen GH, Rousset MC (2006) Reasoning with inconsistencies in propositional peer-to-peer inference systems. In: Brewka G, Coradeschi S, Perini A, Traverso P (eds) 17th European conference on artificial intelligence (ECAI\u201906). IOS, Italy, pp 352\u2013357","key":"13_CR45"},{"doi-asserted-by":"crossref","unstructured":"da Costa NCA (1974) On the theory of inconsistent formal systems. Notre Dame J Form Log 15(4):497\u2013510","key":"13_CR46","DOI":"10.1305\/ndjfl\/1093891487"},{"unstructured":"da Costa Pereira C, Tettamanzi A, Villata S (2011) Changing one\u2019s mind: Erase or rewind? In: Walsh T (ed) 22nd international joint conference on artificial intelligence (IJCAI\u201911). IJCAI\/AAAI, Barcelona, Spain, pp 164\u2013171","key":"13_CR47"},{"doi-asserted-by":"crossref","unstructured":"Da Silva Neves R, Bonnefon JF, Raufaste E (2002) An empirical test of patterns for nonnomotonic reasoning. Ann Math Artif Intell 34(1\u20133):107\u2013130","key":"13_CR48","DOI":"10.1023\/A:1014473706150"},{"unstructured":"Dubois D, Lang J, Prade H (1991) Inconsistency in possibilistic knowledge bases - to live or not to live with it. In: Zadeh LA, Kacprzyk J (eds) Fuzzy logic for the management of uncertainty. Wiley, New York, pp 335\u2013351","key":"13_CR49"},{"issue":"2\u20134","key":"13_CR50","first-page":"101","volume":"57","author":"D Dubois","year":"2003","unstructured":"Dubois D, Konieczny S, Prade H (2003) Quasi-possibilistic logic and its measures of information and conflict. Fundamenta Informatic\u00e6 57(2\u20134):101\u2013125","journal-title":"Fundamenta Informatic\u00e6"},{"issue":"2","key":"13_CR51","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung PM (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and $$n$$-person games. Artif Intell J 77(2):321\u2013357","journal-title":"Artif Intell J"},{"issue":"2","key":"13_CR52","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1016\/j.artint.2010.09.005","volume":"175","author":"P Dunne","year":"2011","unstructured":"Dunne P, Hunter A, McBurney P, Parsons S, Wooldridge M (2011) Weighted argument systems: Basic definitions, algorithms, and complexity results. Artif Intell J 175(2):457\u2013486","journal-title":"Artif Intell J"},{"issue":"2","key":"13_CR53","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 (1995) Argumentative logics: reasoning from classically inconsistent information. Data Knowl Eng 16(2):125\u2013145","journal-title":"Data Knowl Eng"},{"issue":"198","key":"13_CR54","first-page":"49","volume":"2","author":"C Fouquer\u00e9","year":"2012","unstructured":"Fouquer\u00e9 C, Quatrini M (2012) Un cadre formel issu de la th\u00e9orie de la d\u00e9monstration pour la th\u00e9orie de l\u2019argumentation. Math Soc Sci 2(198):49\u201383","journal-title":"Math Soc Sci"},{"key":"13_CR55","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0004-3702(94)90017-5","volume":"65","author":"P G\u00e4rdenfors","year":"1994","unstructured":"G\u00e4rdenfors P, Makinson D (1994) Nonmonotonic inference based on expectations. Artif Intell J 65:197\u2013245","journal-title":"Artif Intell J"},{"unstructured":"Geffner H (1992) Default reasoning: causal and conditional theories. MIT, USA","key":"13_CR56"},{"issue":"3","key":"13_CR57","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","volume":"2","author":"G Gottlob","year":"1992","unstructured":"Gottlob G (1992) Complexity results for nonmonotonic logics. J Log Comput 2(3):397\u2013425","journal-title":"J Log Comput"},{"unstructured":"Grant J, Martinez MV (eds) (2018) Measuring inconsistency in information, studies in logic, vol 73. College Publications","key":"13_CR58"},{"unstructured":"Hunter A (2002) Measuring inconsistency in knowledge via quasi-classical models. In: Dechter R, Sutton R (eds) 18th american national conference on artificial intelligence (AAAI\u20192002). AAAI\/MIT, Canada, pp 68\u201373","key":"13_CR59"},{"issue":"14","key":"13_CR60","doi-asserted-by":"publisher","first-page":"1007","DOI":"10.1016\/j.artint.2010.06.001","volume":"174","author":"A Hunter","year":"2010","unstructured":"Hunter A, Konieczny S (2010) On the measure of conflicts: shapley inconsistency values. Artif Intell J 174(14):1007\u20131026","journal-title":"Artif Intell J"},{"doi-asserted-by":"crossref","unstructured":"Ja\u015bkowski S (1948) Rachunek zda\u0144 dla system\u00f3w dedukcyjnych sprzecznych. Studia Societatis Scientiarum Torunensis, Sectio A I:55\u201377, translated as \u201cPropositional Calculus for Contradictory Deductive System\u201d in Studia Logica 24 (1969), pp. 143\u2013157 and also in Logic and Logical Philosophy 7 (1999), pp. 35\u201356","key":"13_CR61","DOI":"10.1007\/BF02134311"},{"unstructured":"Konieczny S, Lang J, Marquis P (2003) Quantifying information and contradiction in propositional logic through test actions. In: Gottlob G, Walsh T (eds) 18th international joint conference on artificial intelligence (IJCAI\u201903). Morgan Kaufmann, Mexico, pp 106\u2013111","key":"13_CR62"},{"issue":"1\u20132","key":"13_CR63","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S Kraus","year":"1990","unstructured":"Kraus S, Lehmann D, Magidor M (1990) Nonmonotonic reasoning, preferential models and cumulative logics. Artif Intell J 44(1\u20132):167\u2013207","journal-title":"Artif Intell J"},{"unstructured":"Lang J, Marquis P (2000) In search of the right extension. In: Cohn AG, Giunchiglia F, Selman B (eds) 7th international conference on principles of knowledge representation and reasoning (KR\u201900). Morgan Kaufmann, USA, pp 625\u2013636","key":"13_CR64"},{"issue":"12\u201313","key":"13_CR65","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1016\/j.artint.2010.04.023","volume":"174","author":"J Lang","year":"2010","unstructured":"Lang J, Marquis P (2010) Reasoning under inconsistency: a forgetting-based approach. Artif Intell 174(12\u201313):799\u2013823","journal-title":"Artif Intell"},{"issue":"1","key":"13_CR66","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF01535841","volume":"15","author":"D Lehmann","year":"1995","unstructured":"Lehmann D (1995) Another perspective on default reasoning. Ann Math Artif Intell 15(1):61\u201382","journal-title":"Ann Math Artif Intell"},{"unstructured":"Leite J, Martins J (2011) Social abstract argumentation. In: Walsh T (ed) 22nd international joint conference on artificial intelligence (IJCAI\u201911). IJCAI\/AAAI, Spain, pp 2287\u20132292","key":"13_CR67"},{"unstructured":"Mart\u00ednez DC, Garc\u00eda A, Simari G (2008) An abstract argumentation framework with varied-strength attacks. In: Brewka G, Lang J (eds) 11th international conference on principles of knowledge representation and reasoning (KR\u201908). AAAI, Australia, pp 135\u2013144","key":"13_CR68"},{"doi-asserted-by":"crossref","unstructured":"Martinez MV, Molinaro C, Subrahmanian VS, Amgoud L (2013) A general framework for reasoning on inconsistency. Springer Briefs in Computer Science, Springer","key":"13_CR69","DOI":"10.1007\/978-1-4614-6750-2"},{"doi-asserted-by":"crossref","unstructured":"Matt P, Toni F (2008) A game-theoretic measure of argument strength for abstract argumentation. In: H\u00f6lldobler S, Lutz C, Wansing H (eds) 11th European conference on logics in artificial intelligence (JELIA\u201908). Springer, Germany, pp 285\u2013297","key":"13_CR70","DOI":"10.1007\/978-3-540-87803-2_24"},{"issue":"9\u201310","key":"13_CR71","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1016\/j.artint.2009.02.001","volume":"173","author":"S Modgil","year":"2009","unstructured":"Modgil S (2009) Reasoning about preferences in argumentation frameworks. Artif Intell J 173(9\u201310):901\u20131040","journal-title":"Artif Intell J"},{"issue":"10\u201315","key":"13_CR72","doi-asserted-by":"publisher","first-page":"922","DOI":"10.1016\/j.artint.2007.04.007","volume":"171","author":"M Mozina","year":"2007","unstructured":"Mozina M, Zabkar J, Bratko I (2007) Argument-based machine learning. Artif Intell J 171(10\u201315):922\u2013937","journal-title":"Artif Intell J"},{"unstructured":"Nebel B (1991) Belief revision and default reasoning: Syntax-based approaches. In: Allen JA, Fikes R, Sandewall E (eds) 2nd international conference on principles of knowledge representation and reasoning (KR\u201991). Morgan Kaufmann, USA, pp 417\u2013428","key":"13_CR73"},{"unstructured":"Nouioua F, Risch V (2012) A reconstruction of abstract argumentation admissible semantics into defaults and answer sets programming. In: Filipe J, Fred ALN (eds) 4th international conference on agents and artificial intelligence (ICAART\u201912), vol 1. SciTe, Portugal, pp 237\u2013242","key":"13_CR74"},{"doi-asserted-by":"crossref","unstructured":"\u00d8gaard TF (2016) Paths to triviality. Philos Log 45(3):237\u2013276","key":"13_CR75","DOI":"10.1007\/s10992-015-9374-6"},{"issue":"5","key":"13_CR76","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/s10992-014-9343-5","volume":"44","author":"G Payette","year":"2015","unstructured":"Payette G (2015) Getting the most out of inconsistency. Philos Log 44(5):573\u2013592","journal-title":"Philos Log"},{"unstructured":"Perelman C, Olbrechts-Tyteca L (1958) Trait\u00e9 de l\u2019argumentation : La nouvelle rh\u00e9torique. \u00c9ditions de l\u2019Universit\u00e9 Libre de Bruxelles, adapted and translated in 1969 as: \u201cThe New Rhetoric: A Treatise on Argumentation\u201d. Notre Dame University Press","key":"13_CR77"},{"unstructured":"Pinkas G, Loui RP (1992) Reasoning from inconsistency: A taxonomy of principles for resolving conflict. In: Nebel B, Rich C, Swartout WR (eds) 3rd international conference on principles of knowledge representation and reasoning (KR\u201992). Morgan Kaufmann, USA, pp 709\u2013719","key":"13_CR78"},{"unstructured":"Plantin C (1996) L\u2019argumentation. M\u00e9mos Seuil, Seuil","key":"13_CR79"},{"issue":"1","key":"13_CR80","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D Poole","year":"1988","unstructured":"Poole D (1988) A logical framework for default reasoning. Artif Intell 36(1):27\u201347","journal-title":"Artif Intell"},{"issue":"1","key":"13_CR81","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1080\/11663081.1997.10510900","volume":"7","author":"H Prakken","year":"1997","unstructured":"Prakken H, Sartor G (1997) Argument-based extended logic programming with defeasible priorities. J Appl Non-Class Log 7(1):25\u201375","journal-title":"J Appl Non-Class Log"},{"doi-asserted-by":"crossref","unstructured":"Priest G (1987) In Contradiction. Martinus Nijhoff, The Hague, The Netherlands","key":"13_CR82","DOI":"10.1007\/978-94-009-3687-4"},{"key":"13_CR83","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/BF00370190","volume":"50","author":"G Priest","year":"1991","unstructured":"Priest G (1991) Minimally inconsistent LP. Studia Logica 50:321\u2013331","journal-title":"Studia Logica"},{"doi-asserted-by":"crossref","unstructured":"Pu F, Luo J, Zhang Y, Luo G (2014) Argument ranking with categoriser function. In: Buchmann R, Kifor C, Yu J (eds) 7th international knowledge science, engineering and management conference (KSEM\u201914). Springer, Romania, pp 290\u2013301","key":"13_CR84","DOI":"10.1007\/978-3-319-12096-6_26"},{"unstructured":"Rahman S (2001) On Frege\u2019s nightmare. a combination of intuitionistic, free and paraconsistent logics. In: Wansing H (ed) Essays on non-classical logic. World Scientific, pp 61\u201385","key":"13_CR85"},{"issue":"1\u20132","key":"13_CR86","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter R (1980) A logic for default reasoning. Artif Intell J 13(1\u20132):81\u2013132","journal-title":"Artif Intell J"},{"unstructured":"Rescher N, Brandom R (1979) The logic of inconsistency. Blackwell","key":"13_CR87"},{"issue":"2","key":"13_CR88","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF00154005","volume":"1","author":"N Rescher","year":"1970","unstructured":"Rescher N, Manor R (1970) On inference from inconsistent premises. Theory Decis 1(2):179\u2013217","journal-title":"Theory Decis"},{"issue":"6","key":"13_CR89","doi-asserted-by":"publisher","first-page":"771","DOI":"10.1007\/s10992-015-9358-6","volume":"44","author":"D Ripley","year":"2015","unstructured":"Ripley D (2015) Paraconsistent logic. Philos Log 44(6):771\u2013780","journal-title":"Philos Log"},{"issue":"2\u20133","key":"13_CR90","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","volume":"53","author":"G Simari","year":"1992","unstructured":"Simari G, Loui RP (1992) A mathematical treatment of defeasible reasoning and its implementation. Artif Intell J 53(2\u20133):125\u2013157","journal-title":"Artif Intell J"},{"unstructured":"Tarski A (1956) Logic, semantics, metamathematics. Woodger EH (ed) Chap On some fundamental concepts of metamathematics. Oxford University, Oxford","key":"13_CR91"},{"issue":"3","key":"13_CR92","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1017\/S0022481200029674","volume":"52","author":"N Tennant","year":"1987","unstructured":"Tennant N (1987) Natural deduction and sequent calculus for intuitionistic relevant logic. J Symb Log 52(3):665\u2013680","journal-title":"J Symb Log"}],"container-title":["A Guided Tour of Artificial Intelligence Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-06164-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T08:21:20Z","timestamp":1666513280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-06164-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030061630","9783030061647"],"references-count":92,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-06164-7_13","relation":{},"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"8 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}