{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:49Z","timestamp":1747548349323},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651413"},{"type":"electronic","value":"9783540495451"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49545-2_15","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:41:28Z","timestamp":1186425688000},"page":"216-232","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription"],"prefix":"10.1007","author":[{"given":"Tomi","family":"Janhunen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,2,26]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-97062-7","volume-title":"Structural Complexity I","author":"J.L. Balc\u00e1zar","year":"1988","unstructured":"J.L. Balc\u00e1zar, I. D\u00edaz, and J. Gabarr\u00f3. Structural Complexity I. Springer-Verlag, Berlin, 1988."},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0304-3975(95)00192-1","volume":"160","author":"P.A. Bonatti","year":"1996","unstructured":"P.A. Bonatti and T. Eiter. Querying disjunctive database through nonmonotonic logics. Theoretical Computer Science, 160:321\u2013363, 1996.","journal-title":"Theoretical Computer Science"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0004-3702(96)00009-4","volume":"88","author":"M. Cadoli","year":"1996","unstructured":"M. Cadoli, F.M. Donini, and M. Schaerf. Is intractability of nonmonotonic reasoning a real drawback. Artificial Intelligence, 88:215\u2013251, 1996.","journal-title":"Artificial Intelligence"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0022-0000(05)80004-2","volume":"2","author":"M. Cadoli","year":"1994","unstructured":"M. Cadoli and M. Lenzerini. The complexity of propositional closed world reasoning and circumscription. Journal of Computer and System Sciences, 2:255\u2013310, 1994.","journal-title":"Journal of Computer and System Sciences"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0304-3975(93)90073-3","volume":"114","author":"T. Eiter","year":"1993","unstructured":"T. Eiter and G. Gottlob. Propositional circumscription and extended closed world reasoning are \u03a0 2 p -complete. Theoretical Computer Science, 114:231\u2013245, 1993.","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"J. Engelfriet, V. Marek, J. Treur, and M. Truszczy\u0144ski. Infinitary default logic for specification of nonmonotonic reasoning. In J. Alferes, L. Pereira, and E. Orlowska, editors, Proceedings of the 5th European Workshop on Logics is Artificial Intelligence, pages 224\u2013236. Springer Verlag, October 1996. LNAI, vol. 1126.","key":"15_CR6","DOI":"10.1007\/3-540-61630-6_15"},{"unstructured":"Goran Gogic, Henry Kautz, Christos Papadimitriou, and Bart Selman. The comparative linguistics of knowledge representation. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 862\u2013869, Montreal, Canada, August 1995. Morgan Kaufmann Publishers.","key":"15_CR7"},{"issue":"3","key":"15_CR8","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","volume":"2","author":"G. Gottlob","year":"1992","unstructured":"G. Gottlob. Complexity results for nonmonotonic logics. Journal of Logic and Computation, 2(3):397\u2013425, June 1992.","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"15_CR9","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1145\/210332.210334","volume":"42","author":"G. Gottlob","year":"1995","unstructured":"G. Gottlob. Translating default logic into standard autoepistemic logic. Journal of the Association for Computing Machinery, 42(2):711\u2013740, 1995.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0004-3702(87)90064-6","volume":"32","author":"T. Imielinski","year":"1987","unstructured":"T. Imielinski. Results on translating defaults to circumscription. Artificial Intelligence, 32:131\u2013146, 1987.","journal-title":"Artificial Intelligence"},{"unstructured":"T. Janhunen. Representing autoepistemic introspection in terms of default rules. In Proceedings of the European Conference on Artificial Intelligence, pages 70\u201374, Budapest, Hungary, August 1996. John Wiley.","key":"15_CR11"},{"doi-asserted-by":"crossref","unstructured":"T. Janhunen. Separating disbeliefs from beliefs in autoepistemic reasoning. In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings of the 4th International Conference on Logic Programming and Non-monotonic Reasoning, pages 132\u2013151, Dagstuhl, Germany, July 1997. Springer-Verlag. LNAI 1265.","key":"15_CR12","DOI":"10.1007\/3-540-63255-7_10"},{"key":"15_CR13","doi-asserted-by":"publisher","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"},{"unstructured":"V. Lifschitz. Computing circumscription. In Proceedings of the 9th International Joint Conference on Artificial Intelligence, pages 121\u2013127, Los Angeles, California, USA, August 1985. Morgan Kaufmann Publishers.","key":"15_CR14"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1023\/A:1018977721624","volume":"21","author":"V. Marek","year":"1997","unstructured":"V. Marek, J. Treur, and M. Truszczy\u0144ski. Representation theory for default logic. Annals of Mathematics in Artificial Intelligence, 21:343\u2013358, 1997.","journal-title":"Annals of Mathematics in Artificial Intelligence"},{"unstructured":"W. Marek, G.F. Shvarts, and M. Truszczy\u0144ski. Modal nonmonotonic logics: Ranges, characterization, computation. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pages 395\u2013404, Cambridge, MA, USA, April 1991. Morgan Kaufmann Publishers.","key":"15_CR16"},{"key":"15_CR17","doi-asserted-by":"publisher","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":"15_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02906-0","volume-title":"Nonmonotonic Logic: Context-Dependent Reasoning","author":"W. Marek","year":"1993","unstructured":"W. Marek and M. Truszczy\u0144ski. Nonmonotonic Logic: Context-Dependent Reasoning. Springer-Verlag, Berlin, 1993."},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy. Circumscription\u2014a form of non-monotonic reasoning. Artificial Intelligence, 13:27\u201339, 1980.","journal-title":"Artificial Intelligence"},{"unstructured":"R.C. Moore. Semantical considerations on nonmonotonic logic. In Proceedings of the 8th International Joint Conference on Artificial Intelligence, pages 272\u2013279, Karlsruhe, FRG, August 1983. Morgan Kaufmann Publishers.","key":"15_CR20"},{"issue":"12","key":"15_CR21","doi-asserted-by":"crossref","first-page":"117","DOI":"10.3233\/FI-1992-171-208","volume":"17","author":"I. Niemel\u00e4","year":"1992","unstructured":"I. Niemel\u00e4. On the decidability and complexity of autoepistemic reasoning. Fundamenta Informaticae, 17(1,2):117\u2013155, 1992.","journal-title":"Fundamenta Informaticae"},{"unstructured":"I. Niemel\u00e4. A unifying framework for nonmonotonic reasoning. In Proceedings of the 10th European Conference on Artificial Intelligence, pages 334\u2013338, Vienna, Austria, August 1992. John Wiley.","key":"15_CR22"},{"key":"15_CR23","series-title":"Research report","volume-title":"Autoepistemic logic as a unified basis for nonmonotonic reasoning","author":"I. Niemel\u00e4","year":"1993","unstructured":"I. Niemel\u00e4. Autoepistemic logic as a unified basis for nonmonotonic reasoning. Doctoral dissertation. Research report A24, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1993."},{"key":"15_CR24","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_CR25","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/0004-3702(95)00117-4","volume":"80","author":"G. Schwarz","year":"1996","unstructured":"G. Schwarz. On embedding default logic into Moore\u2019s autoepistemic logic. Artificial Intelligence, 80:349\u2013359, 1996.","journal-title":"Artificial Intelligence"},{"unstructured":"J. Stillman. It\u2019s not my default: the complexity of membership problems in restricted propositional default logics. In Proceedings of the 8th National Conference on Artificial Intelligence, pages 571\u2013578, Boston, Massachusetts, USA, July 1990. The MIT Press.","key":"15_CR26"},{"unstructured":"M. Truszczy\u0144ski. Modal interpretations of default logic. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, pages 393\u2013398, Sydney, Australia, August 1991. Morgan Kaufmann Publishers.","key":"15_CR27"},{"doi-asserted-by":"crossref","unstructured":"X. Wang, J.-H. You, and L.Y. Yuan. Nonmonotonic reasoning by monotonic inferences with priority constraints. In Proceedings of the 2nd International Workshop on Non-monotonic Extensions of Logic Programming, pages 91\u2013109. Springer, 1996. LNAI 1216.","key":"15_CR28","DOI":"10.1007\/BFb0023803"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49545-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T07:57:59Z","timestamp":1629532679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49545-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651413","9783540495451"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-49545-2_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"26 February 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}