{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:48Z","timestamp":1747548348003},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613138"},{"type":"electronic","value":"9783540684541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61313-7_67","type":"book-chapter","created":{"date-parts":[[2006,7,12]],"date-time":"2006-07-12T14:19:20Z","timestamp":1152713960000},"page":"111-125","source":"Crossref","is-referenced-by-count":7,"title":["Specification of nonmonotonic reasoning"],"prefix":"10.1007","author":[{"given":"Joeri","family":"Engelfriet","sequence":"first","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":"9_CR1","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":"9_CR2","doi-asserted-by":"crossref","unstructured":"Engelfriet, J., Herre, H., Treur, J.: Nonmonotonic Belief State Frames and Reasoning Frames, in: C. Froidevaux, J. Kohlas (eds.), Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proc. ECSQARU'95, LNAI 946, Springer-Verlag, 1995, pp. 189\u2013196","DOI":"10.1007\/3-540-60112-0_22"},{"key":"9_CR3","unstructured":"Engelfriet, J.: Minimal Temporal Epistemic Logic, Technical Report IR-388, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1995"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Engelfriet, J., Treur, J.: A Temporal Model Theory for Default Logic, in: M. Clarke, R. Kruse, S. Moral (eds.), Proc. 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93, Springer Verlag, 1993, pp. 91\u201396. Extended version: Report IR-334, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1993","DOI":"10.1007\/BFb0028187"},{"key":"9_CR5","unstructured":"Engelfriet, J., Treur, J.: 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, Springer Verlag, pp. 279\u2013299. Also in: Journal of Applied Non-Classical Logics 5 (2), 1995, pp. 239\u2013261"},{"key":"9_CR6","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, Springer Verlag, 1994, pp. 19\u201333. Also in: Journal of Applied Non-Classical Logics 5(1), Special Issue with selected papers from JELIA'94, 1995, pp. 121\u2013135","DOI":"10.1007\/BFb0021962"},{"key":"9_CR7","first-page":"167","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus, S., D. Lehmann, M. Magidor: Nonmonotonic Reasoning, Preferential models and cumulative logics; A.I. 44 (1990), 167\u2013207","journal-title":"A.I."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Marek, V., M. Truszczynski: Nonmonotonic Logic, Springer-Verlag, 1993","DOI":"10.1007\/978-3-662-02906-0"},{"key":"9_CR9","unstructured":"Marek, V., J. Treur, M. Truszczynski: Representation Theory for Default Logic, Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics, 1996"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning, Artificial Intelligence 13, 1980, pp. 81\u2013132","journal-title":"Artificial Intelligence"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Shoham, Y.: Nonmonotonic Logics: Meaning and Utility, In: J. McDermott (ed.), Proc. 10th International Joint Conference on Artificial Intelligence, IJCAI-87, Morgan Kaufmann, 1987, pp. 388\u2013393","DOI":"10.1016\/0004-3702(86)90005-6"},{"key":"9_CR12","unstructured":"Voorbraak, F.: Preference-based Semantics for Nonmonotonic Logics, in: Bajcsy, R. (ed.), Proc. 13th International Joint Conference on Artificial Intelligence, 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_67","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T01:29:00Z","timestamp":1683509340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61313-7_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613138","9783540684541"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-61313-7_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}