{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:56:18Z","timestamp":1725551778240},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540644132"},{"type":"electronic","value":"9783540697800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64413-x_42","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T15:22:41Z","timestamp":1270480961000},"page":"267-283","source":"Crossref","is-referenced-by-count":0,"title":["Cooperative combination of default logic and autoepistemic logic"],"prefix":"10.1007","author":[{"given":"Choh Man","family":"Teng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,30]]},"reference":[{"key":"18_CR1","unstructured":"Georg Gottlob. The power of beliefs or translating default logic into standard autoepistemic logic. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, pages 570\u2013575, 1993."},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K. Konolige","year":"1988","unstructured":"Kurt Konolige. On the relation between default and autoepistemic logic. Artificial Intelligence, 35:343\u2013382, 1988.","journal-title":"Artificial Intelligence"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0004-3702(89)90085-4","volume":"41","author":"K. Konolige","year":"1989","unstructured":"Kurt Konolige. On the relation between default and autoepistemic logic. Artificial Intelligence, 41:115, 1989. Errata.","journal-title":"Artificial Intelligence"},{"key":"18_CR4","unstructured":"Kurt Konolige. Ideal introspective belief. In Proceedings of the Tenth National Conference on Artificial Intelligence, pages 635\u2013641, 1992."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Kurt Konolige. Autoepistemic logic. In Dov M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3: Nonmonotonic Reasoning and Uncertain Reasoning. Clarendon Press, 1994.","DOI":"10.1093\/oso\/9780198537472.003.0005"},{"key":"18_CR6","unstructured":"Fangzhen Lin and Yoav Shoham. Epistemic semantics for fixed-point nonmonotonic logics. In Proceedings of the Third Conference on Theoretical Aspects of Reasoning about Knowledge, pages 111\u2013120, 1990."},{"key":"18_CR7","unstructured":"Robert C. Moore. Possible-world semantics for autoepistemic logic. In Proceedings of AAAI Non-monotonic Reasoning Workshop, pages 344\u2013354, 1984."},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. C. Moore","year":"1985","unstructured":"Robert C. Moore. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25:75\u201394, 1985.","journal-title":"Artificial Intelligence"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BF01531081","volume":"1","author":"W. Marek","year":"1990","unstructured":"Wiktor Marek and Miroslaw 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":"18_CR10","unstructured":"David Poole. Default logic. In Dov M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3: Nonmonotonic Reasoning and Uncertain Reasoning. Clarendon Press, 1994."},{"key":"18_CR11","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":"18_CR12","unstructured":"K. Segerberg. An essay in classical modal logic, 1971. Filosofiska Studier, Uppsala University, 13."},{"key":"18_CR13","unstructured":"Grigori Shvarts. Autoepistemic modal logics. In Proceedings of the Third Conference on Theoretical Aspects of Reasoning about Knowledge, pages 97\u2013109, 1990."},{"key":"18_CR14","volume-title":"A note on non-monotonic modal logic","author":"R. Stalnaker","year":"1980","unstructured":"R. Stalnaker. A note on non-monotonic modal logic. Department of Philosophy, Cornell University, Ithaca, New York, U.S.A., 1980. Unpublished manuscript."},{"key":"18_CR15","unstructured":"Miroslaw Truszczy\u0144ski. Embedding default logics into modal nonmonotonic logics. In Proceedings of the First International Workshop on Logic Programming and Non-monotonic Reasoning, pages 151\u2013165, 1991."},{"key":"18_CR16","unstructured":"Miroslaw Truszczy\u0144ski. Modal interpretations of default logic. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, pages 393\u2013398, 1991."}],"container-title":["Lecture Notes in Computer Science","Learning and Reasoning with Complex Representations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64413-X_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T11:09:55Z","timestamp":1711364995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64413-X_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540644132","9783540697800"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-64413-x_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}