{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:06:11Z","timestamp":1747548371869},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616306"},{"type":"electronic","value":"9783540706434"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61630-6_15","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:08:53Z","timestamp":1330294133000},"page":"224-236","source":"Crossref","is-referenced-by-count":5,"title":["Infinitary default logic for specification of nonmonotonic reasoning"],"prefix":"10.1007","author":[{"given":"Joeri","family":"Engelfriet","sequence":"first","affiliation":[]},{"given":"V. Wiktor","family":"Marek","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[]},{"given":"Miros\u0142aw","family":"Truszczy\u0144ski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"J. Engelfriet, H. Herre and J. Treur. Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). In C. Froidevaux, J. Kohlas (eds), Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Lecture Notes in Artificial Intelligence, Vol. 946, Springer-Verlag, 1995, pp. 189\u2013196.","DOI":"10.1007\/3-540-60112-0_22"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"J. Engelfriet, H. Herre and J. Treur. Nonmonotonic Reasoning with Multiple Belief Sets. In D.M. Gabbay, H.J. Ohlbach (eds), Proceedings of the International Conference on Formal and Applied Practical Reasoning, Lecture Notes in Artificial Intelligence, Vol. 1085, Springer-Verlag,1996, pp. 331\u2013344.","DOI":"10.1007\/3-540-61313-7_83"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"J. Engelfriet and J. Treur. Specification of Nonmonotonic Reasoning. In D.M. Gabbay, H.J. Ohlbach (eds), Proceedings of the International Conference on Formal and Applied Practical Reasoning, Lecture Notes in Artificial Intelligence, Vol. 1085, Springer-Verlag, 1996, pp. 111\u2013125.","DOI":"10.1007\/3-540-61313-7_67"},{"key":"15_CR4","unstructured":"A. Ferry. Enriched nonmonotonic rule system. Master of Science Dissertation, University of Kentucky, 1991."},{"key":"15_CR5","volume-title":"Nonmonotonic logics; context-dependent reasoning","author":"W. Marek","year":"1993","unstructured":"W. Marek and M. Truszczy\u0144ski. Nonmonotonic logics; context-dependent reasoning. Berlin: Springer-Verlag, 1993."},{"key":"15_CR6","unstructured":"W. Marek, J. Treur, and M. Truszczy\u0148ski. Representability by default theories. In Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics, 1996."},{"key":"15_CR7","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:81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"15_CR8","unstructured":"T. Schaub. On constrained default theories. In B. Neumann (ed.), Proceedings of the European Conference on Artificial Intelligence, 1992, pp. 304\u2013308"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61630-6_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:08:52Z","timestamp":1605647332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61630-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616306","9783540706434"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-61630-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}