{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T11:02:07Z","timestamp":1775818927627,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540613138","type":"print"},{"value":"9783540684541","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61313-7_83","type":"book-chapter","created":{"date-parts":[[2006,7,12]],"date-time":"2006-07-12T14:19:20Z","timestamp":1152713960000},"page":"331-344","source":"Crossref","is-referenced-by-count":4,"title":["Nonmonotonic reasoning with multiple belief sets"],"prefix":"10.1007","author":[{"given":"Joeri","family":"Engelfriet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heinrich","family":"Herre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,6]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a Theory of Declarative Knowledge, in: Minker, J. (ed), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, 1988, pp. 89\u2013142","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"25_CR2","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions; Journal of Symbolic Logic 50, 510\u2013530 (1985)","journal-title":"Journal of Symbolic Logic"},{"key":"25_CR3","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":"Besnard, P.: An Introduction to Default Logic; Berlin, Springer-Verlag, 1989"},{"key":"25_CR4","unstructured":"Brewka, G.: Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge University Press, 1991"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Brewka, G.: Adding Priorities and Specificity to Default Logic; in: C. MacNish, D. Pearce, L.M. Pereira (eds.) Logics in Artificial Intelligence, JELIA'94, Springer Verlag, 1994","DOI":"10.1007\/BFb0021977"},{"key":"25_CR6","unstructured":"Dietrich, J.: Deductive Bases of Nonmonotonic Inference Operations: NTZ-Report,7\/94, University of Leipzig, 1994"},{"key":"25_CR7","unstructured":"Dietrich, J., H. Herre: Outline of Nonmonotonic Model Theory, NTZ-Report, 5\/94, University of Leipzig, 1994"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Engelfriet, J., H. Herre, J. Treur: Nonmonotonic Belief State Frames and Reasoning Frames, in: C. Froidevaux, J. Kohlas (eds.), Proc. ECSQARU'95, Lecture Notes in AI, vol. 946, Springer Verlag, 1995, pp. 189\u2013196","DOI":"10.1007\/3-540-60112-0_22"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Engelfriet, J., J. Treur: A Temporal Model Theory for Default Logic, in: M. Clarke, R. Kruse, S. Moral (eds), Proc. ECSQARU'93, Lecture Notes in Computer Science, vol. 747, Springer-Verlag, 1993, pp. 91\u201396","DOI":"10.1007\/BFb0028187"},{"key":"25_CR10","unstructured":"Engelfriet, J., J. Treur: Temporal Theories of Reasoning. In: C. MacNish, D. Pearce, L.M. Pereira (eds.) Logics in Artificial Intelligence, Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA'94, Lecture Notes in AI, vol. 838, Springer Verlag, pp. 279\u2013299; Also in: Journal of Applied Non-Classical Logics, vol. 5 (2), 1995, pp. 239\u2013261"},{"key":"25_CR11","unstructured":"Etherington, D.W.: A semantics for Default Logic, Proc. IJCAI-87, pp. 495\u2013498; see also in: D.W. Etherington, Reasoning with Incomplete Information, Morgan Kaufmann, 1988"},{"key":"25_CR12","volume-title":"Logic and Models of Concurrent Systems","author":"D. Gabbay","year":"1985","unstructured":"Gabbay, D.: Theoretical Foundations for Non-monotonic Reasoning in expert systems; in Apt, K. (ed.): Logic and Models of Concurrent Systems, Springer, Berlin, 1985"},{"key":"25_CR13","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"Grove, A.: Two modelings for theory change; Journal of Philosophical Logic 17, 157\u2013170 (1988)","journal-title":"Journal of Philosophical Logic"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Herre, H.: Compactness Properties of nonmonotonic Inference Operations, In: C. MacNish, D. Pearce, L.M. Pereira (eds.) Logics in Artificial Intelligence, Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA'94, Lecture Notes in AI, vol. 838, Springer Verlag, pp. 19\u201333; Also in: Journal of Applied Non-Classical Logics, vol. 5, 1995, pp. 121\u2013136 (Special Issue with selected papers from JELIA'94)","DOI":"10.1007\/BFb0021962"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Konolidge, K.: Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning, in: Proceedings AAAI'88, Minneapolis, 1988","DOI":"10.1007\/3-540-50701-9_19"},{"key":"25_CR16","unstructured":"Lindstr\u00f6m, S.: A semantic approach to nonmonotonic reasoning: inference operations and choice; Dept. of Philosophy, Uppsala University, Preprint, 1991"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Makinson, D.: General Patterns in Nonmonotonic Reasoning; in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol.3, Oxford Science Publications, 1994","DOI":"10.1093\/oso\/9780198537472.003.0002"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Marek, V., M. Truszczynski: Nonmonotonic Logic, Springer-Verlag, 1993","DOI":"10.1007\/978-3-662-02906-0"},{"key":"25_CR19","unstructured":"Marek, V., J. Treur, M. Truszczynski: Representation Theory for Default Logic, Proc. Symposium on AI and Mathematics, 1996"},{"key":"25_CR20","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"Poole, D.: A logical Framework for Default Reasoning;Artificial Intelligence, 36: 27\u201347 (1988)","journal-title":"Artificial Intelligence"},{"key":"25_CR21","volume-title":"The Logic of Scientific Discovery","author":"K. Popper","year":"1977","unstructured":"Popper, K.: The Logic of Scientific Discovery; Hutchinson, London, 1977, 9th edition.","edition":"9th edition"},{"key":"25_CR22","first-page":"81","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning; A.I., vol. 13, 81\u2013132, 1980","journal-title":"A.I."},{"key":"25_CR23","volume-title":"Reasoning about Change","author":"Y. Shoham","year":"1988","unstructured":"Shoham, Y.: Reasoning about Change; MIT-Press, Cambridge\/USA, 1988"},{"key":"25_CR24","volume-title":"Logic, Semantics, Metamathematics. Papers from 1923\u20131938","author":"A. Tarski","year":"1956","unstructured":"Tarski, A.: Logic, Semantics, Metamathematics. Papers from 1923\u20131938. Clarendon Press, Oxford, 1956"},{"key":"25_CR25","unstructured":"Tan, Y.H., J. Treur: Constructive Default Logic and the Control of Defeasible Reasoning; in: B. Neumann (ed.), Proc. ECAI'92, Wiley and Sons, 1992, pp. 299\u2013303"},{"key":"25_CR26","unstructured":"Voorbraak, F.: Preference-based semantics for nonmonotonic logics,in: Bajcsy, R.(ed), Proc. IJCAI-93, Morgan Kaufmann, 1993, pp. 584\u2013589"}],"container-title":["Lecture Notes in Computer Science","Practical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61313-7_83","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T08:13:36Z","timestamp":1707120816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61313-7_83"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613138","9783540684541"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-61313-7_83","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}