{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:40Z","timestamp":1725455680371},"publisher-location":"Berlin\/Heidelberg","reference-count":19,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540545646"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023319","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:53:34Z","timestamp":1132379614000},"page":"85-99","source":"Crossref","is-referenced-by-count":0,"title":["Ranges of strong modal nonmonotonic logics"],"prefix":"10.1007","author":[{"given":"Wiktor","family":"Marek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigori F.","family":"Schwarz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miros\u0142aw","family":"Truszczy\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"B.F. Chellas. Modal logic, and introduction. Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"6_CR2","first-page":"1070","volume-title":"The stable semantics for logic programs","author":"M. Gelfond","year":"1988","unstructured":"M. Gelfond and V. Lifschitz. The stable semantics for logic programs. In Proceedings of the 5th International Symposium on Logic Programming, pages 1070\u20131080, Cambridge, MA., 1988. MIT Press."},{"key":"6_CR3","volume-title":"A companion to modal logic","author":"G.E. Hughes","year":"1984","unstructured":"G.E. Hughes and M.J. Cresswell. A companion to modal logic. Methuen and Co. Ltd., London, 1984."},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K. Konolige","year":"1988","unstructured":"K. Konolige. On the relation between default and autoepistemic logic. Artificial Intelligence, 35:343\u2013382, 1988.","journal-title":"Artificial Intelligence"},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0004-3702(89)90085-4","volume":"41","author":"K. Konolige","year":"1989","unstructured":"K. Konolige. Errata to: On the relation between default and autoepistemic logic. Artificial Intelligence, 41:115, 1989.","journal-title":"Artificial Intelligence"},{"key":"6_CR6","doi-asserted-by":"crossref","first-page":"243","DOI":"10.3233\/FI-1989-12209","volume":"12","author":"W. Marek","year":"1989","unstructured":"W. Marek. Stable theories in autoepistemic logic. Fundamenta Informaticae, 12:243\u2013254, 1989.","journal-title":"Fundamenta Informaticae"},{"key":"6_CR7","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/322290.322293","volume":"29","author":"D. McDermott","year":"1982","unstructured":"D. McDermott. Nonmonotonic logic ii: Nonmonotonic modal theories. Journal of the ACM, 29:33\u201357, 1982.","journal-title":"Journal of the ACM"},{"key":"6_CR8","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"D. McDermott and J. Doyle. Nonmonotonic logic i. Artificial Intelligence, 13:41\u201372, 1980.","journal-title":"Artificial Intelligence"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"W. Marek, A. Nerode, and J.C. Remmel. Nonmonotonic rule systems i. Annals of Mathematics and Artificial Intelligence, pages 241\u2013273, 1990.","DOI":"10.1007\/BF01531080"},{"key":"6_CR10","unstructured":"W. Marek, A. Nerode, and J.C. Remmel. Nonmonotonic rule systems ii. Available as a Report of Mathematical Science Institute, Cornell University, 1990."},{"key":"6_CR11","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"R.C. Moore. Semantical considerations on non-monotonic logic. Artificial Intelligence, 25:75\u201394, 1985.","journal-title":"Artificial Intelligence"},{"key":"6_CR12","unstructured":"W. Marek, G.F. Shvarts, and M. Truszczy\u0144ski. Modal nonmonotonic logics: ranges, characterization, computation. In Second International Conference on Principles of Knowledge Representation and Reasoning, KR '91, Cambridge, MA, 1991."},{"key":"6_CR13","first-page":"276","volume-title":"Principles of Knowledge Representation and Reasoning","author":"W. Marek","year":"1989","unstructured":"W. Marek and M. Truszczy\u0144ski. Relating autoepistemic and default logics. In Principles of Knowledge Representation and Reasoning, pages 276\u2013288, San Mateo, CA., 1989. Morgan Kaufmann."},{"key":"6_CR14","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/BF01531081","volume":"1","author":"W. Marek","year":"1990","unstructured":"W. Marek and M. Truszczy\u0144ski. Modal logic for default reasoning. Annals of Mathematics and Artificial Intelligence, 1:275\u2013302, 1990.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"W. Marek and M. Truszczy\u0144ski. Autoepistemic logic. Journal of the ACM, 1991. To appear.","DOI":"10.1145\/116825.116836"},{"key":"6_CR16","doi-asserted-by":"crossref","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":"6_CR17","first-page":"97","volume-title":"Proceedings of TARK 1990","author":"G.F. Shvarts","year":"1990","unstructured":"G.F. Shvarts. Autoepistemic modal logics. In R. Parikh, editor, Proceedings of TARK 1990, pages 97\u2013109, San Mateo, CA., 1990. Morgan Kaufmann."},{"key":"6_CR18","unstructured":"R.C. Stalnaker. A note on nonmonotonic modal logic. Unpublished manuscript, 1980."},{"key":"6_CR19","unstructured":"M. Truszczy\u0144ski. Stratified modal theories and iterative expansions. Technical Report 159-90, Department of Computer Science, University of Kentucky, 1990."}],"container-title":["Lecture Notes in Computer Science","Nonmonotonic and Inductive Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0023319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T01:46:58Z","timestamp":1626745618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023319"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540545646"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0023319","relation":{},"subject":[]}}