{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T10:06:37Z","timestamp":1762250797854,"version":"3.43.0"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":["Studia Logica"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1004987830832","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:24:14Z","timestamp":1040484254000},"page":"17-45","source":"Crossref","is-referenced-by-count":84,"title":["Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case"],"prefix":"10.1007","volume":"58","author":[{"given":"Salem","family":"Benferhat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Didier","family":"Dubois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henri","family":"Prade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"126255_CR1","unstructured":"Benferhat, S., D. Dubois, H. Prade, 1992, 'Representing default rules in possibilistic logic', Proc. of the 3rd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'92), Cambridge, MA, 673-684."},{"key":"126255_CR2","doi-asserted-by":"crossref","unstructured":"Benferhat, S., D. Dubois, H. Prade, 1993, 'Argumentative inference in uncertain and inconsistent knowledge bases', Proc. of the 9th Conf. on Uncertainty in Artificial Intelligence, Washington, Morgan & Kaufmann, San Mateo, CA, 411-419.","DOI":"10.1016\/B978-1-4832-1451-1.50054-8"},{"key":"126255_CR3","unstructured":"Benferhat, S., C. Cayrol, D. Dubois, J. Lang, H. Prade, 1993, 'Inconsistency management and prioritized syntax-based entailment', Proc. of the the 13th Inter. Joint Conf. on Artificial Intelligence (IJCAI'93), Chamb\u00e9ry, 640-645."},{"key":"126255_CR4","unstructured":"Benferhat, S., D. Dubois, H. Prade, 1994, 'Some syntactic approaches to the handling of inconsistent knowledge bases: a comparative study, Part 2: The prioritized case', Technical report IRIT no 94\/55-R, Toulouse (a short version entitled 'How to infer from inconsistent beliefs without revising?' is available in the Proc. of The Int. Joint Conf. on Artificial Intelligence (IJCAI'95), Montreal, August 1995, 1449\u20131455)."},{"key":"126255_CR5","series-title":"Rapport IRIT","first-page":"1443","volume-title":"Proc. of The Int. Joint Conf. on Artificial Intelligence (IJCAI'95), Montreal, August 1995","author":"C. Cayrol","year":"1995","unstructured":"Cayrol, C., 1995, 'Reasoning from inconsistent belief bases: on the relation between argumentation and coherence-based nonmonotonic entailment', Rapport IRIT\/95-09-R, IRIT, Universit\u00e9 Paul Sabatier, Toulouse, France. Proc. of The Int. Joint Conf. on Artificial Intelligence (IJCAI'95), Montreal, August 1995, 1443-1448."},{"key":"126255_CR6","first-page":"3790","volume":"257","author":"N. C. A. Da Costa","year":"1963","unstructured":"Da Costa, N. C. A., 1963, 'Calculs propositionnels pour les syst\u00e9mes formels inconsistants', Compte Rendu Acad. des Sciences, Paris, 257, 3790-3792.","journal-title":"Compte Rendu Acad. des Sciences"},{"key":"126255_CR7","first-page":"420","volume-title":"Argument calculus and networks. Proc. of the 9th Conf. on Uncertainty in Artificial Intelligence","author":"A. Y. Darwiche","year":"1993","unstructured":"Darwiche, A. Y., 1993, 'Argument calculus and networks. Proc. of the 9th Conf. on Uncertainty in Artificial Intelligence', Washington, Morgan & Kaufmann, San Mateo, CA, 420-427."},{"key":"126255_CR8","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. De Kleer","year":"1986","unstructured":"De Kleer, J., 1986, 'An assumption-based TMS', Artificial Intelligence\n28, 127-162.","journal-title":"Artificial Intelligence"},{"key":"126255_CR9","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/0004-3702(90)90012-O","volume":"45","author":"J. De Kleer","year":"1990","unstructured":"De Kleer, J., 1990, 'Using crude probability estimates to guide diagnosis', Artificial Intelligence\n45, 381-391.","journal-title":"Artificial Intelligence"},{"key":"126255_CR10","doi-asserted-by":"crossref","unstructured":"Dubois, D., J. Lang, H. Prade, 1994, 'Possibilistic logic', In: Handbook of Logic in Artificial Intelligence and Logic Programming\n3 (D. M. Gabbay et al., eds.), Oxford University Press, 439-513.","DOI":"10.1093\/oso\/9780198537472.003.0009"},{"key":"126255_CR11","unstructured":"Dung, P. M., 1993, 'On the acceptability of arguments and its fundamental role in non-monotonic reasoning and logic programming', Proc. of the 13th Inter. Joint Conf. on Artificial Intelligence (IJCAI'93), Chamb\u00e9ry, 852-857."},{"key":"126255_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/BFb0028186","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"M. Elvang-Goransson","year":"1993","unstructured":"Elvang-Goransson, M., P. Krause, J. Fox, 1993, 'Acceptability of arguments as \u201dlogical uncertainty\u201d In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty (M. Clarke et al., eds.), Lecture Notes in Computer Science\n747, Springer Verlag, Berlin, 85-96"},{"key":"126255_CR13","unstructured":"Fox, J., P. Krause, S. Ambler, 1992, 'Arguments, contradictions and practical reasoning', Proc. of the 8th Europ. Conf. on Artificial Intelligence (ECAI'92), Vienna, Austria, 623-627."},{"key":"126255_CR14","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/978-3-642-82453-1_15","volume-title":"Logics and models of Concurrent Systems","author":"D. M. Gabbay","year":"1985","unstructured":"Gabbay, D. M., 1985, 'Theoretical foundations for nonmonotonic reasoning in expert systems', In: Logics and models of Concurrent Systems (K. R. Apt, ed.), Springer Verlag, Berlin, 439-457."},{"key":"126255_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/3-540-54507-7_3","volume-title":"Fundamentals of Artificial Intelligence Research","author":"D. M. Gabbay","year":"1991","unstructured":"Gabbay, D. M., A. Hunter, 1991, 'Making inconsistency respectable (Part 1)', In: Fundamentals of Artificial Intelligence Research (P. Jorrand, J. Kelemen, eds.), Lecture Notes in Artificial Intelligence\n535, Springer Verlag, Berlin, 19-32."},{"key":"126255_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BFb0028192","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"D. M. Gabbay","year":"1993","unstructured":"Gabbay, D. M., A. Hunter, 1993, 'Making inconsistency respectable (Part 2)', In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty (M. Clarke et al., eds.), Lecture Notes in Computer Science\n747, Springer Verlag, Berlin, 129-144."},{"key":"126255_CR17","volume-title":"Knowledge in Flux-Modeling the Dynamic of Epistemic States","author":"P. G\u00c4rdenfors","year":"1988","unstructured":"G\u00c4rdenfors, P., 1988 Knowledge in Flux-Modeling the Dynamic of Epistemic States. The MIT Press, Cambridge, MA."},{"key":"126255_CR18","unstructured":"Goldszmidt, M., 1992, Qualitative probabilities: A normative framework for common-sense reasoning. PhD Thesis, University of California."},{"key":"126255_CR19","unstructured":"Goldszmidt, M., J. Pearl, P. Morris, 1990, 'A maximum entropy approach to nonmonotonic reasoning', Proc. of 8th National Conf. on Artificial Intelligence Conference (AAAI'90), Boston, MA, 646-652."},{"key":"126255_CR20","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus, S., D. Lehmann, M. Magidor, 1990, 'Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence\n44, 167-207.","journal-title":"Artificial Intelligence"},{"key":"126255_CR21","volume-title":"A logic of argumentation for uncertain reasoning","author":"P. Krause","year":"1994","unstructured":"Krause, P., S. Ambler, J. Fox, M. Elvang-Goransson, 1994, A logic of argumentation for uncertain reasoning, Imperial Cancer Research Institute, London, UK."},{"key":"126255_CR22","doi-asserted-by":"crossref","unstructured":"Lang, J., 1994, 'Syntax-based default reasoning as probabilistic model-based diagnosis', Proc. of the 10th Conf. on Uncertainty in Artificial Intelligence (UAI'94), Morgan & Kaufmann, San Mateo, CA, 391-298.","DOI":"10.1016\/B978-1-55860-332-5.50054-7"},{"key":"126255_CR23","unstructured":"Lin, J., 1987, 'Reasoning in the presence of inconsistency', Proc. of the 6th National Conf. on Artificial Intelligence (AAAI'87), Seattle, 139-143."},{"key":"126255_CR24","series-title":"Lecture notes in Computer Sciences","first-page":"1","volume-title":"Non-Monotonic Reasoning","author":"D. Makinson","year":"1989","unstructured":"Makinson, D., 1989, 'General theory of cumulative inference', In: Non-Monotonic Reasoning (M. Reinfrank et al., eds.), Lecture notes in Computer Sciences\n346, Springer Verlag, Berlin, 1-18."},{"key":"126255_CR25","first-page":"417","volume-title":"Proc. of the 2nd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'91)","author":"J. Nebel","year":"1991","unstructured":"Nebel, J., 1991, 'Belief revision and default reasoning: syntax-based approaches', Proc. of the 2nd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'91) (J. Allen, R. Fikes, E. Sandewall, eds.), Morgan & Kaufmann, Cambridge, MA, 417-428."},{"key":"126255_CR26","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1207\/s15516709cog1104_4","volume":"11","author":"J. L. Pollock","year":"1987","unstructured":"Pollock, J. L., 1987, 'Defeasible reasoning', Cognitive Science\n11, 481-518.","journal-title":"Cognitive Science"},{"key":"126255_CR27","unstructured":"Poole, J. L., 1985, 'On the comparison of theories: preferring the most specific explanation', Proc. the 9th Inter. Joint Conf. on Artificial Intelligence (IJCAI85), Los Angeles, CA, 144-147."},{"key":"126255_CR28","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0020-0255(85)90015-5","volume":"37","author":"J. A. Reggia","year":"1985","unstructured":"Reggia, J. A., D. S. Nau, and P. Y. Wang, 1985, 'A formal model of diagnosis inference', Information Sciences\n37, 227-285.","journal-title":"Information Sciences"},{"key":"126255_CR29","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R., 1987, 'A theory of diagnosis from first principles', Artificial Intelligence\n32, 57-95.","journal-title":"Artificial Intelligence"},{"key":"126255_CR30","volume-title":"The Logic of Inconsistency","author":"N. Rescher","year":"1980","unstructured":"Rescher, N., R. Brandom, 1980, The Logic of Inconsistency, Basil Blackwell, Oxford."},{"key":"126255_CR31","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00154005","volume":"1","author":"N. Rescher","year":"1970","unstructured":"Rescher, N., R. Manor, 1970, 'On inference from inconsistent premises', Theory and Decision\n1, 179-219.","journal-title":"Theory and Decision"},{"key":"126255_CR32","unstructured":"Satoh, K., 1990, 'A probabilistic interpretation for lazy nonmontonic reasoning', Proc. of the 8th National Conf. on Artificial Intelligence (AAAI-90), Boston, 659-664."},{"key":"126255_CR33","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G. Shafer","year":"1976","unstructured":"Shafer, G., 1976, A Mathematical Theory of Evidence, Princeton University Press, Princeton, NJ."},{"key":"126255_CR34","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","volume":"53","author":"G. R. Simari","year":"1992","unstructured":"Simari, G. R., R. P. Loui, 1992, 'A mathematical treatment of defeasible reasoning and its implementation', Artificial Intelligence\n53, 125-157.","journal-title":"Artificial Intelligence"},{"key":"126255_CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/logcom\/5.1.1","volume":"5","author":"K. Schlechta","year":"1995","unstructured":"Schlechta, K., 1995, 'Defaults as generalized quantifiers', J. Logic. Computat.\n5, 1-22.","journal-title":"J. Logic. Computat."},{"key":"126255_CR36","volume-title":"The Uses of Argument","author":"S. Toulmin","year":"1956","unstructured":"Toulmin, S., 1956, The Uses of Argument, Cambridge University Press, Cambridge, UK."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004987830832.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004987830832\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004987830832.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:21:23Z","timestamp":1754630483000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004987830832"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["126255"],"URL":"https:\/\/doi.org\/10.1023\/a:1004987830832","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}