{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T22:10:27Z","timestamp":1737238227089,"version":"3.33.0"},"reference-count":282,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":9131,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Intell. Syst."],"published-print":{"date-parts":[[1990,9]]},"DOI":"10.1002\/int.4550050405","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T14:39:27Z","timestamp":1183905567000},"page":"423-470","source":"Crossref","is-referenced-by-count":2,"title":["Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example"],"prefix":"10.1155","volume":"5","author":[{"given":"L\u00e9a","family":"Somb\u00e9","sequence":"first","affiliation":[]}],"member":"311","reference":[{"key":"10.1002\/int.4550050405-BIB1","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1111\/j.1467-8640.1987.tb00183.x","volume":"3","author":"McDermott","year":"1987","journal-title":"Computational Intelligence"},{"key":"10.1002\/int.4550050405-BIB2","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1111\/j.1467-8640.1987.tb00182.x","volume":"3","year":"1987","journal-title":"Featured Issue of Computational Intelligence"},{"key":"10.1002\/int.4550050405-BIB3","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1111\/j.1467-8640.1988.tb00090.x","volume":"4","year":"1988","journal-title":"Computational Intelligence"},{"key":"10.1002\/int.4550050405-BIB4","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1111\/j.1467-8640.1988.tb00091.x","volume":"4","author":"Cheeseman","year":"1988","journal-title":"Computational Intelligence"},{"key":"10.1002\/int.4550050405-BIB5","first-page":"211","volume-title":"The Psychology of Computer Vision","author":"Minsky","year":"1974","unstructured":"\u201cA framework for representing knowledge,\u201d MIT Artificial Intelligence, Memo n\u00b0 306, 1974. Revised version in The Psychology of Computer Vision, (Ed.), McGraw-Hill, New York, 1975, pp. 211\u2013280."},{"key":"10.1002\/int.4550050405-BIB6","series-title":"Studies in Co","volume-title":"Representation and Understanding","author":"Winograd","year":"1975","unstructured":"\u201cFrame representations and the declarative procedural controversy,\u201d In Representation and Understanding, and (Eds.), Studies in Cognitive Science Series, Academic Press, New York, 1975."},{"year":"1977","author":"Hayes","unstructured":"\u201cIn defense of logic,\u201d Proc. 5th Inter. Joint Conf. on Artificial Intelligence (IJCAI 77), Cambridge, MA, 1977, pp. 559\u2013565.","key":"10.1002\/int.4550050405-BIB7"},{"key":"10.1002\/int.4550050405-BIB8","volume-title":"Logics for Artificial Intelligence","author":"Turner","year":"1984","unstructured":"Logics for Artificial Intelligence, Ellis Horwood, Chichester, UK, 1984."},{"key":"10.1002\/int.4550050405-BIB9","volume-title":"Non-Standard Logics for Automated Reasoning","author":"Smets","year":"1988","unstructured":", , and (Eds.), Non-Standard Logics for Automated Reasoning, Academic Press, New York, 1988."},{"year":"1986","author":"Brown","unstructured":"\u201cA comparison of the commonsense and fixed point theories of nonmonotonicity,\u201d Proc. of the 5th Nat. Conf. on Artificial Intelligence (AAAI-86), Philadelphia, 1986, pp. 394\u2013400.","key":"10.1002\/int.4550050405-BIB10"},{"key":"10.1002\/int.4550050405-BIB11","volume-title":"Notes on Logic","author":"Lyndon","year":"1967","unstructured":"Notes on Logic, Van Nostrand, Princeton, New Jersey, 1967."},{"key":"10.1002\/int.4550050405-BIB12","volume-title":"Rule-Based Expert Systems - the MYCIN Experiments of the Stanford Heuristic Programming Project","author":"Buchanan","year":"1984","unstructured":"and , Rule-Based Expert Systems - the MYCIN Experiments of the Stanford Heuristic Programming Project, Addison-Wesley, Reading, MA, 1984."},{"year":"1988","author":"Pearl","unstructured":"\u201cEmbracing causality in default reasoning,\u201d Artificial Intelligence, 3 5, 259-271 (1988).","key":"10.1002\/int.4550050405-BIB13"},{"key":"10.1002\/int.4550050405-BIB14","first-page":"153","volume-title":"Expert Systems in the Micro-Electronic Age","author":"Duda","year":"1981","unstructured":", and , \u201cModel design in the PROSPECTOR consultant system for mineral exploration,\u201d In Expert Systems in the Micro-Electronic Age, (Ed.), Edinburgh, Scotland, Edinburgh Univ. Press, 1981, pp. 153\u2013167."},{"year":"1981","author":"Friedman","unstructured":"\u201cExtending plausible inference,\u201d Proc. 7th Inter. Joint Conf. on Artificial Intelligence, Vancouver, BC, 1981, pp. 487\u2013495.","key":"10.1002\/int.4550050405-BIB15"},{"year":"1968","author":"Polya","unstructured":"Mathematics and Plausible Reasoning - II: Patterns of Plausible Inference, Princeton University Press, NJ, 1954. 2nd revised and augmented edition, 1968.","key":"10.1002\/int.4550050405-BIB16"},{"key":"10.1002\/int.4550050405-BIB17","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/B978-0-444-70058-2.50017-6","volume-title":"Uncertainty in Artificial Intelligence","author":"Heckerman","year":"1986","unstructured":"\u201cProbabilistic interpretations for MYCIN's certainty factors,\u201d In Uncertainty in Artificial Intelligence, and (Eds.), North-Holland, Amsterdam, the Netherlands, 1986, pp. 167\u2013196."},{"key":"10.1002\/int.4550050405-BIB18","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0020-7373(85)80077-8","volume":"2 2","author":"Hajek","year":"1985","journal-title":"Int. J. Man-Machine Studies"},{"year":"1983","author":"Rich","unstructured":"\u201cDefault reasoning as likelihood reasoning,\u201d Proc. of the 3rd Nat. Conf. on Artificial Intelligence (AAAI-83), Washington, DC, Aug. 22-26, 1983, pp. 348\u2013351.","key":"10.1002\/int.4550050405-BIB19"},{"year":"1984","author":"Ginsberg","unstructured":"\u201cNon-monotonic reasoning using Dempster's rule,\u201d Proc. of the 4th Nat. Conf. on Artificial Intelligence (AAAI-84), Austin, TX, Aug. 6-10, 1984, pp. 126\u2013129.","key":"10.1002\/int.4550050405-BIB20"},{"key":"10.1002\/int.4550050405-BIB21","first-page":"295","volume-title":"Fuzzy Logic in Knowledge Engineering","author":"Soula","year":"1986","unstructured":", , , and , \u201cPROTIS: a fuzzy expert system with medical applications,\u201d In Fuzzy Logic in Knowledge Engineering, and (Eds.), Verlag T\u00dcV Rheinland, K\u00f6ln, FRG, 1986, pp. 295\u2013310."},{"key":"10.1002\/int.4550050405-BIB22","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1002\/int.4550010202","volume":"1","author":"Baldwin","year":"1986","journal-title":"Int. J. of Intelligent Systems"},{"year":"1987","author":"Bonissone","unstructured":", and , \u201cRUM: a layered architecture for reasoning with uncertainty,\u201d Proc. of the 10th Inter. Joint Conf. on Artificial Intelligence (IJCAI-87), Milano, Italy, 1987, pp. 891\u2013898.","key":"10.1002\/int.4550050405-BIB23"},{"year":"1986","author":"Farreny","unstructured":", and , \u201cApproximate reasoning in a rule-based expert system using possibility theory: a case study,\u201d Proc. 10th World IFIP Cong., Dublin, Sept. 1-5, Information Processing'86 (H. J. Kugler, ed.), North-Holland, Amsterdam, the Netherlands, 1986, pp. 407\u2013413.","key":"10.1002\/int.4550050405-BIB24"},{"year":"1987","author":"Godo","unstructured":", , and , \u201cManaging linguistically expressed uncertainty in MILORD - Application to medical diagnosis,\u201d Proc. 7th Inter. Workshop on Expert Systems and their Applications, Avignon, France, 1987, published by EC2, Nanterre, France, pp. 571\u2013596.","key":"10.1002\/int.4550050405-BIB25"},{"key":"10.1002\/int.4550050405-BIB26","first-page":"64","volume-title":"The Reliability of Expert Systems","author":"Dubois","year":"1989","unstructured":"and , \u201cHandling uncertainty in expert systems: pitfalls, difficulties, remedies,\u201d Tech. Report (L. S. I., Univ. P. Sabatier, Toulouse), n\u00b0 311. Also in The Reliability of Expert Systems, (Ed.), Ellis Horwood, Chichester, UK, 1989, pp. 64\u2013118."},{"year":"1983","author":"Cohen","unstructured":"and , \u201cA theory of heuristic reasoning about uncertainty,\u201d The AI Magazine, 17\u201324 (1983).","key":"10.1002\/int.4550050405-BIB27"},{"key":"10.1002\/int.4550050405-BIB28","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/B978-0-444-70058-2.50038-3","volume-title":"Uncertainty in Artificial Intelligence","author":"Fox","year":"1986","unstructured":"\u201cThree arguments for extending the framework of probability,\u201d In Uncertainty in Artificial Intelligence, and (Eds.), North-Holland, Amsterdam, the Netherlands, 1986, pp. 447\u2013458."},{"year":"1985","author":"Gascuel","unstructured":", and , \u201cLe syst\u00e8me LEZARD: un travail exp\u00e9rimental sur le raisonnement incertain en m\u00e9decine,\u201d Proc. of the 5th Inter. Workshop on Expert Systems and Their Applications, Avignon, France, published by ADI, 1985, pp. 1203\u20131217.","key":"10.1002\/int.4550050405-BIB29"},{"year":"1986","author":"Ganascia","unstructured":"\u201cRaisonnement incertain ou incertitude sur le raisonnement,\u201d Actes Conf. Cognitiva, Paris, France, June 4-7, 1986, pp. 633\u2013638.","key":"10.1002\/int.4550050405-BIB30"},{"key":"10.1002\/int.4550050405-BIB31","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0888-613X(87)90006-5","volume":"1","author":"Cohen","year":"1987","journal-title":"Int. J. Approximate Reasoning"},{"key":"10.1002\/int.4550050405-BIB32","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"Clark","year":"1978","unstructured":"\u201cNegation as failure,\u201d In Logic and Data Bases, and (Eds.), New York, 1978, pp. 293\u2013322."},{"key":"10.1002\/int.4550050405-BIB33","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0743-1066(84)90023-2","volume":"1","author":"Shepherdson","year":"1984","journal-title":"J. of Logic Programming"},{"key":"10.1002\/int.4550050405-BIB34","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987","unstructured":"Foundations of Logic Programming, 2nd edition, Springer-Verlag, New York, 1987."},{"year":"1986","author":"Apt","unstructured":", and , \u201cTowards a theory of declarative knowledge,\u201d Workhop on Foundations of Deductive Databases and Logic Programming, 1986, pp. 546\u2013628. (Also in Minker, 1988).37","key":"10.1002\/int.4550050405-BIB35"},{"year":"1986","author":"Przymusinski","unstructured":"\u201cOn the semantics of stratified deductive databases,\u201d Workshop on Foundations of Deductive Databases and Logic Programming, 1986, pp. 433\u2013443. Also in (Minker, 1988).37","key":"10.1002\/int.4550050405-BIB36"},{"key":"10.1002\/int.4550050405-BIB37","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"Minker","year":"1988","unstructured":"(Ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, Menlo Park, CA, 1988."},{"year":"1987","author":"Bidoit","unstructured":"and , \u201cMinimalism subsumes default logic and circumscription in stratified logic programming,\u201d Proc. of IEEE Conf. on Logic in Computer Science (LICS-87), Ithaca, NY, 1987, pp. 89\u201397.","key":"10.1002\/int.4550050405-BIB38"},{"author":"Bidoit","journal-title":"Information and Computation","key":"10.1002\/int.4550050405-BIB39"},{"year":"1988","author":"Gelfond","unstructured":"and , \u201cThe stable model semantics for logic programming,\u201d 15th Inter. Conf. on Logic Programming, 1988.","key":"10.1002\/int.4550050405-BIB40"},{"year":"1988","author":"Bidoit","unstructured":"and , \u201cMore on stratified default theories,\u201d Proc. of Europ. Conf. on Artificial Intelligence (ECAI-88), M\u00fcnchen, Germany, 1988, pp. 492\u2013494.","key":"10.1002\/int.4550050405-BIB41"},{"year":"1988","author":"Bidoit","unstructured":"and , \u201cNegation by default and non-stratifiable logic programs,\u201d In Theoretical Computer Science, Special Issue on Research in Deductive Databases, to appear. Also in Tech. Report (L. R. I., Univ. Paris-Sud), n\u00b0 437, 1988.","key":"10.1002\/int.4550050405-BIB42"},{"key":"10.1002\/int.4550050405-BIB43","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":"Gabbay","year":"1985","unstructured":"\u201cTheoretical foundations for non-monotonic reasoning in expert systems,\u201d In Logics and Models of Concurrent Systems, (Ed.), Springer-Verlag, Berlin, 1985, pp. 439\u2013457."},{"key":"10.1002\/int.4550050405-BIB44","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"1 3","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"year":"1985","author":"Lukaszewicz","unstructured":"\u201cTwo results on default logic,\u201d Proc. of Inter. Joint Conf. on Artificial Intelligence (IJCAI-85), Los Angeles, CA, 1985, pp. 459\u2013461.","key":"10.1002\/int.4550050405-BIB45"},{"key":"10.1002\/int.4550050405-BIB46","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1467-8640.1988.tb00086.x","volume":"4","author":"Lukaszewicz","year":"1988","journal-title":"Computational Intelligence"},{"key":"10.1002\/int.4550050405-BIB47","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05689-9","volume-title":"An Introduction to Default Logic","author":"Besnard","year":"1989","unstructured":"An Introduction to Default Logic, Springer-Verlag, Berlin, 1989."},{"key":"10.1002\/int.4550050405-BIB48.1","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"3 5","author":"Konolige","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050405-BIB48.2","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0004-3702(89)90085-4","volume":"41","year":"1989","journal-title":"Artificial Intelligence"},{"year":"1984","author":"Touretzky","unstructured":"\u201cImplicit ordering of defaults in inheritance systems,\u201d Proc. of Amer. Assoc. for Artificial Intelligence Conf. (AAAI-84), 1984, pp. 322\u2013325.","key":"10.1002\/int.4550050405-BIB49"},{"year":"1985","author":"Poole","unstructured":"\u201cOn the comparison of theories; preferring the most specific explanation,\u201d Proc. of the 9th Inter. Joint Conf. on Artificial Intelligence (IJCAI-85), Los Angeles, CA, 1985, pp. 144\u2013147.","key":"10.1002\/int.4550050405-BIB50"},{"key":"10.1002\/int.4550050405-BIB51","first-page":"1123","volume-title":"Actes 6\u00e8me Congr\u00e9s AFCET-INRIA Reconnaissances des Formes et Intelligence Artificielle","author":"Moinard","year":"1987","unstructured":"\u201cDonner la pr\u00e9f\u00e9rence au d\u00e9faut le plus sp\u00e9cifique,\u201d Actes 6\u00e8me Congr\u00e9s AFCET-INRIA Reconnaissances des Formes et Intelligence Artificielle, Antibes, France, 1987, pp. 1123\u20131132."},{"key":"10.1002\/int.4550050405-BIB52","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(87)90081-6","volume":"3 1","author":"Etherington","year":"1987","journal-title":"Artificial Intelligence"},{"year":"1981","author":"Reiter","unstructured":"and , \u201cOn interacting defaults,\u201d Proc. of Inter. Joint Conf. on Artificial Intelligence (IJCAI-81), Vancouver, BC, 1981, pp. 270\u2013276.","key":"10.1002\/int.4550050405-BIB53"},{"year":"1983","author":"Etherington","unstructured":"and , \u201cOn inheritance hierarchies with exceptions,\u201d Proc. of Amer. Assoc. for Artificial Intelligence Conf. (AAAI-83), Washington, DC, 1983, pp. 104\u2013108.","key":"10.1002\/int.4550050405-BIB54"},{"year":"1987","author":"Etherington","unstructured":"Reasoning with Incomplete Information: Investigations of Non-Monotonic Reasoning, Research Notes in Artificial Intelligence, Pitman, 1987.","key":"10.1002\/int.4550050405-BIB55"},{"key":"10.1002\/int.4550050405-BIB56","first-page":"179","volume-title":"Non-Standard Logics for Automated Reasoning","author":"Froidevaux","year":"1988","unstructured":"and , \u201cInheritance in semantic networks and default logic,\u201d In Non-Standard Logics for Automated Reasoning, , , and (Eds.), Academic Press, London, UK, 1988, pp. 179\u2013212."},{"year":"1986","author":"Froidevaux","unstructured":"\u201cTaxonomic default theory,\u201d Proc. of Europ. Conf. on Artificial Intelligence (ECAI-86), Brighton, 1986, pp. 123\u2013129.","key":"10.1002\/int.4550050405-BIB57"},{"year":"1983","author":"Besnard","unstructured":", and , \u201cA theorem prover for a decidable subset of default logic,\u201d Proc. of the 3rd Amer. Assoc. for Artificial Intelligence Conf. (AAAI-83), Washington, D. C., 1983, pp. 27\u201330.","key":"10.1002\/int.4550050405-BIB58"},{"year":"1990","author":"Schwind","unstructured":"\u201cA tableaux-based theorem - prover for a decidable subset of default logic,\u201d to appear in Proc. 10th Inter. Conf. on Automated Deduction (CADE-10), 1990.","key":"10.1002\/int.4550050405-BIB59"},{"key":"10.1002\/int.4550050405-BIB60","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"1 3","author":"McDermott","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050405-BIB61","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0004-3702(80)90013-2","volume":"1 3","author":"Davis","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050405-BIB62","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/322290.322293","volume":"29","author":"McDermott","year":"1982","journal-title":"J. Assoc. for Comp. Mach."},{"year":"1982","author":"Gabbay","unstructured":"\u201cIntuitionistic basis for non-monotonic logic,\u201d Proc. 6th Conf. on Automated Deduction. Lecture Notes in Computer Sciences, Vol. 38, Springer-Verlag, Berlin, 1982, pp. 260\u2013273.","key":"10.1002\/int.4550050405-BIB63"},{"key":"10.1002\/int.4550050405-BIB64","first-page":"163","volume-title":"Non-Standard Logics for Automated Reasoning","author":"Clarke","year":"1988","unstructured":"and , \u201cAn intuitionistic basis for non-monotonic reasoning,\u201d In Non-Standard Logics for Automated Reasoning, , , and (Eds.), Academic Press, New York, 1988, pp. 163\u2013178."},{"year":"1988","author":"Clarke","unstructured":"\u201cIntuitionistic non-monotonic reasoning - Further results,\u201d Proc. 9th Europ. Conf. on Artificial Intelligence (ECAI 88), M\u00fcnchen, Germany, 1988, pp. 525\u2013527.","key":"10.1002\/int.4550050405-BIB65"},{"key":"10.1002\/int.4550050405-BIB66","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"Moore","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050405-BIB67","first-page":"105","volume-title":"Non-Standard Logics for Automated Reasoning","author":"Moore","year":"1988","unstructured":"\u201cAutoepistemic logic,\u201d In Non-Standard Logics for Automated Reasoning, , , and (Eds.), Academic Press, London, UK, 1988, pp. 105\u2013136."},{"key":"10.1002\/int.4550050405-BIB68","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: an Introduction","author":"Chellas","year":"1980","unstructured":"Modal Logic: an Introduction, Cambridge University Press, Cambridge, MA, 1980."},{"year":"1988","author":"Niemel\u00e4","unstructured":"\u201cDecision procedure for autoepistemic logic,\u201d Proc. 9th Conf. on Automated Deduction, Argonne, IL, 1988. Lecture Notes in Computer Science, Vol. 310, Springer-Verlag, 676-684.","key":"10.1002\/int.4550050405-BIB69"},{"year":"1989","author":"Marek","unstructured":"and , \u201cRelating autoepistemic and default logic,\u201d Proc. of the 1st Inter. Conf. on Knowledge Representation, Toronto, 1989, 276\u2013288.","key":"10.1002\/int.4550050405-BIB70"},{"key":"10.1002\/int.4550050405-BIB71","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1007\/978-3-642-82453-1_16","volume-title":"Logic and Models of Concurrent Systems","author":"Halpern","year":"1985","unstructured":"and , \u201cToward a theory of knowledge and ignorance,\u201d In Logic and Models of Concurrent Systems, (Ed.), Springer-Verlag, Berlin, 1985, pp. 459\u2013476."},{"year":"1987","author":"Levesque","unstructured":"\u201cAll I know: an abridged report,\u201d Proc. 6th National Conf. on Artificial Intelligence (AAAI-87), Seattle, WA, 1987, pp. 426\u2013431.","key":"10.1002\/int.4550050405-BIB72"},{"year":"1989","author":"Bieber","unstructured":"\u201cAspects \u00e9pist\u00e9miques des protocoles cryptographiques\u201d, Doctoral dissertation, Univ. P. Sabatier, Toulouse, 1989.","key":"10.1002\/int.4550050405-BIB73"},{"year":"1989","author":"Bieber","unstructured":"and , \u201cA monotonic logic for non-monotonic reasoning\u201d, Report IRIT, Univ. P. Sabatier, Toulouse, France, 1989.","key":"10.1002\/int.4550050405-BIB74"},{"year":"1986","author":"Brown","unstructured":"\u201cA commonsense theory of non-monotonic reasoning,\u201d Proc. 8th Conf. on Automated Deduction (CADE-8), Oxford. Lecture Notes in Computer Sciences, Vol. 230, Springer-Verlag, New York, 1986, pp. 209\u2013228.","key":"10.1002\/int.4550050405-BIB75"},{"key":"10.1002\/int.4550050405-BIB76","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90093-2","volume":"32","author":"Halpern","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050405-BIB77","volume-title":"An Introduction to Modal Logic","author":"Hughes","year":"1968","unstructured":"and , An Introduction to Modal Logic, Methuen, London, UK, 1968."},{"year":"1988","author":"Dubois","unstructured":", and , \u201cIn search of a modal system for possibility theory,\u201d Proc. of the Europ. Conf. on Artificial Intelligence (ECAI-88), M\u00fcnich, Germany, 1988, pp. 501\u2013506.","key":"10.1002\/int.4550050405-BIB78"},{"year":"1988","author":"Frisch","unstructured":"and , \u201cProbability as a modal operator,\u201d Proc. 4th Workshop on Uncertainty in Artificial Intelligence, Univ. of Minnesota, MN, 1988, pp. 109\u2013118.","key":"10.1002\/int.4550050405-BIB79"},{"year":"1988","author":"Fagin","unstructured":"and , \u201cReasoning about knowledge and probability: preliminary report,\u201d Proc. of the 2nd Conf. on Theoretical Aspects of Reasoning about Knowledge, M. Y., Vardi (Ed.), Pacific Grove, CA, March 7-9, 1988, pp. 277\u2013293.","key":"10.1002\/int.4550050405-BIB80"},{"year":"1987","author":"Ruspini","unstructured":"\u201cEpistemic logics, probability, and the calculus of evidence,\u201d Proc. of the 10th Inter. Joint Conf. on Artificial Intelligence (IJCAI 87), Milan, Italy, August 23-28, 1987, pp. 924\u2013931.","key":"10.1002\/int.4550050405-BIB81"},{"year":"1988","author":"Bacchus","unstructured":"\u201cStatistically founded degrees of belief,\u201d Proc. of the 7th Biennial Conf. of the Canadian Society for Computational Studies of Intelligence (CSCSI'88), R. Goebel, Ed., Edmonton, Alberta, Canada, June 6-10, 1988, pp. 59\u201366.","key":"10.1002\/int.4550050405-BIB82"},{"key":"10.1002\/int.4550050405-BIB83","first-page":"55","volume-title":"Logic and Databases","author":"Reiter","year":"1978","unstructured":"\u201cOn closed world databases,\u201d In Logic and Databases, an (Eds), Plenum Press, New York, 1978, pp. 55\u201376."},{"key":"10.1002\/int.4550050405-BIB84","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050405-BIB85","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"McCarthy","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050405-BIB86","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1111\/j.1467-8640.1985.tb00055.x","volume":"1","author":"Etherington","year":"1985","journal-title":"Computational Intelligence"},{"year":"1988","author":"Moinard","unstructured":"\u201cContribution \u00e0 l'etude de la circonscription,\u201d Thesis, Universit\u00e9 de Rennes 1, France, 1988.","key":"10.1002\/int.4550050405-BIB87"},{"key":"10.1002\/int.4550050405-BIB88","first-page":"137","volume-title":"Non-Standard Logics for Automated Reasoning","author":"Besnard","year":"1988","unstructured":"and , \u201cThe preferential models approach to non monotonic logics,\u201d In Non-Standard Logics for Automated Reasoning, , , and , (Eds.), Academic Press, London, 1988, pp. 137\u2013161."},{"key":"10.1002\/int.4550050405-BIB89.1","volume-title":"Reasoning about Change","author":"Shoham","year":"1988","unstructured":"Reasoning about Change, MIT Press, Cambridge, UK, 1988."},{"year":"1987","unstructured":"See also \u201cA semantical approach to non-monotonic logic,\u201d Proc. of the 10th Inter. Joint Conf. on Artificial Intelligence (IJCAI-87), Milano, Italy, 1987, pp. 388\u2013392.","key":"10.1002\/int.4550050405-BIB89.2"},{"author":"Bossu","unstructured":"and , \u201cNonmonotonic reasoning and databases,\u201d Proc. Workshop Logical Bases for Data Bases, Toulouse, France, December 1982.","key":"10.1002\/int.4550050405-BIB90.1"},{"key":"10.1002\/int.4550050405-BIB90.2","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/978-1-4615-9385-0","volume-title":"Advances in Data Bases Theory","author":"Gallaire","year":"1984","unstructured":"In Advances in Data Bases Theory, , and (Eds.), Plenum Press, New York and London, 1984, pp. 239\u2013284."},{"key":"10.1002\/int.4550050405-BIB91","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0004-3702(85)90040-2","volume":"25","author":"Bossu","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050405-BIB92","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0004-3702(86)90029-9","volume":"28","author":"Perlis","year":"1986","journal-title":"Artificial Intelligence"},{"year":"1989","author":"Besnard","unstructured":"\u201cThe completeness problem for first order circumscription,\u201d Proc. AISB Conf., Univ. of Sussex, April 17-21, 1989, pp. 71\u201378.","key":"10.1002\/int.4550050405-BIB93.1"},{"key":"10.1002\/int.4550050405-BIB93.2","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0004-3702(89)90029-5","volume":"39","year":"1989","journal-title":"Artificial Intelligence"},{"year":"1987","author":"Siegel","unstructured":"\u201cRepr\u00e9sentation et utilisation de la connaissance en calcul propositionnel,\u201d Th\u00e8se de Doctorat d'Etat en Informatique, Univ. d'Aix-Marseille II, France, Juillet 1987.","key":"10.1002\/int.4550050405-BIB94"},{"key":"10.1002\/int.4550050405-BIB95","first-page":"41","volume":"2","author":"Jeannicot","year":"1988","journal-title":"Revue d'Intelligence Artificielle (Herm\u00e8s)"},{"key":"10.1002\/int.4550050405-BIB96","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0004-3702(85)90055-4","volume":"27","author":"Lifschitz","year":"1985","journal-title":"Artificial Intelligence"},{"year":"1987","author":"Etherington","unstructured":"\u201cRelating default logic and circumscription,\u201d Proc. 10th Inter. Joint Conf. on Artificial Intelligence (IJCAI 87), Milano, Italy, 1987, pp. 489\u2013494.","key":"10.1002\/int.4550050405-BIB97"},{"year":"1988","author":"Moinard","unstructured":"\u201cPredicate completion is equivalent to pointwise circumscription (sometimes),\u201d Proc. Inter. Conf. on Logic Programming, Seattle, WA, 1988, pp. 1097\u20131105.","key":"10.1002\/int.4550050405-BIB98"},{"year":"1982","author":"Reiter","unstructured":"\u201cCircumscription implies predicate completion (sometimes),\u201d Proc. National Conf. on Artificial Intelligence (AAAI-82), Pittsburgh, PA, 1982, pp. 418\u2013420.","key":"10.1002\/int.4550050405-BIB99"},{"key":"10.1002\/int.4550050405-BIB100","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(89)90068-4","volume":"38","author":"Gelfond","year":"1989","journal-title":"Artificial Intelligence"},{"year":"1989","author":"Konolige","unstructured":"\u201cOn the relation between autoepistemic and circumscription, (Preliminary Report)\u201d, Proc. of the 11th Inter. Joint Conf. on Artificial Intelligence (IJCAI-89), Detroit, MI, 1989, pp. 1213\u20131218.","key":"10.1002\/int.4550050405-BIB101"},{"year":"1988","author":"Besnard","unstructured":"and , \u201cA framework for logics of \u2018suppose\u2019 and \u2018admit\u2019,\u201d Europ. Workshop on Logical Methods in Artificial Intelligence (JELIA 88), Roscoff, France, June 1988, pp. 65\u201368 (available from LIUC, Univ. of Caen, France). See also \u201cSupposition-based logic for automated nonmonotonic reasoning,\u201d Proc. of the 9th Conf. on Automated Deduction, Argonne, IL, May 1988, pp. 592\u2013601.","key":"10.1002\/int.4550050405-BIB102"},{"year":"1990","author":"Siegel","unstructured":"\u201cA modal language for non-monotonic logic,\u201d Workshop on Nonmonotonic Reasoning (Esprit Bas. Res. Action DRUMS : Defeasible Reasoning and Uncertainty Management Systems), Marseille, Feb. 24-28, 1990.","key":"10.1002\/int.4550050405-BIB103"},{"key":"10.1002\/int.4550050405-BIB104","first-page":"205","volume":"6","author":"Pawlak","year":"1981","journal-title":"Int. J. Comp. Inform. Scien."},{"key":"10.1002\/int.4550050405-BIB105","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1016\/S0020-7373(84)80022-X","volume":"20","author":"Pawlak","year":"1984","journal-title":"Int. J. Man-Machine Studies"},{"key":"10.1002\/int.4550050405-BIB106","first-page":"98","volume-title":"Studies in Logical Theory","author":"Stalnaker","year":"1968","unstructured":"\u201cA theory of conditionals,\u201d In Studies in Logical Theory, (Ed.), Basil Blackwell, Oxford, UK, 1968, pp. 98\u2013112."},{"key":"10.1002\/int.4550050405-BIB107","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0004-3702(87)90053-1","volume":"33","author":"Delgrande","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050405-BIB108","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0004-3702(88)90079-3","volume":"36","author":"Delgrande","year":"1988","journal-title":"Artificial Intelligence"},{"year":"1984","author":"Nute","unstructured":"\u201cNon-monotonic reasoning and conditionnals,\u201d ACMC Research Report (Univ. of Georgia) no 01-0002, 1984.","key":"10.1002\/int.4550050405-BIB109"},{"key":"10.1002\/int.4550050405-BIB110","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0167-9236(88)90100-5","volume":"4","author":"Nute","year":"1988","journal-title":"Decision Support Systems"},{"year":"1981","author":"Orlowska","unstructured":"and , \u201cExpressive power of knowledge representation systems,\u201d Institute of Computer Science, Polish Academy of Sciences, Warsaw, Report 432, 1981.","key":"10.1002\/int.4550050405-BIB111"},{"key":"10.1002\/int.4550050405-BIB112","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(84)90010-0","volume":"29","author":"Orlowska","year":"1984","journal-title":"Theoretical Computer Science"},{"key":"10.1002\/int.4550050405-BIB113","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0304-3975(85)90046-5","volume":"36","author":"Fari\u00f1as del Cerro","year":"1985","journal-title":"Theoretical Computer Science"},{"key":"10.1002\/int.4550050405-BIB114","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF02121785","volume":"14","author":"L\u00f8s","year":"1963","journal-title":"Studia Logica"},{"key":"10.1002\/int.4550050405-BIB115","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/S0049-237X(08)71506-4","volume-title":"Sets, Models and Recursion Theory","author":"Fenstad","year":"1967","unstructured":"\u201cRepresentations of probabilities defined on first order languages,\u201d In Sets, Models and Recursion Theory, (Ed.), North-Holland, Amsterdam, the Netherland, 1967, pp. 156\u2013172."},{"year":"1950","author":"Carnap","unstructured":"Logical Foundations of Probability, Routledge & Kegan Paul, London, U. K., 1950.","key":"10.1002\/int.4550050405-BIB116"},{"key":"10.1002\/int.4550050405-BIB117","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"3","author":"Van Emden","year":"1986","journal-title":"J. of Logic Programming"},{"year":"1987","author":"Subrahmanian","unstructured":"\u201cTowards a theory of evidential reasoning in logic programming,\u201d Logic Colloquium'87 (Europ. Summer Meeting of the Association of Symbolic Logic), Granada, Spain, 1987.","key":"10.1002\/int.4550050405-BIB118"},{"key":"10.1002\/int.4550050405-BIB119","first-page":"1036","volume-title":"Proc. 5th Inter. Conf.\/Symp. on Logic Programming","author":"Subrahmanian","year":"1988","unstructured":"\u201cIntuitive semantics for quantitative rule sets,\u201d Proc. 5th Inter. Conf.\/Symp. on Logic Programming, and (Eds.), MIT Press, Cambridge, MA, 1988, pp. 1036\u20131053."},{"key":"10.1002\/int.4550050405-BIB120","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"Shafer","year":"1976","unstructured":"A Mathematical Theory of Evidence, Princeton Univ. Press, Princeton, NJ, 1976."},{"year":"1986","author":"Duval","unstructured":"and , \u201cAutomated deduction in an uncertain and inconsistent data basis,\u201d Proc. of the 7th Europ. Conf. on Artificial Intelligence (ECAI'86), Brighton, July 21-25, 1986, pp. 101\u2013108.","key":"10.1002\/int.4550050405-BIB121"},{"key":"10.1002\/int.4550050405-BIB122","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","volume":"1","author":"Zadeh","year":"1978","journal-title":"Fuzzy Sets and Systems"},{"year":"1988","author":"Dubois","unstructured":"and (with the collaboration of Farreny H., Martin-Clouaire R., and Testemale C.), Th\u00e9orie des Possibilit\u00e9s - Applications \u00e0 la Repr\u00e9sentation des Connaissances en Informatique, Masson, Paris (1st edition, 1985; 2nd revised and augmented edition, 1987). English version: Possibility Theory - an Approach to Computerized Processing of Uncertainty, Plenum Press, New York, 1988.","key":"10.1002\/int.4550050405-BIB123"},{"key":"10.1002\/int.4550050405-BIB124","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1108\/eb005612","volume":"11","author":"Cayrol","year":"1982","journal-title":"Kybernetes"},{"key":"10.1002\/int.4550050405-BIB125","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1109\/TSMC.1987.4309063","volume":"17","author":"Dubois","year":"1987","journal-title":"IEEE Trans. on Systems, Man and Cybernetics"},{"key":"10.1002\/int.4550050405-BIB126","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"Nilsson","year":"1986","journal-title":"Artificial Intelligence"},{"year":"1988","author":"Dubois","unstructured":", and , \u201cAdvances in automated reasoning using possibilistic logic,\u201d Extended abstract, Preprints of Europ. Workshop on Logical Methods in Artificial Intelligence (JELIA 88), Roscoff, France, June 27-30, 1988, pp. 95\u201399 (available from LIUC, Univ. of Caen, France). Augmented version in Tech. Report, n\u00b0 304 (LSI, Univ. P. Sabatier, Toulouse, France), 1988.","key":"10.1002\/int.4550050405-BIB127"},{"key":"10.1002\/int.4550050405-BIB128","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0888-613X(90)90006-N","volume":"4","author":"Dubois","year":"1990","journal-title":"Int. J. of Approximate Reasoning"},{"key":"10.1002\/int.4550050405-BIB129","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0004-3702(88)90014-8","volume":"35","author":"Dubois","year":"1988","journal-title":"Artificial Intelligence"},{"year":"1987","author":"Dubois","unstructured":", and , \u201cTheorem proving under uncertainty - A possibility theory-based approach,\u201d Proc. of the 10th Inter. Joint Conf. on Artificial Intelligence (IJCAI-87), Milano, Italy, 1987, pp. 984\u2013986.","key":"10.1002\/int.4550050405-BIB130"},{"key":"10.1002\/int.4550050405-BIB131.1","volume":"7","author":"De Finetti","year":"1937","journal-title":"Ann. Inst. H. Poincar\u00e9"},{"key":"10.1002\/int.4550050405-BIB131.2","first-page":"95","volume-title":"Studies in Subjective Probability","author":"Kyburg","year":"1937","unstructured":"translated by H. Kyburg Jr., in Studies in Subjective Probability, and (Eds.), Wiley, New York, 1937, pp. 95\u2013158."},{"key":"10.1002\/int.4550050405-BIB132","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/B978-0-444-70058-2.50023-1","volume-title":"Uncertainty in Artificial Intelligence","author":"Grosof","year":"1986","unstructured":"\u201cAn inequality paradigm for probabilistic knowledge - the logic of conditional probability intervals,\u201d In Uncertainty in Artificial Intelligence, and (Eds.), North-Holland, Amsterdam, the Netherland, 1986, pp. 259\u2013275."},{"key":"10.1002\/int.4550050405-BIB133","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/BF00485053","volume":"30","author":"Adams","year":"1975","journal-title":"Synthese"},{"key":"10.1002\/int.4550050405-BIB134","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/3-540-18579-8_6","volume-title":"Uncertainty in Knowledge-Based Systems","author":"Dubois","year":"1987","unstructured":"and , \u201cThe principle of minimum specificity as a basis for evidential reasoning,\u201d In Uncertainty in Knowledge-Based Systems, and (Eds.), Proc. Inter. Conf. Inform. Proces. & Management of Uncertainty in Knowledge-Based Systems, Paris, Springer-Verlag, New York, 1987, pp. 75\u201384."},{"year":"1985","author":"Yager","unstructured":"\u201cReasoning with uncertainty for expert systems,\u201d Proc. of the 9th Inter. Joint Conf. on Artificial Intelligence (IJCAI 85), Los Angeles, CA, August 18-23, 1985, pp. 1295\u20131297.","key":"10.1002\/int.4550050405-BIB135"},{"key":"10.1002\/int.4550050405-BIB136","first-page":"67","volume":"1","author":"Chatalic","year":"1987","journal-title":"Int. J. of Expert Systems, Research and Applications"},{"key":"10.1002\/int.4550050405-BIB137","first-page":"81","volume":"5","author":"Zadeh","year":"1984","journal-title":"The AI Magazine"},{"key":"10.1002\/int.4550050405-BIB138","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"Zadeh","year":"1965","journal-title":"Information and Control"},{"key":"10.1002\/int.4550050405-BIB139","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF00485654","volume":"19","author":"Goguen","year":"1969","journal-title":"Synthese"},{"key":"10.1002\/int.4550050405-BIB140","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/BF00413469","volume":"44","author":"Baldwin","year":"1980","journal-title":"Synthese"},{"key":"10.1002\/int.4550050405-BIB141","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19790250304","volume":"25","author":"Pavelka","year":"1979","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"key":"10.1002\/int.4550050405-BIB142","doi-asserted-by":"crossref","first-page":"851","DOI":"10.2307\/2274139","volume":"49","author":"Takeuti","year":"1984","journal-title":"J. of Symbolic Logic"},{"key":"10.1002\/int.4550050405-BIB143","first-page":"149","volume-title":"Machine Intelligence 9","author":"Zadeh","year":"1979","unstructured":"\u201cA theory of approximate reasoning,\u201d In Machine Intelligence 9, , and (Eds.), Elsevier, 1979, pp. 149\u2013194."},{"key":"10.1002\/int.4550050405-BIB144","doi-asserted-by":"crossref","first-page":"1182","DOI":"10.1109\/TC.1977.1674779","volume":"26","author":"Mamdani","year":"1977","journal-title":"IEEE Trans. on Computers"},{"key":"10.1002\/int.4550050405-BIB145","doi-asserted-by":"crossref","first-page":"636","DOI":"10.1109\/TSMC.1984.6313337","volume":"14","author":"Yager","year":"1984","journal-title":"IEEE Trans. on Systems, Man & Cybernetics"},{"key":"10.1002\/int.4550050405-BIB146","first-page":"157","volume-title":"Approximate Reasoning in Expert Systems","author":"Trillas","year":"1985","unstructured":"and , \u201cOn mode and implication in approximate reasoning,\u201d In Approximate Reasoning in Expert Systems, , , and (Eds.), North-Holland, Amsterdam, the Netherlands, 1985, pp. 157\u2013166."},{"key":"10.1002\/int.4550050405-BIB147","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1080\/01969728408927749","volume":"15","author":"Dubois","year":"1984","journal-title":"Cybernetics & Systems"},{"key":"10.1002\/int.4550050405-BIB148","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/321679.321688","volume":"19","author":"Lee","year":"1972","journal-title":"J. of the Association for Computing Machinery"},{"year":"1985","author":"Giles","unstructured":"\u201cResolution logic for fuzzy reasoning,\u201d Proc. of the 15th IEEE Inter. Symp. for Multiple-Valued Logic, Kingston, Ontario, BC, 1985, pp. 60\u201367.","key":"10.1002\/int.4550050405-BIB149"},{"key":"10.1002\/int.4550050405-BIB150","first-page":"29","volume":"2","author":"Prade","year":"1988","journal-title":"Revue d'Intelligence Artificielle"},{"year":"1989","author":"Dubois","unstructured":"and , \u201cA typology of fuzzy\u201d if\u2026 then\u2026 \u201crules,\u201d Proc. of the 3rd Inter. Fuzzy Systems Association (IFSA) Congress, Seattle, WA, Aug. 6-11, 1989, pp. 782\u2013785.","key":"10.1002\/int.4550050405-BIB151"},{"year":"1989","author":"Dubois","unstructured":", and , \u201cAutomated reasoning using possibilistic logic: semantics, belief revision and variable certainty weights,\u201d Preprints of the 5th Workshop on Uncertainty in Artificial Intelligence, Windsor, Ontario, Aug. 18-20, 1989, pp. 81\u201387. Also in: Tech. Report IRIT\/90-2\/R (IRIT, Univ. P. Sabatier, Toulouse, France), 1990.","key":"10.1002\/int.4550050405-BIB152"},{"key":"10.1002\/int.4550050405-BIB153","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(87)90083-X","volume":"31","author":"Yager","year":"1987","journal-title":"Artificial Intelligence"},{"year":"1985","author":"Prade","unstructured":"\u201cReasoning with fuzzy default values,\u201d Proc. of the Inter. Symp. on Multiple-Valued Logic, Kingston, Ontario, 1985, pp. 191\u2013197.","key":"10.1002\/int.4550050405-BIB154"},{"key":"10.1002\/int.4550050405-BIB155","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1080\/03081078808935007","volume":"14","author":"Yager","year":"1988","journal-title":"Int. J. of General Systems"},{"key":"10.1002\/int.4550050405-BIB156","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1016\/S0020-7373(88)80074-9","volume":"29","author":"Yager","year":"1988","journal-title":"Int. J. Man-Machine Studies"},{"key":"10.1002\/int.4550050405-BIB157","doi-asserted-by":"crossref","first-page":"754","DOI":"10.1109\/TSMC.1985.6313459","volume":"15","author":"Zadeh","year":"1985","journal-title":"IEEE Trans. on Systems, Man and Cybernetics"},{"key":"10.1002\/int.4550050405-BIB158","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/0270-0255(87)90506-9","volume":"9","author":"Rapoport","year":"1987","journal-title":"Mathematical Modelling"},{"key":"10.1002\/int.4550050405-BIB159","first-page":"213","volume-title":"Non-Standard Logics for Automated Reasoning","author":"Paass","year":"1988","unstructured":"\u201cProbabilistic logic,\u201d In Non-Standard Logics for Automated Reasoning, , , and (Eds.), Academic Press, New York, 1988, pp. 213\u2013251."},{"key":"10.1002\/int.4550050405-BIB160","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1111\/j.1467-8640.1988.tb00120.x","volume":"4","author":"Dubois","year":"1988","journal-title":"Computational Intelligence"},{"key":"10.1002\/int.4550050405-BIB161.1","volume-title":"3rd Polish Symp. on Fuzzy Sets and Interval Analysis in Pure and Applied Mathematics","author":"Dubois","year":"1989","unstructured":", and , \u201cInference with imprecise numerical quantifiers,\u201d 3rd Polish Symp. on Fuzzy Sets and Interval Analysis in Pure and Applied Mathematics, Poznan, Poland, Sept. 20-23, 1989."},{"volume-title":"Intelligent Systems: State of the Art and Future Directions","author":"Ras","unstructured":"to appear in Intelligent Systems: State of the Art and Future Directions, and (Eds.), Ellis Horwood Ltd, Chichester","key":"10.1002\/int.4550050405-BIB161.2"},{"key":"10.1002\/int.4550050405-BIB162","first-page":"241","volume-title":"Analysis of Fuzzy Information - Vol. 3: Applications in Engineering and Science","author":"Dubois","year":"1987","unstructured":"\u201cLinear programming with fuzzy data,\u201d In Analysis of Fuzzy Information - Vol. 3: Applications in Engineering and Science, (Ed.), CRC Press, Boca Raton, FL., 1987, pp. 241\u2013263."},{"key":"10.1002\/int.4550050405-BIB163","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-7622-2","volume-title":"The Logic of Conditionals","author":"Adams","year":"1975","unstructured":"The Logic of Conditionals, D. Reidel, Dordrecht, 1975."},{"key":"10.1002\/int.4550050405-BIB164","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-2175-3","volume-title":"The Logical Foundations of Statistical Inference","author":"Kyburg","year":"1974","unstructured":"The Logical Foundations of Statistical Inference, Reidel, Dordrecht, the Netherland, 1974."},{"key":"10.1002\/int.4550050405-BIB165","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/B978-0-444-70396-5.50029-7","volume-title":"Uncertainty in Artificial Intelligence 2","author":"Kyburg","year":"1988","unstructured":"\u201cKnowledge\u201d, In Uncertainty in Artificial Intelligence 2, and (Eds.), North-Holland, Amsterdam, the Netherland, 1988, pp. 263\u2013272."},{"key":"10.1002\/int.4550050405-BIB166","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/S0020-7373(83)80056-X","volume":"19","author":"Yager","year":"1983","journal-title":"Int. J. Man-Machine Studies"},{"key":"10.1002\/int.4550050405-BIB167","volume-title":"Ifs. Conditionals, Beliefs, Decision, Chance and Time","author":"Harper","year":"1981","unstructured":", and (Eds.), Ifs. Conditionals, Beliefs, Decision, Chance and Time, D. Reidel Dordrecht, the Netherlands, 1981."},{"key":"10.1002\/int.4550050405-BIB168","first-page":"119","volume-title":"Fuzzy Computing","author":"Goodman","year":"1988","unstructured":"and , \u201cConditional objects and the modeling of uncertainties,\u201d In Fuzzy Computing, and (Eds.), North-Holland, Amsterdam, the Netherland, 1988, pp. 119\u2013138."},{"key":"10.1002\/int.4550050405-BIB169","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0888-613X(90)90007-O","volume":"4","author":"Dubois","year":"1990","journal-title":"Int. J. of Approximate Reasoning"},{"key":"10.1002\/int.4550050405-BIB170","first-page":"253","volume-title":"Non-Standard Logics for Automated Reasoning","author":"Smets","year":"1988","unstructured":"\u201cBelief functions,\u201d In Non-Standard Logics for Automated Reasoning, , , and (Eds.), Academic Press, New York, 1988, pp. 253\u2013277."},{"key":"10.1002\/int.4550050405-BIB171","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/B978-0-444-70396-5.50030-3","volume-title":"Uncertainty in Artificial Intelligence 2","author":"Loui","year":"1988","unstructured":"\u201cComputing reference classes,\u201d In Uncertainty in Artificial Intelligence 2, and (Eds.), North-Holland, Amsterdam, the Netherland, 1988, pp. 273\u2013289."},{"key":"10.1002\/int.4550050405-BIB172","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF00485956","volume":"63","author":"Domotor","year":"1985","journal-title":"Synthese"},{"key":"10.1002\/int.4550050405-BIB173","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1093\/comjnl\/26.3.255","volume":"26","author":"Quinlan","year":"1983","journal-title":"The Computer Journal"},{"year":"1983","author":"Cheeseman","unstructured":"\u201cA method of computing generalized Bayesian probability values for expert systems,\u201d Proc. of the 8th Inter. Joint Conf. on Artificial Intelligence (IJCAI-83), Karlsruhe, Germany, Aug. 8-12, 1983, pp. 198\u2013202.","key":"10.1002\/int.4550050405-BIB174"},{"year":"1988","author":"Pearl","unstructured":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann, San Mateo, CA, 1988.","key":"10.1002\/int.4550050405-BIB175"},{"year":"1989","author":"Dubois","unstructured":"and , \u201cMeasure-free conditioning, probability and non-monotonic reasoning,\u201d Proc. of the 11th Inter. Joint Conf. on Artificial Intelligence (IJCAI-89), Detroit, MI, Aug. 20-25, 1989, pp. 1110\u20131114.","key":"10.1002\/int.4550050405-BIB176"},{"key":"10.1002\/int.4550050405-BIB177","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1111\/j.2517-6161.1988.tb01721.x","volume":"50","author":"Lauritzen","year":"1988","journal-title":"J. Roy. Statist. Soc. B"},{"key":"10.1002\/int.4550050405-BIB178","first-page":"854","volume-title":"Encyclopedia of Artificial Intelligence","author":"Bonissone","year":"1987","unstructured":"\u201cPlausible reasoning,\u201d In Encyclopedia of Artificial Intelligence, (Ed.), Wiley, 1987, pp. 854\u2013863."},{"key":"10.1002\/int.4550050405-BIB179","first-page":"85","volume-title":"Analysis of Fuzzy Information - I: Mathematics and Logic","author":"Wierzchon","year":"1987","unstructured":"\u201cAn inference rule based on Sugeno measure,\u201d In Analysis of Fuzzy Information - I: Mathematics and Logic, (Ed.), CRC Press, Boca Raton, FL, 1987, pp. 85\u201396."},{"key":"10.1002\/int.4550050405-BIB180","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/0888-613X(87)90024-7","volume":"1","author":"Shafer","year":"1987","journal-title":"Int. J. of Approximate Reasoning"},{"key":"10.1002\/int.4550050405-BIB181","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0020-0255(85)90015-5","volume":"37","author":"Reggia","year":"1985","journal-title":"Information Sciences"},{"key":"10.1002\/int.4550050405-BIB182","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"Reiter","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050405-BIB183","first-page":"221","volume-title":"Fuzzy Automata and Decision Processes","author":"Sanchez","year":"1977","unstructured":"\u201cSolutions in composite fuzzy relation equations: application to medical diagnosis in Brouwerian logic,\u201d In Fuzzy Automata and Decision Processes, , and (Eds.), North-Holland, Amsterdam, the Netherland, 1977, pp. 221\u2013234."},{"year":"1987","author":"Dubois","unstructured":"and , \u201cUpper and lower images of a fuzzy set induced by a fuzzy relation - A fresh look at fuzzy inference and diagnosis,\u201d In Tech. Report (L. S. I., Univ. P. Sabatier, Toulouse, France), n\u00b0 265, 1987, 36\u201366.","key":"10.1002\/int.4550050405-BIB184"},{"key":"10.1002\/int.4550050405-BIB185","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1002\/int.4550020303","volume":"2","author":"Peng","year":"1987","journal-title":"Int. J. of Intelligent Systems"},{"key":"10.1002\/int.4550050405-BIB186","volume-title":"Le Raisonnement par Analogie, Biblio. Philo. Contemp:","author":"Dorolle","year":"1949","unstructured":"Le Raisonnement par Analogie, Biblio. Philo. Contemp:, P. U. F., Paris, France, 1949."},{"key":"10.1002\/int.4550050405-BIB187","volume-title":"Models and Analogies in Science","author":"Hesse","year":"1963","unstructured":"Models and Analogies in Science, Sheed & Ward, London and New York, 1963. Also Notre Dame University Press, 1966."},{"key":"10.1002\/int.4550050405-BIB188","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1145\/359038.359042","volume":"23","author":"Winston","year":"1980","journal-title":"Communications of the ACM"},{"year":"1981","author":"Carbonell","unstructured":"\u201cA computational model of analogical problem solving,\u201d Proc. 7th. Inter. Joint Conf. on Artificial Intelligence (IJCAI 81), Vancouver, BC, 1981, pp. 147\u2013152.","key":"10.1002\/int.4550050405-BIB189"},{"year":"1987","author":"Ganascia","unstructured":"\u201cAGAPE et CHARADE: deux techniques d'apprentissage symboliques appliqu\u00e9es \u00e0 la construction de bases de connaissance,\u201d Th\u00e8se d'\u00e9tat, Universit\u00e9 de Paris-Sud, Orsay, 1987.","key":"10.1002\/int.4550050405-BIB190"},{"key":"10.1002\/int.4550050405-BIB191","first-page":"87","volume-title":"Approximate Reasoning in Expert Systems","author":"Bourrelly","year":"1985","unstructured":"and , \u201cA formal approach to analogical reasoning,\u201d In Approximate Reasoning in Expert Systems, , , and (Eds.), North-Holland, Amsterdam, the Netherlands, 1985, pp. 87\u2013104."},{"key":"10.1002\/int.4550050405-BIB192","volume-title":"Principles of Database Systems","author":"Ullman","year":"1983","unstructured":"Principles of Database Systems, Computer Science Press, 1983."},{"year":"1987","author":"Davies","unstructured":"and , \u201cA logical approach to reasoning by analogy,\u201d Proc. of the 10th Inter. Joint Conf. on Artificial Intelligence (IJCAI 87), Milano, Italy, August 23-28, 1987, pp. 264\u2013270.","key":"10.1002\/int.4550050405-BIB193"},{"key":"10.1002\/int.4550050405-BIB194","volume-title":"The Use of Knowledge in Analogy and Induction","author":"Russell","year":"1989","unstructured":"The Use of Knowledge in Analogy and Induction, Pitman, London, UK, 1989."},{"year":"1985","author":"Coulon","unstructured":"and , \u201cInf\u00e9rences de nature analogique pour retrouver des informations dans une base de donn\u00e9es textuelles,\u201d Actes Conf. Cognitiva, Paris, France, 4-7 juin 1985, Publ. by CESTA (Paris), pp. 885\u2013891.","key":"10.1002\/int.4550050405-BIB195"},{"year":"1982","author":"Farreny","unstructured":"and , \u201cAbout flexible matching and its use in analogical reasoning,\u201d Proc. Europ. Conf. on Artificial Intelligence, Orsay, France, July 11-14, 1982, pp. 43\u201347.","key":"10.1002\/int.4550050405-BIB196"},{"key":"10.1002\/int.4550050405-BIB197","doi-asserted-by":"crossref","first-page":"1213","DOI":"10.1145\/7902.7906","volume":"29","author":"Stanfill","year":"1986","journal-title":"Communications of the ACM"},{"year":"1988","author":"Collins","unstructured":"and , \u201cThe logic of plausible reasoning: a core theory,\u201d Cognitive Science, (1988).","key":"10.1002\/int.4550050405-BIB198"},{"key":"10.1002\/int.4550050405-BIB199","first-page":"487","volume":"14","author":"Arrazola","year":"1989","journal-title":"Information Sciences"},{"key":"10.1002\/int.4550050405-BIB200","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"Doyle","year":"1979","journal-title":"Artificial Intelligence"},{"year":"1979","author":"Charniak","unstructured":", and , \u201cData dependencies,\u201d In Artificial Intelligence Programming, Lawrence Erlbaum Associate Eds, 1979, pp. 193\u2013225.","key":"10.1002\/int.4550050405-BIB201"},{"year":"1978","author":"McAllester","unstructured":"\u201cA three-valued truth maintenance system,\u201d In Tech. report TR-473, M. I. T., AI Lab, 1978.","key":"10.1002\/int.4550050405-BIB202"},{"key":"10.1002\/int.4550050405-BIB203","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1109\/TPAMI.1983.4767388","volume":"5","author":"McDermott","year":"1983","journal-title":"IEEE Trans. on Pattern Analysis and Machine Intelligence"},{"key":"10.1002\/int.4550050405-BIB204","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0004-3702(77)90029-7","volume":"9","author":"Stallman","year":"1977","journal-title":"Artificial Intelligence"},{"year":"1987","author":"Goodwin","unstructured":"\u201cA theory and system for non-monotonic reasoning,\u201d Ph.D. Thesis, Univ. of Linkoeping, Sweden, 1987.","key":"10.1002\/int.4550050405-BIB205"},{"year":"1986","author":"Brewka","unstructured":"\u201cTweety - still flying: some remarks on abnormal birds, applicable rules and a default prover,\u201d Proc. of the 5th National Conf. on Artificial Intelligence (AAAI-86), Philadelphia, PA, 1986, pp. 8\u201312.","key":"10.1002\/int.4550050405-BIB206"},{"key":"10.1002\/int.4550050405-BIB207","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"Poole","year":"1988","journal-title":"Artificial Intelligence"},{"year":"1987","author":"Morris","unstructured":"\u201cCuring anomalous extensions,\u201d Proc. of the 10th Inter. Joint Conf. on Artificial Intelligence (IJCAI 87), Los Angeles, CA, 1987, pp. 437\u2013442.","key":"10.1002\/int.4550050405-BIB208"},{"key":"10.1002\/int.4550050405-BIB209","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1016\/0004-3702(88)90022-7","volume":"35","author":"Morris","year":"1988","journal-title":"Artificial Intelligence"},{"year":"1986","author":"Hanks","unstructured":"and , \u201cDefault reasoning, non-monotonic logics, and the frame problem,\u201d Proc. of the 5th National Conf. on Artificial Intelligence (AAAI-86), Philadelphia, PA, 1986, pp. 328\u2013333.","key":"10.1002\/int.4550050405-BIB210"},{"author":"Brown","unstructured":"and , \u201cNew results on semantical nonmonotonic reasoning,\u201d In Non-Monotonic Reasoning, M. Reinfranck, J. De Kleer, M. L. Ginsberg, and E. Sandewal (Eds.), Proc. of the 2nd Inter. Workshop, Grassau, FRG, June 13-15, 1988, Lecture Notes in Computer Science n\u00b0 346, Springer-Verlag, Berlin, pp. 19\u201326.","key":"10.1002\/int.4550050405-BIB211"},{"year":"1988","author":"Inou\u00e9","unstructured":"\u201cOn the semantics of hypothetical reasoning and truth maintenance,\u201d In Tech. Report TR-356, ICOT, Japan, 1988.","key":"10.1002\/int.4550050405-BIB212"},{"year":"1988","author":"Brown","unstructured":"\u201cLogics of justified belief,\u201d Proc. 9th Europ. Conf. on Artificial Intelligence, Munich, Germany, 1988, pp. 507\u2013512.","key":"10.1002\/int.4550050405-BIB213"},{"year":"1989","author":"Reinfrank","unstructured":", and , \u201cOn the relation between truth maintenance and autoepistemic logic,\u201d Proc. Inter. Joint Conf. on Artificial Intelligence (IJCAI-89), Detroit, 1989, 1206\u20131212.","key":"10.1002\/int.4550050405-BIB214"},{"year":"1989","author":"Fujiwara","unstructured":"and , \u201cRelating the TMS to autoepistemic logic,\u201d Proc. of Inter, Joint Conf. on Artificial Intelligence (IJCAI-89), Detroit, 1989, 1199\u20131205.","key":"10.1002\/int.4550050405-BIB215"},{"year":"1984","author":"De Kleer","unstructured":"\u201cChoices without backtracking,\u201d Proc. of the Amer. Assoc. for Artificial Intelligence Conf. (AAAI-84), Austin, 1984, pp. 79\u201385.","key":"10.1002\/int.4550050405-BIB216"},{"key":"10.1002\/int.4550050405-BIB217","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"De Kleer","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050405-BIB218","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0004-3702(86)90081-0","volume":"28","author":"De Kleer","year":"1986","journal-title":"Artificial Intelligence"},{"year":"1986","author":"De Kleer","unstructured":"and , \u201cBack to backtracking: controlling the ATMS,\u201d Proc. of the 5th National Conf. on Artificial Intelligence (AAAI-86), Philadelphia, PA, 1986, pp. 910\u2013917.","key":"10.1002\/int.4550050405-BIB219"},{"year":"1985","author":"Finger","unstructured":"and , \u201cRESIDUE: a deductive approach to design synthesis,\u201d T-R STAN-CS-85-1035, Stanford University, Stanford, CA, 1985.","key":"10.1002\/int.4550050405-BIB220"},{"key":"10.1002\/int.4550050405-BIB221.1","first-page":"85","volume-title":"Proc. of the 8th Workshop on Expert Systems and Their Applications, Avignon","volume":"3","author":"Cayrol","year":"1988","unstructured":"and , \u201cExploitation de la m\u00e9thode du consensus dans les ATMS: la r\u00e9solution CAT-correcte,\u201d Proc. of the 8th Workshop on Expert Systems and Their Applications, Avignon, 1988, Vol. 3, pp. 85\u201399. Published by EC2, Nanterre, France)."},{"year":"1989","unstructured":"See also \u201cARC: un ATMS bas\u00e9 sur la r\u00e9solution CAT-correcte,\u201d Revue d'Intelligence Artificielle (Herm\u00e8s, Paris), 3(3), 19\u201339 (1989).","key":"10.1002\/int.4550050405-BIB221.2"},{"year":"1988","author":"Dressler","unstructured":"\u201cExtending the basic ATMS,\u201d Proc. 9th Europ. Conf. on Artificial Intelligence, Munich, Germany, 1988, pp. 535\u2013540.","key":"10.1002\/int.4550050405-BIB222"},{"year":"1988","author":"Freitag","unstructured":"and , \u201cA non-monotonic deduction system based on (A)TMS,\u201d Proc. 9th Europ. Conf. on Artificial Intelligence, Munich, Germany, 1988, pp. 601\u2013606.","key":"10.1002\/int.4550050405-BIB223"},{"year":"1987","author":"Reiter","unstructured":"and , \u201cFoundations of assumption-based truth maintenance system: preliminary report,\u201d Proc. of Amer. Assoc. for Artificial Intelligence Conf. (AAAI-87), Seattle, WA, 1987, pp. 183\u2013188.","key":"10.1002\/int.4550050405-BIB224"},{"year":"1987","author":"Cordier","unstructured":"\u201cUnification contextuelle et raisonnement hypoth\u00e9tique,\u201d Actes 6\u00e8me Congr\u00e8s AFCET-INRIA Reconnaissances des Formes et Artificial Intelligence,\u201d Antibes, France, 1987, pp. 787\u2013795.","key":"10.1002\/int.4550050405-BIB225"},{"year":"1988","author":"Cordier","unstructured":"\u201cSHERLOCK: hypothetical reasoning in an expert system shell,\u201d Proc. of the 9th Europ. Conf. on Artificial Intelligence, Munich, Germany, 1988, pp. 486\u2013491.","key":"10.1002\/int.4550050405-BIB226"},{"year":"1988","author":"Inou\u00e9","unstructured":"\u201cProblem solving with hypothetical reasoning,\u201d In Tech. Report TR-379, ICOT, Japan, May 1988.","key":"10.1002\/int.4550050405-BIB227"},{"year":"1983","author":"Martins","unstructured":"and , \u201cReasoning in multiple belief spaces,\u201d Proc. of the 8th Inter. Joint Conf. on Artificial Intelligence (IJCAI-83), Karlsruhe, Germany, 1983, pp. 370\u2013373.","key":"10.1002\/int.4550050405-BIB228"},{"key":"10.1002\/int.4550050405-BIB229","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(88)90031-8","volume":"35","author":"Martins","year":"1988","journal-title":"Artificial Intelligence"},{"year":"1986","author":"Cox","unstructured":"and , \u201cCauses for events: their computation and applications,\u201d Proc. of the 8th Inter. Conf. on Automated Deduction, Oxford, U. K., 1986, pp. 608\u2013621.","key":"10.1002\/int.4550050405-BIB230"},{"key":"10.1002\/int.4550050405-BIB231","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/0004-3702(88)90085-9","volume":"36","author":"Shoham","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050405-BIB232","first-page":"105","volume-title":"The Frame Problem in Artificial Intelligence (Proc. of the 1987 Workshop)","author":"McDermott","year":"1987","unstructured":"\u201cArtificial intelligence, logic and the frame problem,\u201d In The Frame Problem in Artificial Intelligence (Proc. of the 1987 Workshop), (Ed.), Morgan Kaufmann Publ. Inc., Los Altos, CA, 1987, pp. 105\u2013118."},{"key":"10.1002\/int.4550050405-BIB233","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","volume":"35","author":"Ginsberg","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050405-BIB234","first-page":"463","volume-title":"Machine Intelligence 4","author":"McCarthy","year":"1969","unstructured":"and , \u201cSome philosophical problems from the standpoint of artificial intelligence,\u201d In Machine Intelligence 4, and (Eds.), Edinburgh University Press, Edinburgh, Scotland, 1969, pp. 463\u2013502."},{"key":"10.1002\/int.4550050405-BIB235","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"Hanks","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050405-BIB236","first-page":"495","volume-title":"Machine Intelligence, 6","author":"Hayes","year":"1971","unstructured":"\u201cA logic of actions,\u201d Machine Intelligence, 6, 495\u2013520. , eds., Edinburgh Univ. Press, Scotland, 1971."},{"key":"10.1002\/int.4550050405-BIB237","volume-title":"Artificial and Human Thinking","author":"Hayes","year":"1973","unstructured":"\u201cThe frame problem and related problems in artificial intelligence,\u201d In Artificial and Human Thinking, and (Eds.), Josey-Bass, San Francisco, CA, 1973."},{"key":"10.1002\/int.4550050405-BIB238","volume-title":"Machine Intelligence 7","author":"Sandewall","year":"1972","unstructured":"\u201cAn approach to the frame problem and its implementation,\u201d In Machine Intelligence 7, and (Eds.), Edinburgh Univ. Press, Edinburgh, Scotland, 1972."},{"key":"10.1002\/int.4550050405-BIB239","volume-title":"The Frame Problem in Artificial Intelligence (Proc. of the 1987 Workshop","author":"Brown","year":"1987","unstructured":"(Ed.), The Frame Problem in Artificial Intelligence (Proc. of the 1987 Workshop), Morgan Kaufmann, Los Altos, CA, 1987."},{"key":"10.1002\/int.4550050405-BIB240","first-page":"159","volume-title":"The Frame Problem in Artificial Intelligence (Proc. of the 1987 Workshop)","author":"Brown","year":"1987","unstructured":"and , \u201cAction, reflective possibility, and the frame problem,\u201d In The Frame Problem in Artificial Intelligence (Proc. of the 1987 Workshop), (Ed.), Morgan Kaufmann, Los Altos, CA, 1987, pp. 159\u2013174."},{"key":"10.1002\/int.4550050405-BIB241","first-page":"121","volume-title":"The Frame Problem in Artificial Intelligence (Proc. of the 1987 Workshop)","author":"Schwind","year":"1987","unstructured":"\u201cAction theory and the frame problem,\u201d In The Frame Problem in Artificial Intelligence (Proc. of the 1987 Workshop), (Ed.), Morgan Kaufmann Publ., 1987, pp. 121\u2013134."},{"key":"10.1002\/int.4550050405-BIB242","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(88)90020-3","volume":"35","author":"Ginsberg","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050405-BIB243","volume-title":"The Frame Problem in Artificial Intelligence (Proc. of the 1987 Workshop)","author":"Georgeff","year":"1987","unstructured":"\u201cMany agents are better than one,\u201d In The Frame Problem in Artificial Intelligence (Proc. of the 1987 Workshop), (Ed.), Morgan Kaufmann Publ. Inc., Los Altos, CA, 1987."},{"year":"1987","author":"Lifschitz","unstructured":"\u201cFormal theories of action,\u201d Proc. of the 10th Inter. Joint Conf. on Artificial Intelligence (IJCAI 87), Milano, Italy, 1987, pp. 966\u2013972.","key":"10.1002\/int.4550050405-BIB244"},{"year":"1988","author":"Schwind","unstructured":"\u201cA tense logic based theory of actions,\u201d Report GRTC\/208, GRTC-CNRS, Marseille, France, 1988.","key":"10.1002\/int.4550050405-BIB245"},{"key":"10.1002\/int.4550050405-BIB246","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"Kripke","year":"1963","journal-title":"Zeitschr. f. Math. Logik u. Grundl. d. Math."},{"key":"10.1002\/int.4550050405-BIB247","first-page":"83","volume":"16","author":"Kripke","year":"1963","journal-title":"Acta Philosophica Fennica"},{"year":"1988","author":"Lafon","unstructured":"and , \u201cA theorem prover for action performance,\u201d Proc. of Europ. Conf. on Artificial Intelligence (ECAI 88), M\u00fcnchen, Germany, 1988, pp. 541\u2013546.","key":"10.1002\/int.4550050405-BIB248"},{"year":"1985","author":"Schwind","unstructured":"\u201cUn d\u00e9monstrateur de th\u00e9or\u00e8mes pour des logiques modales et temporelles en PROLOG,\u201d Actes 5\u00e8me Congr\u00e9s Reconnaissance des Formes et Intelligence Artificielle, Grenoble, France, 1985, pp. 897\u2013913. English version: \u201cA PROLOG theorem prover for temporal and modal logic\u201d, In Research Report LISH\/386, Marseille, France, Jan. 1984.","key":"10.1002\/int.4550050405-BIB249"},{"key":"10.1002\/int.4550050405-BIB250","first-page":"309","volume":"18","author":"Beth","year":"1955","journal-title":"Medelingen van de Koninklijke Nederlandse Akademie van Uetenschappen"},{"key":"10.1002\/int.4550050405-BIB251","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First Order Logic","author":"Smullyan","year":"1968","unstructured":"First Order Logic, Springer-Verlag, New York, 1968."},{"key":"10.1002\/int.4550050405-BIB252","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0004-3702(89)90059-3","volume":"38","author":"Lifschitz","year":"1989","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050405-BIB253","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"Alchourron","year":"1985","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1002\/int.4550050405-BIB254","first-page":"83","volume-title":"Proc. of the 2nd Conf. on Theoretical Aspect of Reasoning about Knowledge, M. Y. Vardi (Ed.)","author":"G\u00e4rdenfors","year":"1988","unstructured":"and , \u201cRevision of knowledge system using epistemic entrenchment,\u201d Proc. of the 2nd Conf. on Theoretical Aspect of Reasoning about Knowledge, M. Y. Vardi (Ed.), Morgan Kaufmann, Los Altos, CA, 1988, pp. 83\u201397."},{"year":"1990","author":"Dubois","unstructured":"and , \u201cEpistemic entrenchment and possibilistic logic,\u201d In Tech. Report IRIT\/90-2\/R (Univ. P. Sabatier, Toulouse, France), 1990.","key":"10.1002\/int.4550050405-BIB255"},{"key":"10.1002\/int.4550050405-BIB256","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"G\u00e4rdenfors","year":"1988","unstructured":"Knowledge in Flux: Modeling the Dynamics of Epistemic States, MIT Press, Cambridge, MA, 1988."},{"key":"10.1002\/int.4550050405-BIB257","volume-title":"On the logic of small changes in theories","author":"Segerberg","year":"1986","unstructured":"\u201cOn the logic of small changes in theories,\u201d Auckland Philo papers, Auckland Univ., New Zealand, 1986."},{"year":"1990","author":"Moreau","journal-title":"Journal of Philosophical Logic","key":"10.1002\/int.4550050405-BIB258"},{"key":"10.1002\/int.4550050405-BIB259","first-page":"1","volume":"2 4","year":"1984","journal-title":"Artificial Intelligence"},{"year":"1988","author":"Kayser","unstructured":"\u201cLe raisonnement \u00e0 profondeur variable,\u201d Actes des 2\u00e8mes Journ\u00e9es Nationales du PRC-GRECO Intelligence Artificielle, Toulouse, France, 14-15 mars 1988, pp. 109\u2013136.","key":"10.1002\/int.4550050405-BIB260"},{"key":"10.1002\/int.4550050405-BIB261","volume-title":"Entailment - the Logic of Relevance and Necessity","author":"Anderson","year":"1975","unstructured":"and , Entailment - the Logic of Relevance and Necessity, Princeton University Press, Princeton, NJ, 1975."},{"year":"1988","author":"Thistlewaite","unstructured":", and , Automated Theorem Poving in Non-Classical Logics, Pitman, 1988.","key":"10.1002\/int.4550050405-BIB262"},{"key":"10.1002\/int.4550050405-BIB263","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"14","author":"Da Costa","year":"1974","journal-title":"Notre Dame Journal of Formal Logics"},{"year":"1988","author":"Carnielli","unstructured":"and , \u201cReasoning under inconsistent knowledge,\u201d Report Universit\u00e9 de Campinas, Brazil, 1988.","key":"10.1002\/int.4550050405-BIB264"},{"key":"10.1002\/int.4550050405-BIB265","volume-title":"Th\u00e9orie Dialectique des Probabilit\u00e9s Englobant leurs Calculs Classique et Quantique","author":"Bodiou","year":"1964","unstructured":"Th\u00e9orie Dialectique des Probabilit\u00e9s Englobant leurs Calculs Classique et Quantique, Gauthier-Villars & Cie, Paris, 1964."},{"year":"1979","author":"Sallantin","unstructured":"\u201cRepr\u00e9sentation d'observations dans le contexte de la th\u00e9orie de l'information,\u201d Th\u00e8se d'Etat, Universit\u00e9 Pierre et Marie Curie, Paris, 1979.","key":"10.1002\/int.4550050405-BIB266"},{"key":"10.1002\/int.4550050405-BIB267","first-page":"287","volume-title":"Non-Standard Logics for Automated Reasoning","author":"Dubois","year":"1988","unstructured":"and , \u201cAn introduction to possibilistic and fuzzy logics (with discussions and a reply),\u201d In Non-Standard Logics for Automated Reasoning, , , and (Eds.), Academic Press, New York and London, 1988, pp. 287\u2013326"},{"year":"1988","author":"Neufeld","unstructured":"and , \u201cProbabilistic semantics and defaults,\u201d Proc. 4th AAAI Workshop on Uncertainty in Artificial Intelligence, Minneapolis, MN, 1988, pp. 275\u2013282.","key":"10.1002\/int.4550050405-BIB268"},{"year":"1990","author":"Froidevaux","unstructured":"and , \u201cGraded default theories for uncertainty,\u201d Proc. of the Europ. Conf. on Artificial Intelligence (ECAI-90), Stockholm, Sweden, August 1990.","key":"10.1002\/int.4550050405-BIB269"},{"key":"10.1002\/int.4550050405-BIB270","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0888-613X(88)90004-7","volume":"2","author":"D'Ambrosio","year":"1988","journal-title":"Int. J. of Approximate Reasoning"},{"year":"1988","author":"Laskey","unstructured":"and , \u201cBelief maintenance; an integrated approach to uncertainty management,\u201d Proc. of the 7th Nat. Conf. of Amer. for Artificial Intelligence, Saint Paul, MN, Aug. 21-26, 1988, pp. 210\u2013214.","key":"10.1002\/int.4550050405-BIB271"},{"year":"1989","author":"Provan","unstructured":"\u201cAn analysis of ATMS-based techniques for computing Dempster-Shafer belief functions,\u201d Proc. of the 9th Joint Conf. on Artificial Intelligence (IJCAI-89), Detroit, Aug. 20-25, 1989, pp. 1115\u20131120.","key":"10.1002\/int.4550050405-BIB272"},{"year":"1990","author":"Dubois","unstructured":", and , \u201cHandling uncertain knowledge in an ATMS using possibilistic logic,\u201d to appear in Proc. of the 5th Inter. Symp. on Methodologies for Intelligent Systems, Knowville, Tennessee, Oct. 25-27, 1990, North-Holland.","key":"10.1002\/int.4550050405-BIB273"},{"year":"1990","author":"Makinson","unstructured":"and , \u201cRelations between the logic of theory change and nonmonotonic logic,\u201d Report of RP2 1st Workshop on Defeasible Reasoning and Uncertainty Management Systems (DRUMS), Albi, France, April 26-28, 1990 (available from IRIT, Univ. P. Sabatier, Toulouse, France).","key":"10.1002\/int.4550050405-BIB274"},{"key":"10.1002\/int.4550050405-BIB275","first-page":"365","volume":"4 1","author":"Bell","year":"1989\/90","journal-title":"Artificial Intelligence"}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fint.4550050405","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/int.4550050405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T21:50:34Z","timestamp":1737237034000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/int.4550050405"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,9]]},"references-count":282,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1990,9]]}},"URL":"https:\/\/doi.org\/10.1002\/int.4550050405","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"type":"print","value":"0884-8173"},{"type":"electronic","value":"1098-111X"}],"subject":[],"published":{"date-parts":[[1990,9]]}}}