{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:10:08Z","timestamp":1747548608315,"version":"3.40.5"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1998,2,1]],"date-time":"1998-02-01T00:00:00Z","timestamp":886291200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,2,1]],"date-time":"1998-02-01T00:00:00Z","timestamp":886291200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1998,2]]},"DOI":"10.1023\/a:1018909517931","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"225-248","source":"Crossref","is-referenced-by-count":3,"title":["Nonmonotonic reasoning with multiple belief sets"],"prefix":"10.1007","volume":"24","author":[{"given":"Joeri","family":"Engelfriet","sequence":"first","affiliation":[]},{"given":"Heinrich","family":"Herre","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"325515_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"C.E. Alchourr\u00f3n, P. G\u00e4rdenfors and D. Makinson, On the logic of theory change: partial meet contraction and revision functions, J. Symbolic Logic 50 (1985) 510\u2013530.","journal-title":"J. Symbolic Logic"},{"key":"325515_CR2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K.R. Apt","year":"1988","unstructured":"K.R. Apt, H.A. Blair and A. Walker, Towards a theory of declarative knowledge, in: Foundations of Deductive Databases and Logic Programming, ed. J. Minker (Morgan Kaufmann, San Mateo, CA, 1988) pp. 89\u2013142."},{"key":"325515_CR3","volume-title":"Einf\u00fchrung in der Mathematische Logik","author":"G. Asser","year":"1982","unstructured":"G. Asser, Einf\u00fchrung in der Mathematische Logik, Vol. 1 (Teubner, Leipzig, 1982)."},{"key":"325515_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05689-9","volume-title":"An Introduction to Default Logic","author":"P. Besnard","year":"1989","unstructured":"P. Besnard, An Introduction to Default Logic (Springer, Berlin, 1989)."},{"key":"325515_CR5","series-title":"Lecture Notes in Artificial Intelligence","first-page":"815","volume-title":"Proceedings of the 11th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA\/AIE' 98","author":"F. van Beusekom","year":"1998","unstructured":"F. van Beusekom, F.M.T. Brazier, P. Schipper and J. Treur, Development of an ecological decision support system, in: Proceedings of the 11th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA\/AIE' 98, eds. A.P. del Pobil, J. Mira and M. Ali, Lecture Notes in Artificial Intelligence, Vol. 1416 (Springer, Berlin, 1998) pp. 815\u2013825."},{"key":"325515_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/3-540-49426-X_14","volume-title":"Applications of Uncertainty Formalisms","author":"F.M.T. Brazier","year":"1998","unstructured":"F.M.T. Brazier, J. Engelfriet and J. Treur, Analysis of multi-interpretable ecological monitoring information, in: Applications of Uncertainty Formalisms, eds. A. Hunter and S. Parsons, Lecture Notes in Artificial Intelligence, Vol. 1455 (Springer, Berlin, 1998) pp. 303\u2013324."},{"key":"325515_CR7","volume-title":"Nonmonotonic Reasoning: Logical Foundations of Commonsense","author":"G. Brewka","year":"1991","unstructured":"G. Brewka, Nonmonotonic Reasoning: Logical Foundations of Commonsense (Cambridge University Press, Cambridge, 1991)."},{"key":"325515_CR8","series-title":"Lecture Notes in Artificial Intelligence","first-page":"247","volume-title":"Logics in Artificial Intelligence, Proceedings JELIA' 94","author":"G. Brewka","year":"1994","unstructured":"G. Brewka, Adding priorities and specificity to default logic, in: Logics in Artificial Intelligence, Proceedings JELIA' 94, eds. C. MacNish, D. Pearce and L.M. Pereira, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 247\u2013260."},{"key":"325515_CR9","series-title":"Working paper, NTZ-Report","volume-title":"Deductive bases of nonmonotonic inference operations","author":"J. Dietrich","year":"1994","unstructured":"J. Dietrich, Deductive bases of nonmonotonic inference operations, Working paper, NTZ-Report 7\/94, Department of Computer Science, University of Leipzig, Germany (1994)."},{"key":"325515_CR10","series-title":"Working paper, NTZ-Report","volume-title":"Outline of nonmonotonic model theory","author":"J. Dietrich","year":"1994","unstructured":"J. Dietrich and H. Herre, Outline of nonmonotonic model theory, Working paper, NTZ-Report 5\/94, Department of Computer Science, University of Leipzig, Germany (1994)."},{"key":"325515_CR11","first-page":"31","volume":"17","author":"T. Eiter","year":"1992","unstructured":"T. Eiter and G. Gottlob, Reasoning with parsimonious and moderately grounded expansions, Fund. Inform. 17 (1992) 31\u201353.","journal-title":"Fund. Inform."},{"key":"325515_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/3-540-60112-0_22","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU' 95","author":"J. Engelfriet","year":"1995","unstructured":"J. Engelfriet, H. Herre and J. Treur, Nonmonotonic belief state frames and reasoning frames, in: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU' 95, eds. C. Froidevaux and J. Kohlas, Lecture Notes in Artificial Intelligence, Vol. 946 (Springer, Berlin, 1995) pp. 189\u2013196."},{"key":"325515_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/3-540-61313-7_83","volume-title":"Practical Reasoning, Proceedings FAPR' 96","author":"J. Engelfriet","year":"1996","unstructured":"J. Engelfriet, H. Herre and J. Treur, Nonmonotonic reasoning with multiple belief sets, in: Practical Reasoning, Proceedings FAPR' 96, eds. D.M. Gabbay and H.J. Ohlbach, Lecture Notes in Artificial Intelligence, Vol. 1085 (Springer, Berlin, 1996) pp. 331\u2013344."},{"key":"325515_CR14","series-title":"Lecture Notes in Artificial Intelligence","first-page":"224","volume-title":"Logics in Artificial Intelligence, Proceedings JELIA' 96","author":"J. Engelfriet","year":"1996","unstructured":"J. Engelfriet, V.W. Marek, J. Treur and M. Truszczy\u0144ski, Infinitary default logic for specification of nonmonotonic reasoning, in: Logics in Artificial Intelligence, Proceedings JELIA' 96, eds. J.J. Alferes, L.M. Pereira and E. Orlowska, Lecture Notes in Artificial Intelligence, Vol. 1126 (Springer, Berlin, 1996) pp. 224\u2013236."},{"key":"325515_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BFb0028187","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU' 93","author":"J. Engelfriet","year":"1993","unstructured":"J. Engelfriet and J. Treur, A temporal model theory for default logic, in: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU' 93, eds. M. Clarke, R. Kruse and S. Moral, Lecture Notes in Computer Science, Vol. 747 (Springer, New York, 1993) pp. 91\u201396. A fully revised and extended version appeared as: An interpretation of default logic in minimal temporal epistemic logic, J. Logic Language Inform. 7 (1998) 369\u2013388."},{"key":"325515_CR16","series-title":"Lecture Notes in Artificial Intelligence","first-page":"279","volume-title":"Logics in Artificial Intelligence, Proceedings JELIA' 94","author":"J. Engelfriet","year":"1994","unstructured":"J. Engelfriet and J. Treur, Temporal theories of reasoning, in: Logics in Artificial Intelligence, Proceedings JELIA' 94, eds. C. MacNish, D. Pearce and L.M. Pereira, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 279\u2013299. Also in: J. Appl. Non-Classical Logics 5(2) (1995) 239\u2013261."},{"key":"325515_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/3-540-61313-7_67","volume-title":"Practical Reasoning, Proceedings FAPR' 96","author":"J. Engelfriet","year":"1996","unstructured":"J. Engelfriet and J. Treur, Specification of nonmonotonic reasoning, in: Practical Reasoning, Proceedings FAPR' 96, eds. D.M. Gabbay and H.J. Ohlbach, Lecture Notes in Artificial Intelligence, Vol. 1085 (Springer, Berlin, 1996) pp. 111\u2013125."},{"key":"325515_CR18","unstructured":"D.W. Etherington, A semantics for default logic, in: Proceedings IJCAI-87 (1987) pp. 495\u2013498. See also D.W. Etherington, Reasoning with Incomplete Information (Morgan Kaufmann, San Mateo, CA, 1988)."},{"key":"325515_CR19","volume-title":"Logic and Models of Concurrent Systems","author":"D.M. Gabbay","year":"1985","unstructured":"D.M. Gabbay, Theoretical foundations for non-monotonic reasoning in expert systems, in: Logic and Models of Concurrent Systems, ed. K. Apt (Springer, Berlin, 1985)."},{"key":"325515_CR20","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"A. Grove, Two modelings for theory change, J. Philos. Logic 17 (1988) 157\u2013170.","journal-title":"J. Philos. Logic"},{"key":"325515_CR21","series-title":"Lecture Notes in Artificial Intelligence","first-page":"19","volume-title":"Logics in Artificial Intelligence, Proceedings JELIA' 94","author":"H. Herre","year":"1994","unstructured":"H. Herre, Compactness properties of nonmonotonic inference operations, in: Logics in Artificial Intelligence, Proceedings JELIA' 94, eds. C. MacNish, D. Pearce and L.M. Pereira, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 19\u201333. Also in: J. Appl. Non-Classical Logics 5(1) (1995) 121\u2013136 (Special Issue with selected papers from JELIA' 94)."},{"issue":"2","key":"325515_CR22","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0743-1066(96)00106-9","volume":"30","author":"H. Herre","year":"1997","unstructured":"H. Herre and G. Wagner, Stable models are generated by a stable chain, J. Logic Programming 30(2) (1997) 165\u2013177.","journal-title":"J. Logic Programming"},{"key":"325515_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86894-8","volume-title":"Grundlagen der Mathematik","author":"D. Hilbert","year":"1968","unstructured":"D. Hilbert and P. Bernays, Grundlagen der Mathematik, Vols. 1, 2 (Springer, Berlin, 1968)."},{"key":"325515_CR24","doi-asserted-by":"crossref","unstructured":"K. Konolidge, Hierarchic autoepistemic theories for nonmonotonic reasoning, in: Proceedings AAAI' 88, Minneapolis (1988).","DOI":"10.1007\/3-540-50701-9_19"},{"key":"325515_CR25","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"S. Kraus, D. Lehmann and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44 (1990) 167\u2013207.","journal-title":"Artificial Intelligence"},{"key":"325515_CR26","series-title":"Working paper","volume-title":"A semantic approach to nonmonotonic reasoning: inference operations and choice","author":"S. Lindstr\u00f6m","year":"1991","unstructured":"S. Lindstr\u00f6m, A semantic approach to nonmonotonic reasoning: inference operations and choice, Working paper, Department of Philosophy, Uppsala University, Sweden (1991)."},{"key":"325515_CR27","series-title":"Lecture Notes in Artificial Intelligence","first-page":"1","volume-title":"Non-Monotonic Reasoning","author":"D. Makinson","year":"1989","unstructured":"D. Makinson, General theory of cumulative inference, in: Non-Monotonic Reasoning, eds. M. Reinfrank et al., Lecture Notes in Artificial Intelligence, Vol. 346 (Springer, Berlin, 1989) pp. 1\u201318."},{"key":"325515_CR28","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"D. Makinson","year":"1994","unstructured":"D. Makinson, General patterns in nonmonotonic reasoning, in: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, eds. D.M. Gabbay, C.J. Hogger and J.A. Robinson (Oxford Science Publications, Oxford, 1994)."},{"key":"325515_CR29","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy, Circumscription \u2013 a form of non-monotonic reasoning, Artificial Intelligence 13 (1980) 27\u201339.","journal-title":"Artificial Intelligence"},{"key":"325515_CR30","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1023\/A:1018977721624","volume":"21","author":"V.W. Marek","year":"1997","unstructured":"V.W. Marek, J. Treur and M. Truszczy\u0144ski, Representation theory for default logic, Ann. Math. Artificial Intelligence 21 (1997) 343\u2013358.","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"325515_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02906-0","volume-title":"Nonmonotonic Logic","author":"V.W. Marek","year":"1993","unstructured":"V.W. Marek and M. Truszczy\u0144ski, Nonmonotonic Logic (Springer, Berlin, 1993)."},{"key":"325515_CR32","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"D. Poole, A logical framework for default reasoning, Artificial Intelligence 36 (1988) 27\u201347.","journal-title":"Artificial Intelligence"},{"key":"325515_CR33","volume-title":"The Logic of Scientific Discovery","author":"K. Popper","year":"1977","unstructured":"K. Popper, The Logic of Scientific Discovery (Hutchinson, London, 9th ed., 1977).","edition":"9th ed."},{"key":"325515_CR34","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"325515_CR35","volume-title":"Reasoning about Change","author":"Y. Shoham","year":"1988","unstructured":"Y. Shoham, Reasoning about Change (MIT Press, Cambridge, MA, 1988)."},{"key":"325515_CR36","first-page":"299","volume-title":"Proceedings ECAI' 92","author":"Y.-H. Tan","year":"1992","unstructured":"Y.-H. Tan and J. Treur, Constructive default logic and the control of defeasible reasoning, in: Proceedings ECAI' 92, ed. B. Neumann (Wiley, New York, 1992) pp. 299\u2013303."},{"key":"325515_CR37","unstructured":"A. Tarski, Logic, Semantics, Metamathematics, Papers from 1923\u20131938 (Clarendon Press, 1956)."},{"key":"325515_CR38","first-page":"584","volume-title":"Proceedings IJCAI-93","author":"F. Voorbraak","year":"1993","unstructured":"F. Voorbraak, Preference-based semantics for nonmonotonic logics, in: Proceedings IJCAI-93, ed. R. Bajcsy (Morgan Kaufmann, San Mateo, CA, 1993) pp. 584\u2013589."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018909517931.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018909517931\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018909517931.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:40:23Z","timestamp":1747546823000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018909517931"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,2]]},"references-count":38,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1998,2]]}},"alternative-id":["325515"],"URL":"https:\/\/doi.org\/10.1023\/a:1018909517931","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[1998,2]]}}}