{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:43:25Z","timestamp":1749725005232,"version":"3.30.2"},"reference-count":64,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1995,1,1]]},"DOI":"10.1305\/ndjfl\/1040308829","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:33:01Z","timestamp":1046208781000},"source":"Crossref","is-referenced-by-count":10,"title":["Belief Revision, Conditional Logic and Nonmonotonic Reasoning"],"prefix":"10.1215","volume":"36","author":[{"given":"Wayne","family":"Wobcke","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Alchourr\u00f3n, C. E., P. G\u00e4rdenfors and D. Makinson, ``On the logic of theory change: partial meet contraction and revision functions,'' <i>The Journal of Symbolic Logic<\/i>, vol. 50 (1985), pp. 510--530.","DOI":"10.2307\/2274239"},{"key":"2","unstructured":"[2] Arlo-Costa, H. L., and S. J. Shapiro, ``Maps between nonmonotonic and conditional logic,'' pp. 553--564 in <i>Proceedings of the Third International Conference on Principles of Knowledge, Representation, and Reasoning<\/i>, Morgan Kaufmann, San Mateo, 1992."},{"key":"3","unstructured":"[3] Bell, J., ``Pragmatic logics,'' pp. 50--60 in <i>Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning<\/i>, Morgan Kaufmann, San Mateo, 1991."},{"key":"5","unstructured":"[5] Chang, C. L., and R. C. T. Lee, <i>Symbolic Logic and Mechanical Theorem Proving<\/i>, Academic Press, New York, 1973."},{"key":"7","unstructured":"[7] Dalal, M., ``Investigations into a theory of knowledge base revision: preliminary report,'' pp. 475--479 in <i>Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88)<\/i>, Morgan Kaufmann, San Mateo, 1988."},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Darwiche, A., and J. Pearl, ``On the logic of iterated belief revision,'' pp. 5--23 in <i>Proceedings of the Fourth Conference on Theoretical Aspects of Reasoning About Knowledge<\/i>, Morgan Kaufmann, San Mateo, 1994.","DOI":"10.1016\/S0004-3702(96)00038-0"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Delgrande, J. P., ``A first-order conditional logic for prototypical properties,'' <i>Artificial Intelligence<\/i>, vol. 33 (1987), pp. 105--130.","DOI":"10.1016\/0004-3702(87)90053-1"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Delgrande, J. P., ``An approach to default reasoning based on a first-order conditional logic: revised report,'' <i>Artificial Intelligence<\/i>, vol. 36 (1988), pp. 63--90.","DOI":"10.1016\/0004-3702(88)90079-3"},{"key":"11","unstructured":"[11] Dixon, S. E., ``A finite base belief revision system,'' pp. 445--451 in <i>Proceedings of the Sixteenth Australian Computer Science Conference<\/i>, Queensland University of Technology, Brisbane, 1993."},{"key":"15","unstructured":"[15] Etherington, D. W., <i>Reasoning with Incomplete Information<\/i>, Pitman, London, 1987."},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] Fari\u00f1as del Cerro, L., A. Herzig and J. Lang, ``From ordering-based nonmonotonic reasoning to conditional logics,'' <i>Artificial Intelligence<\/i>, vol. 66 (1994), pp. 375--393.","DOI":"10.1016\/0004-3702(94)90031-0"},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] Fuhrmann, A., ``Theory contraction through base contraction,'' <i>Journal of Philosophical Logic<\/i>, vol. 20 (1991), pp. 175--203.","DOI":"10.1007\/BF00284974"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] Gabbay, D. M., ``Theoretical foundations for non-monotonic reasoning in expert systems,'' pp. 439--457 in <i>Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems<\/i>, edited by K. R. Apt, Springer-Verlag, Berlin, 1985.","DOI":"10.1007\/978-3-642-82453-1_15"},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20] G\u00e4rdenfors, P., ``Variations on the Ramsey Test: more triviality results,'' <i>Studia Logica<\/i>, vol. 46 (1987), pp. 319--325.","DOI":"10.1007\/BF00370643"},{"key":"21","unstructured":"[21] G\u00e4rdenfors, P., <i>Knowledge in Flux<\/i>, MIT Press, Cambridge, 1988."},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] G\u00e4rdenfors, P., ``Belief revision and nonmonotonic logic: two sides of the same coin?'' pp. 768--773 in <i>Proceedings of the Ninth European Conference on Artificial Intelligence<\/i>, Pitman, London, 1990.","DOI":"10.1007\/BFb0018432"},{"key":"23","unstructured":"[23] G\u00e4rdenfors, P., ``Nonmonotonic inferences based on expectations: a preliminary report,'' pp. 585--590 in <i>Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning<\/i>, Morgan Kaufmann, San Mateo, 1991."},{"key":"24","unstructured":"[24] G\u00e4rdenfors, P., S. Lindstr\u00f6m, M. Morreau and W. Rabinowicz, ``The negative Ramsey Test: another triviality result,'' pp. 129--134 in <i>The Logic of Theory Change<\/i>, edited by A. Fuhrmann and M. Morreau, Springer-Verlag, Berlin, 1991."},{"key":"25","unstructured":"[25] G\u00e4rdenfors, P., and D. Makinson, ``Revisions of knowledge systems using epistemic entrenchment,'' pp. 83--95 in <i>Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge<\/i>, Morgan Kaufmann, Los Altos, 1988."},{"key":"26","unstructured":"[26] Geffner, H. A., <i>Default Reasoning: Causal and Conditional Theories<\/i>, MIT Press, Cambridge, 1992."},{"key":"27","doi-asserted-by":"publisher","unstructured":"[27] Geffner, H. A., and J. Pearl, ``Conditional entailment: bridging two approaches to default reasoning,'' <i>Artificial Intelligence<\/i>, vol. 53 (1992), pp. 209--244.","DOI":"10.1016\/0004-3702(92)90071-5"},{"key":"28","doi-asserted-by":"publisher","unstructured":"[28] Ginsberg, M. L., and D. E. Smith, ``Reasoning about action I: a possible worlds approach,'' <i>Artificial Intelligence<\/i>, vol. 35 (1988), pp. 165--195.","DOI":"10.1016\/0004-3702(88)90011-2"},{"key":"31","unstructured":"[31] Goldszmidt, M., and J. Pearl, ``System $Z^+$: a formalism for reasoning with variable-strength defaults,'' pp. 399--404 in <i>Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91)<\/i>, AAAI Press, Menlo Park, 1991."},{"key":"32","doi-asserted-by":"publisher","unstructured":"[32] Grove, A., ``Two modellings for theory change,'' <i>Journal of Philosophical Logic<\/i>, vol. 17 (1988), pp. 157--170.","DOI":"10.1007\/BF00247909"},{"key":"33","doi-asserted-by":"crossref","unstructured":"[33] Hansson, S. O., ``New operators for theory change,'' <i>Theoria<\/i>, vol. 55 (1989), pp. 114-136.","DOI":"10.1111\/j.1755-2567.1989.tb00725.x"},{"key":"34","doi-asserted-by":"publisher","unstructured":"[34] Hansson, S. O., ``Belief contraction without recovery,'' <i>Studia Logica<\/i>, vol. 50 (1991), pp. 251-260.","DOI":"10.1007\/BF00370186"},{"key":"35","doi-asserted-by":"crossref","unstructured":"[35] Hansson, S. O., ``A dyadic representation of belief,'' pp. 89--121 in <i>Belief Revision<\/i>, edited by P. G\u00e4rdenfors, Cambridge University Press, Cambridge, 1992.","DOI":"10.1017\/CBO9780511526664.004"},{"key":"36","unstructured":"[36] Katsuno, H. and K. Satoh, ``A unified view of consequence relation, belief revision and conditional logic,'' pp. 406--412 in <i>Proceedings of the Twelfth International Joint Conference on Artificial Intelligence<\/i>, Morgan Kaufmann, San Mateo, 1991."},{"key":"37","doi-asserted-by":"publisher","unstructured":"[37] Kraus, S., D. Lehmann, and M. Magidor, ``Nonmonotonic reasoning, preferential models and cumulative logics,'' <i>Artificial Intelligence<\/i>, vol. 44 (1990), pp. 167--207.","DOI":"10.1016\/0004-3702(90)90101-5"},{"key":"38","doi-asserted-by":"publisher","unstructured":"[38] Lehmann, D. and M. Magidor, ``What does a conditional knowledge base entail?'' <i>Artificial Intelligence<\/i>, vol. 55 (1992), pp. 1--60.","DOI":"10.1016\/0004-3702(92)90041-U"},{"key":"39","doi-asserted-by":"publisher","unstructured":"[39] Levi, I., ``Iteration of conditionals and the Ramsey Test,'' <i>Synthese<\/i>, vol. 76 (1988), pp. 49--81.","DOI":"10.1007\/BF00869641"},{"key":"40","unstructured":"[40] Lewis, D. K., <i>Counterfactuals<\/i>, Blackwell, Oxford, 1973."},{"key":"41","doi-asserted-by":"crossref","unstructured":"[41] Lifschitz, V., ``Benchmark problems for formal nonmonotonic reasoning,'' pp. 202--219 in <i>Non-Monotonic Reasoning<\/i>, edited by M. Reinfrank, J. de Kleer, M. L. Ginsberg and E. Sandewall, Springer-Verlag, Berlin, 1989.","DOI":"10.1007\/3-540-50701-9_29"},{"key":"42","doi-asserted-by":"publisher","unstructured":"[42] Makinson, D., ``On the status of the postulate of recovery in the logic of theory change,'' <i>Journal of Philosophical Logic<\/i>, vol. 16 (1987), pp. 383--394.","DOI":"10.1007\/BF00431184"},{"key":"43","doi-asserted-by":"crossref","unstructured":"[43] Makinson, D., ``General theory of cumulative inference,'' pp. 1--18 in <i>Non-Monotonic Reasoning<\/i>, edited by M. Reinfrank, J. de Kleer, M. L. Ginsberg and E. Sandewall, Springer-Verlag, Berlin, 1989.","DOI":"10.1007\/3-540-50701-9_16"},{"key":"44","doi-asserted-by":"publisher","unstructured":"[44] Makinson, D., and P. G\u00e4rdenfors, ``Relations between the logic of theory change and nonmonotonic logic,'' pp. 185--205 in <i>The Logic of Theory Change<\/i>, edited by A. Fuhrmann and M. Morreau, Springer-Verlag, Berlin, 1991.","DOI":"10.1007\/BFb0018421"},{"key":"45","unstructured":"[45] McCarthy, J. M., and P. J. Hayes, ``Some philosophical problems from the standpoint of artificial intelligence,'' pp. 463--502 in <i>Machine Intelligence 4<\/i>, edited by B. Meltzer and D. Michie, Edinburgh University Press, Edinburgh, 1969."},{"key":"46","doi-asserted-by":"publisher","unstructured":"[46] Moore, R. C., ``Semantical considerations on nonmonotonic logic,'' <i>Artificial Intelligence<\/i>, vol. 25 (1985), pp. 75--94.","DOI":"10.1016\/0004-3702(85)90042-6"},{"key":"47","doi-asserted-by":"publisher","unstructured":"[47] Morreau, M., ``Epistemic semantics for counterfactuals,'' <i>Journal of Philosophical Logic<\/i>, vol. 21 (1992), pp. 33--62.","DOI":"10.1007\/BF00126496"},{"key":"48","doi-asserted-by":"publisher","unstructured":"[48] Nayak, A. C., ``Foundational belief change'' <i>Journal of Philosophical Logic<\/i>, vol. 23 (1994), pp. 495--533.","DOI":"10.1007\/BF01049408"},{"key":"49","doi-asserted-by":"publisher","unstructured":"[49] Nayak, A. C., ``Iterated belief change based on epistemic entrenchment,'' <i>Erkenntnis<\/i>, vol. 41 (1994), pp. 353--390.","DOI":"10.1007\/BF01130759"},{"key":"51","unstructured":"[51] Nebel, B., ``Belief revision and default reasoning: syntax-based approaches,'' pp. 417--428 in <i>Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning<\/i>, Morgan Kaufmann, San Mateo, 1991."},{"key":"52","unstructured":"[52] Pearl, J., ``System $Z$: a natural ordering of defaults with tractable applications to nonmonotonic reasoning,'' pp. 121--135 in <i>Proceedings of the Third Conference on Theoretical Aspects of Reasoning About Knowledge<\/i>, Morgan Kaufmann, San Mateo, 1990."},{"key":"54","doi-asserted-by":"publisher","unstructured":"[54] Poole, D., ``A logical framework for default reasoning,'' <i>Artificial Intelligence<\/i>, vol. 36 (1988), pp. 27--47.","DOI":"10.1016\/0004-3702(88)90077-X"},{"key":"55","unstructured":"[55] Ramsey, F. P., ``General propositions and causality,'' pp. 237--255 in F. P. Ramsey <i>The Foundations of Mathematics and Other Logical Essays<\/i>, Routledge and Kegan Paul, New York, 1931."},{"key":"56","doi-asserted-by":"publisher","unstructured":"[56] Rott, H., ``A nonmonotonic conditional logic for belief revision,'' pp. 135--181 in <i>The Logic of Theory Change<\/i>, edited by A. Fuhrmann and M. Morreau, Springer-Verlag, Berlin, 1991.","DOI":"10.1007\/BFb0018420"},{"key":"57","doi-asserted-by":"publisher","unstructured":"[57] Rott, H., ``Preferential belief change using generalized epistemic entrenchment,'' <i>Journal of Logic, Language and Information<\/i>, vol. 1 (1992), pp. 45--78.","DOI":"10.1007\/BF00203386"},{"key":"64","unstructured":"[64] Wobcke, W. R., ``Algorithms for iterative belief revision,'' pp. 165--172 in <i>Proceedings of the Seventh Australian Joint Conference on Artificial Intelligence<\/i>, World Scientific, Singapore, 1994."},{"key":"4","unstructured":"[4] Boutilier, C., ``Revision sequences and nested conditionals,'' pp. 519--525 in <i>Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence<\/i>, Morgan Kaufmann, San Mateo, 1993."},{"key":"6","unstructured":"[6] Crocco, G., and P. Lamarre, ``On the connection between non-monotonic inference systems and conditional logics,'' pp. 565--571 in <i>Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning<\/i>, Morgan Kaufmann, San Mateo, 1992."},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] Dixon, S. E., and W. R. Wobcke, ``The implementation of a first-order logic AGM belief revision system,'' pp. 40--47 in <i>Proceedings of the Fifth IEEE International Conference on Tools with Artificial Intelligence<\/i>, IEEE Computer Society Press, Los Alamitos, 1993.","DOI":"10.1109\/TAI.1993.633934"},{"key":"13","unstructured":"[13] Dixon, S. E. and W. R. Wobcke, ``A nonmonotonic reasoning belief revision system,'' pp. 151--160 in <i>Proceedings of the Eighteenth Australasian Computer Science Conference<\/i>, Flinders University of South Australia, University of Adelaide, and University of South Australia, Adelaide, 1995."},{"key":"14","unstructured":"[14] Elio, R. E., and F. J. Pelletier, ``Human benchmarks on AI's benchmark problems,'' pp, 406--411 in <i>Proceedings of the Fifteenth Annual Conference of the Cognitive Science Society<\/i>, Lawrence Erlhaum, Hillsdale, 1993."},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] G\u00e4rdenfors, P., ``Belief revisions and the Ramsey Test for conditionals,'' <i>Philosophical Review<\/i>, vol. 95 (1986), pp. 81--93.","DOI":"10.2307\/2185133"},{"key":"29","unstructured":"[29] Goldszmidt, M., P. Morris and J. Pearl, ``A maximum entropy approach to nonmonotonic reasoning,'' pp. 646--652 in <i>Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90)<\/i>, AAAI Press, Menlo Park, 1990."},{"key":"30","unstructured":"[30] Goldszmidt, M., and J. Pearl, ``On the relation between rational closure and system $Z$,'' pp. 130--140 in <i>Proceedings of the Third International Workshop on Nonmonotonic Reasoning<\/i>."},{"key":"50","unstructured":"[50] Nayak, A. C., N. Y. Foo, M. Pagnucco and A. Sattar, ``Entrenchment kinematics 101,'' pp. 157--164 in <i>Proceedings of the Seventh Australian Joint Conference on Artificial Intelligence<\/i>, World Scientific, Singapore, 1994."},{"key":"53","unstructured":"[53] Peppas, P., N. Y. Foo and W. R. Wobcke, ``Events as theory operators,'' pp. 413--426 in <i>Proceedings of the First World Conference on the Fundamentals of Artificial Intelligence<\/i>, Angkor, Paris, 1991."},{"key":"58","doi-asserted-by":"crossref","unstructured":"[58] Spohn, W., ``Ordinal conditional functions: a dynamic theory of epistemic states,'' pp. 105--134 in <i>Causation in Decision, Belief Change, and Statistics, II<\/i>, edited by W. L. Harper and B. Skyrms, Kluwer Academic Publishers, Dordrecht, 1988.","DOI":"10.1007\/978-94-009-2865-7_6"},{"key":"59","doi-asserted-by":"crossref","unstructured":"[59] Stalnaker, R. C., ``A theory of conditionals,'' pp. 98--112 in <i>Studies in Logical Theory<\/i>, edited by N. Rescher, Blackwell, Oxford, 1968.","DOI":"10.1007\/978-94-009-9117-0_2"},{"key":"60","doi-asserted-by":"crossref","unstructured":"[60] van Fraassen, B. C., ``Singular terms, truth-value gaps, and free logic,'' <i>Journal of Philosophy<\/i>, vol. 63 (1966), pp. 481--495.","DOI":"10.2307\/2024549"},{"key":"61","unstructured":"[61] Williams, M. A., ``Two operators for theory base change,'' pp. 259--265 in <i>Proceedings of the Fifth Australian Joint Conference on Artificial Intelligence<\/i>, World Scientific, Singapore, 1992."},{"key":"62","doi-asserted-by":"crossref","unstructured":"[62] Williams, M. A., ``Transmutations of knowledge systems,'' pp. 619--629 in <i>Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning<\/i>, Morgan Kaufmann, San Mateo, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50152-4"},{"key":"63","unstructured":"[63] Wobcke, W. R., ``On the use of epistemic entrenchment in nonmonotonic reasoning,'' pp. 324--328 in <i>Proceedings of the Tenth European Conference on Artificial Intelligence<\/i>, Wiley, Chichester, 1992."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040308829","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T21:51:28Z","timestamp":1733953888000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-36\/issue-1\/Belief-Revision-Conditional-Logic-and-Nonmonotonic-Reasoning\/10.1305\/ndjfl\/1040308829.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1,1]]},"references-count":64,"journal-issue":{"issue":"1","published-online":{"date-parts":[[1995,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040308829","relation":{},"ISSN":["0029-4527"],"issn-type":[{"type":"print","value":"0029-4527"}],"subject":[],"published":{"date-parts":[[1995,1,1]]}}}