{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:24:35Z","timestamp":1725488675183},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653127"},{"type":"electronic","value":"9783540494263"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":[[1998]]},"DOI":"10.1007\/3-540-49426-x_15","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T20:21:25Z","timestamp":1186172485000},"page":"325-353","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A local handling of inconsistent knowledge and default bases"],"prefix":"10.1007","author":[{"given":"Salem","family":"Benferhat","sequence":"first","affiliation":[]},{"given":"Laurent","family":"Garcia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,28]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"E.W. Adams (1975). The logic of conditionals. D. Reidel.","DOI":"10.1007\/978-94-015-7622-2"},{"key":"15_CR2","unstructured":"S. Benferhat, D. Dubois and H. Prade (1992). Representing default rules in possibilistic logic. Proc. of the 3rd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR\u201992). 673\u2013684."},{"key":"15_CR3","unstructured":"S. Benferhat, C. Cayrol, D. Dubois, J. Lang and H. Prade (1993). Inconsistency management and prioritized syntax-based entailment. Proc. of the 13th Inter. Joint Conf. on Artificial Intelligence (IJCAI\u201993). 640\u2013645."},{"key":"15_CR4","unstructured":"S. Benferhat, D. Dubois and H. Prade (1995). How to infer from inconsistent beliefs without revising? Proc. of the 14th Inter. Joint Conf. on Artificial Intelligence (IJCAI\u201995). 1449\u20131455. Extended version of this paper: Some syntactic approaches to the handling of inconsistent knowledge bases: a comparative study. Technical report IRIT\/94-55-R."},{"key":"15_CR5","unstructured":"S. Benferhat, A. Saffiotti and P. Smets (1995). Belief functions and default reasoning. Proc. of Uncertainty in Artificial Intelligence (UAI\u201995). 19\u201326."},{"key":"15_CR6","unstructured":"S. Benferhat, D. Dubois et H. Prade (1997) Possibilistic and standard probabilistic semantics of conditional knowledge. Proc. of the 14th National Conf. on Artificial Intelligence (AAAI\u201997), pp. 70\u201375."},{"key":"15_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Fundamentals in Artificial Intelligence","author":"W. Bibel","year":"1985","unstructured":"W. Bibel (1985). Methods of automated reasoning. Fundamentals in Artificial Intelligence, LNCS 232."},{"key":"15_CR8","unstructured":"C. Boutilier (1992). What is a Default priority? Proc. of the 9th Canadian Conf. on Artificial Intelligence (AI\u201992). 140\u2013147."},{"key":"15_CR9","unstructured":"G. Brewka (1989). Preferred subtheories: an extended logical framework for default reasoning. Proc. of the 11th Inter. Joint Conf. on Artificial Intelligence (IJCAI\u201989). 1043\u20131048."},{"key":"15_CR10","unstructured":"G. Brewka (1994). Reasoning about priorities in default logic. Proc. of the 1994 National Conf. on Artificial Intelligence (AAAI\u201994). 940\u2013945."},{"key":"15_CR11","unstructured":"T. Castell, C. Cayrol, M. Cayrol and D. Le Berre (1996). Using the Davis and Putnam procedure for an efficient computation of preferred models. Proc. of the 12th European Conference on Artificial Intelligence (ECAI\u201996). 350\u2013354."},{"key":"15_CR12","unstructured":"C. Cayrol (1995). On the relation between argumentation and non-monotonic coherence-based entailment. Proc. of the 14th Inter. Joint Conf. on Artificial Intelligence (IJCAI\u201995). 1443\u20131448."},{"key":"15_CR13","unstructured":"C. Cayrol and M.C. Lagasquie-Schiex (1994). On the complexity of nonmonotonic entailment in syntax-based approaches. Proc. of Workshop ECAI\u201994 on Algorithms, Complexity and Commonsense Reasoning."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"L. Cholvy (1995). Automated reasoning with merged contradictory information whose reliability depends on topics. Proc. of the 1995 European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty (ECSQARU\u201995).","DOI":"10.1007\/3-540-60112-0_15"},{"key":"15_CR15","first-page":"3790","volume":"257","author":"N. C. A. Costa Da","year":"1963","unstructured":"N. C. A. Da Costa (1963). Calcul propositionnel pour les syst\u00e8mes formels inconsistants. Compte Rendu Acad. des Sciences (Paris), 257. 3790\u20133792.","journal-title":"Compte Rendu Acad. des Sciences (Paris)"},{"key":"15_CR16","unstructured":"N.C.A. Da Costa and D. Marconi (1987). An overview of paraconsistent logic in the 80s. Monografias da Sociedade Paranense de Matematica."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"M. Davis and H. Putnam. A computing procedure for quantification theory. Journal of the Assoc. for Computing Machinery, 7. 201\u2013215.","DOI":"10.1145\/321033.321034"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer De","year":"1986","unstructured":"J. De Kleer (1986). An assumption-based TMS. Artificial Intelligence, 28. 127\u2013162.","journal-title":"Artificial Intelligence"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1016\/0004-3702(90)90012-O","volume":"45","author":"J. Kleer De","year":"1990","unstructured":"J. De Kleer (1990). Using crude probability estimates to guide diagnosis. Artificial Intelligence, 45. 381\u2013391.","journal-title":"Artificial Intelligence"},{"key":"15_CR20","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer De","year":"1987","unstructured":"J. De Kleer and B. C. Williams (1987). Diagnosing multiple faults. Artificial Intelligence, 32. 97\u2013130.","journal-title":"Artificial Intelligence"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"J. P. Delgrande and T. H. Schaub (1994). A general approach to specificity in default reasoning. Proc. of the 4th Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR\u201994). 146\u2013157.","DOI":"10.1016\/B978-1-4832-1452-8.50110-X"},{"key":"15_CR22","first-page":"439","volume":"3","author":"D. Dubois","year":"1994","unstructured":"D. Dubois, J. Lang and H. Prade (1994). Possibilistic logic. Handbook of Logic in A. I. and Logic Programming, vol. 3. 439\u2013513.","journal-title":"Handbook of Logic in A. I. and Logic Programming"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"M. Elvang-Goransson, P. Krause and J. Fox (1993). Dialectic reasoning with inconsistent information. Proc. of Uncertainty in Artificial Intelligence (UAI\u201993). 114\u2013121.","DOI":"10.1016\/B978-1-4832-1451-1.50018-4"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"R. Fagin, J. D. Ullman and M. Y. Vardi (1983). On the semantics of updates in database. Proc. of the 2nd ACM SIGACT-SIGMOD Symp. on the Principles of Databases Systems. 352\u2013365.","DOI":"10.1145\/588058.588100"},{"key":"15_CR25","unstructured":"D.M. Gabbay and A. Hunter (1991). Making inconsistency respectable (Part 1). Fundamentals of Artificial Intelligence Research, LNAI 535. 19\u201332."},{"key":"15_CR26","unstructured":"P. G\u00e4rdenfors (1988). Knowledge in flux-Modeling the dynamic of epistemic states. MIT Press."},{"key":"15_CR27","unstructured":"H. Geffner (1992). Default reasoning: Causal and conditional theories. MIT Press."},{"key":"15_CR28","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"S. Kraus, D. Lehmann and M. Magidor (1990). Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44. 167\u2013207.","journal-title":"Artificial Intelligence"},{"key":"15_CR29","volume-title":"Another perspective on default reasoning","author":"D. Lehmann","year":"1993","unstructured":"D. Lehmann (1993). Another perspective on default reasoning. Technical report. Hebrew University, Jerusalem."},{"key":"15_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D. Lehmann","year":"1992","unstructured":"D. Lehmann and M. Magidor (1992). What does a conditional knowledge base entail? Artificial Intelligence, 55. 1\u201360.","journal-title":"Artificial Intelligence"},{"key":"15_CR31","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-50701-9_16","volume-title":"Non-monotonic reasoning","author":"D. Makinson","year":"1989","unstructured":"D. Makinson (1989). General theory of cumulative inference. Non-monotonic reasoning, LNCS 346. 1\u201318."},{"key":"15_CR32","unstructured":"Y. Moinard (1987). Donner la pr\u00e9f\u00e9rence au d\u00e9faut le plus sp\u00e9cifique. Proc. of the 6th Conf. on Reconnaissance des Formes et Intelligence Artificielle (RFIA\u201987). 1123\u20131132."},{"key":"15_CR33","unstructured":"B. Nebel (1991). Belief revision and default reasoning: syntax-based approaches. Proc. of the 2nd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR\u201991). 417\u2013428."},{"key":"15_CR34","unstructured":"B. Nebel (1994). Base revision operator and schemes: semantics representation and complexity. Proc. of the 11th European Conference on Artificial Intelligence (ECAI\u201994). 341\u2013345."},{"key":"15_CR35","unstructured":"O. Papini (1992). A complete revision function in propositional calculus. Proc. of the 10th European Conference on Artificial Intelligence (ECAI\u201992). 339\u2013343."},{"key":"15_CR36","first-page":"455","volume":"9","author":"O. Papini","year":"1995","unstructured":"O. Papini and A. Rauzy (1995). R\u00e9vision: mettons un b\u00e9mol. Revue d\u2019Intelligence Artificielle, vol. 9, no4. 455\u2013473.","journal-title":"Revue d\u2019Intelligence Artificielle"},{"key":"15_CR37","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"J. Pearl","year":"1988","unstructured":"J. Pearl (1988) Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Mateo, CA."},{"key":"15_CR38","unstructured":"J. Pearl (1990). System Z: A natural ordering of defaults with tractable applications to default reasoning. Proc. of the 3rd Conf. on Theoretical Aspects of Reasoning about Knowledge (TARK\u201990). 121\u2013135."},{"key":"15_CR39","volume-title":"The computational complexity of assumption-based truth maintenance systems","author":"G. M. Provan","year":"1988","unstructured":"G. M. Provan (1988). The computational complexity of assumption-based truth maintenance systems. Technical report. University of British Columbia, Vancouver."},{"key":"15_CR40","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter (1980). A logic for default reasoning. Artificial Intelligence, 13. 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"15_CR41","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"R. Reiter (1987). A theory of diagnosis from first principles. Artificial Intelligence, 32. 57\u201395.","journal-title":"Artificial Intelligence"},{"key":"15_CR42","unstructured":"R. Reiter and G. Criscuolo (1981). On interacting defaults. Proc. of the 7th Inter. Joint Conf. on Artificial Intelligence (IJCAI\u201981). 270\u2013276."},{"key":"15_CR43","unstructured":"N. Rescher (1976). Plausible Reasoning: An introduction to the theory and practice of plausibilistic inference. Van Gorcum."},{"key":"15_CR44","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0004-3702(92)90105-7","volume":"57","author":"N. Roos","year":"1992","unstructured":"N. Roos (1992). A logic for reasoning with inconsistent knowledge. Artificial Intelligence, 57. 69\u2013103.","journal-title":"Artificial Intelligence"},{"key":"15_CR45","unstructured":"P. Snow (1996) Standard probability distributions described by rational default entailment. Technical Report."},{"key":"15_CR46","unstructured":"S. Toulmin (1956). The uses of argument. Cambridge University Press."},{"key":"15_CR47","unstructured":"D. S. Touretzky (1984). Implicit ordering of defaults in inheritance systems. Proc. of the 1984 National Conf. on Artificial Intelligence (AAAI\u201984). 322\u2013325."},{"key":"15_CR48","unstructured":"M. A. Williams (1996). Towards a Practical Approach to Belief Revision: Reason-Based Change. Proc. of the 5th Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR\u201996). 412\u2013421."}],"container-title":["Lecture Notes in Computer Science","Applications of Uncertainty Formalisms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49426-X_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T05:05:03Z","timestamp":1586149503000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49426-X_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653127","9783540494263"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/3-540-49426-x_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"28 September 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}