{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:17Z","timestamp":1725455657411},"publisher-location":"Berlin\/Heidelberg","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540571841"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022570","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T01:14:45Z","timestamp":1131844485000},"page":"211-222","source":"Crossref","is-referenced-by-count":2,"title":["A scheme for weakened negative introspection in autoepistemic reasoning"],"prefix":"10.1007","author":[{"given":"Tomi","family":"Janhunen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilkka","family":"Niemel\u00e4","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Bonatti, P.: Autoepistemic logics as a unifying framework for the semantics of logic programs. In Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, November 1992."},{"key":"24_CR2","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0004-3702(90)90086-F","volume":"43","author":"C. Elkan","year":"1990","unstructured":"Elkan, C.: A rational reconstruction of nonmonotonic truth maintenance systems. Artificial Intelligence, 43:219\u2013234, 1990.","journal-title":"Artificial Intelligence"},{"key":"24_CR3","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(87)90081-6","volume":"31","author":"D. Etherington","year":"1987","unstructured":"Etherington, D.: Formalizing nonmonotonic reasoning systems. Artificial Intelligence, 31:41\u201385, 1987.","journal-title":"Artificial Intelligence"},{"key":"24_CR4","first-page":"1070","volume-title":"Proceedings of the 5th International Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M. and Lifschitz, V.: The stable model semantics for logic programming. In Proceedings of the 5th International Conference on Logic Programming, pages 1070\u20131080, Seattle, USA, August 1988. The MIT Press."},{"issue":"3","key":"24_CR5","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","volume":"2","author":"G. Gottlob","year":"1992","unstructured":"Gottlob, G.: Complexity results for nonmonotonic logics. Journal of Logic and Computation, 2(3):397\u2013425, June 1992.","journal-title":"Journal of Logic and Computation"},{"key":"24_CR6","series-title":"Lecture Notes in Artificial Intelligence 543","first-page":"223","volume-title":"Proceedings of the 1st International Workshop on Nonmonotonic and Inductive Logic","author":"J. Kalinski","year":"1990","unstructured":"Kalinski, J.: Autoepistemic expansions with incomplete belief introspection. In Proceedings of the 1st International Workshop on Nonmonotonic and Inductive Logic, pages 223\u2013232, Karlsruhe, Germany, December 1990. Springer-Verlag. Lecture Notes in Artificial Intelligence 543."},{"key":"24_CR7","unstructured":"Kalinski, J.: Weak autoepistemic reasoning. Presented at the European Workshop on Theoretical Foundations of Knowledge Representation and Reasoning held in conjunction with ECAI'92, August 3\u20134, Vienna, Austria, 1992."},{"key":"24_CR8","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K. Konolige","year":"1988","unstructured":"Konolige, K.: On the relation between default and autoepistemic logic. Artificial Intelligence, 35:343\u2013382, 1988.","journal-title":"Artificial Intelligence"},{"key":"24_CR9","unstructured":"Marek, W. and Truszczy\u0144ski, M.: Relating autoepistemic and default logics. In Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning, pages 276\u2013288, Toronto, Canada, May 1989."},{"key":"24_CR10","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/BF01531081","volume":"1","author":"W. Marek","year":"1990","unstructured":"Marek, W. and Truszczy\u0144ski, M.: Modal logic for default reasoning. Annals of Mathematics and Artificial Intelligence, 1:275\u2013302, 1990.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"24_CR11","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"Moore, R.: Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25:75\u201394, 1985.","journal-title":"Artificial Intelligence"},{"key":"24_CR12","first-page":"399","volume-title":"Proceedings of the 12th International Joint Conference on Artificial Intelligence","author":"I. Niemel\u00e4","year":"1991","unstructured":"Niemel\u00e4, I.: Constructive tightly grounded autoepistemic reasoning. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, pages 399\u2013404, Sydney, Australia, August 1991. Morgan Kaufmann Publishers."},{"issue":"1","key":"24_CR13","doi-asserted-by":"crossref","first-page":"117","DOI":"10.3233\/FI-1992-171-208","volume":"17","author":"I. Niemel\u00e4","year":"1992","unstructured":"Niemel\u00e4, I.: On the decidability and complexity of autoepistemic reasoning. Fundamenta Informaticae, 17(1,2):117\u2013155, 1992.","journal-title":"Fundamenta Informaticae"},{"key":"24_CR14","unstructured":"Przymusinska, H. and Przymusinski, T.: Stationary default extensions. In Working Notes of the 4th International Workshop on on Nonmonotonic Reasoning, pages 179\u2013193, Plymouth, Vermont, USA, May 1992."},{"key":"24_CR15","first-page":"3","volume-title":"Proceedings of the 1st International Workshop on Logic Programming and Non-monotonic Reasoning","author":"T. Przymusinski","year":"1991","unstructured":"Przymusinski, T.: Autoepistemic logics of closed beliefs and logic programming. In Proceedings of the 1st International Workshop on Logic Programming and Non-monotonic Reasoning, pages 3\u201320, Washington, D.C., USA, July 1991. The MIT Press."},{"key":"24_CR16","doi-asserted-by":"crossref","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:81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"24_CR17","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K., and Schlipf, J.: The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620\u2013650, July 1991.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Computational Logic and Proof Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022570.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,19]],"date-time":"2021-07-19T12:13:13Z","timestamp":1626696793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022570"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540571841"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0022570","relation":{},"subject":[]}}