{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:04Z","timestamp":1725455644940},"publisher-location":"Berlin\/Heidelberg","reference-count":26,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540571841"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022551","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:14:45Z","timestamp":1131862485000},"page":"43-60","source":"Crossref","is-referenced-by-count":1,"title":["A critical reexamination of default logic, autoepistemic logic, and only knowing"],"prefix":"10.1007","author":[{"given":"Joseph Y.","family":"Halpern","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0004-3702(91)90099-6","volume":"50","author":"G. Brewka","year":"1991","unstructured":"G. Brewka. Cumulative default logic: in defense of nonmonotonic inference rules. Artificial Intelligence, 50:183\u2013205, 1991.","journal-title":"Artificial Intelligence"},{"key":"5_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic","author":"B. F. Chellas","year":"1980","unstructured":"B. F. Chellas. Modal Logic. Cambridge University Press, Cambridge, UK, 1980."},{"key":"5_CR3","first-page":"118","volume-title":"Principles of Knowledge Representation and Reasoning: Proc. Second International Conference (KR '91)","author":"J. P. Delgrande","year":"1991","unstructured":"J. P. Delgrande and W. K. Jackson. Default logic revisited. In J. A. Allen, R. Fike, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proc. Second International Conference (KR '91), pages 118\u2013127. Morgan Kaufmann, San Mateo, CA, 1991."},{"key":"5_CR4","first-page":"37","volume-title":"Annual Review of Computer Science, Vol. 2","author":"J. Y. Halpern","year":"1987","unstructured":"J. Y. Halpern. Using reasoning about knowledge to analyze distributed systems. In J. F. Traub, B. J. Grosz, B. W. Lampson, and N. J. Nilsson, editors, Annual Review of Computer Science, Vol. 2, pages 37\u201368. Annual Reviews Inc., Palo Alto, CA, 1987."},{"key":"5_CR5","unstructured":"J. Y. Halpern. Reasoning about only knowing with many agents. In Proc. National Conference on Artificial Intelligence (AAAI '93), 1993."},{"key":"5_CR6","volume-title":"An Introduction to Modal Logic","author":"G. E. Hughes","year":"1968","unstructured":"G. E. Hughes and M. J. Cresswell. An Introduction to Modal Logic. Methuen, London, 1968."},{"key":"5_CR7","series-title":"Proc. AAAI Workshop on Non-monotonic Logic","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1007\/978-3-642-82453-1_16","volume-title":"Logics and Models of Concurrent Systems","author":"J. Y. Halpern","year":"1985","unstructured":"J. Y. Halpern and Y. Moses. Towards a theory of knowledge and ignorance. In Proc. AAAI Workshop on Non-monotonic Logic, pages 125\u2013143, 1984. Reprinted in Logics and Models of Concurrent Systems, (ed., K. Apt), Springer-Verlag, Berlin\/New York, pp. 459\u2013476, 1985."},{"key":"5_CR8","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":"5_CR9","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 \u201cOn the relation between default and autoepistemic logic\u201d. Artificial Intelligence, 41:115, 1989.","journal-title":"Artificial Intelligence"},{"key":"5_CR10","unstructured":"K. Konolige. Ideal introspective belief. In Proc. National Conference on Artificial Intelligence (AAAI '92), pages 635\u2013641, 1992."},{"issue":"3","key":"5_CR11","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"42","author":"H. J. Levesque","year":"1990","unstructured":"H. J. Levesque. All I know: A study in autoepistemic logic. Artificial Intelligence, 42(3):263\u2013309, 1990.","journal-title":"Artificial Intelligence"},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1467-8640.1988.tb00086.x","volume":"4","author":"W. Lukaszewicz","year":"1988","unstructured":"W. Lukaszewicz. Considerations on default logic: an alternative approach. Computational Intelligence, 4:1\u201316, 1988.","journal-title":"Computational Intelligence"},{"issue":"1","key":"5_CR13","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/322290.322293","volume":"29","author":"D. V. McDermott","year":"1982","unstructured":"D. V. McDermott. Nonmonotonic logic II: nonmonotonic model theories. Journal of the ACM, 29(1):33\u201357, 1982.","journal-title":"Journal of the ACM"},{"issue":"12","key":"5_CR14","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. Non-monotonic logic I. Artificial Intelligence, 13(1,2):41\u201372, 1980.","journal-title":"Artificial Intelligence"},{"key":"5_CR15","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 nonmonotonic logic. Artificial Intelligence, 25:75\u201394, 1985.","journal-title":"Artificial Intelligence"},{"key":"5_CR16","first-page":"395","volume-title":"Principles of Knowledge Representation and Reasoning: Proc. Second International Conference (KR '91)","author":"W. Marek","year":"1991","unstructured":"W. Marek, G. F. Shvarts, and M. Truszczy\u0144ski. Modal nonmonotonic logics: ranges, characterization, computation. In J. A. Allen, R. Fike, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proc. Second International Conference (KR '91), pages 395\u2013404. Morgan Kaufmann, San Mateo, CA, 1991."},{"key":"5_CR17","first-page":"276","volume-title":"Relating autoepistemic and default logics","author":"W. Marek","year":"1989","unstructured":"W. Marek and M. Truszczy\u0144ski. Relating autoepistemic and default logics. In R. J. Brachman, H. J. Levesque, and R. Reiter, editors, Proc. First International Conference on Principles of Knowledge Representation and Reasoning (KR '89), pages 276\u2013288. Morgan Kaufmann, San Mateo, CA, 1989."},{"key":"5_CR18","first-page":"312","volume-title":"Defaults and probabilities; extensions and coherence","author":"E. Neufeld","year":"1989","unstructured":"E. Neufeld. Defaults and probabilities; extensions and coherence. In R. J. Brachman, H. J. Levesque, and R. Reiter, editors, Proc. First International Conference on Principles of Knowledge Representation and Reasoning (KR '89), pages 312\u2013323, San Mateo, CA, 1989. Morgan Kaufmann."},{"key":"5_CR19","first-page":"333","volume-title":"What the lottery paradox tells us about default reasoning","author":"D. Poole","year":"1989","unstructured":"D. Poole. What the lottery paradox tells us about default reasoning. In R. J. Brachman, H. J. Levesque, and R. Reiter, editors, Proc. First International Conference on Principles of Knowledge Representation and Reasoning (KR '89), pages 333\u2013340, San Mateo, CA, 1989. Morgan Kaufmann."},{"key":"5_CR20","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":"5_CR21","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/B978-0-934613-04-0.50009-0","volume-title":"Theoretical Aspects of Reasoning about Knowledge: Proc. 1986 Conference","author":"S. J. Rosenschein","year":"1986","unstructured":"S. J. Rosenschein and L. P. Kaelbling. The synthesis of digital machines with provable epistemic properties. In J. Y. Halpern, editor, Theoretical Aspects of Reasoning about Knowledge: Proc. 1986 Conference, pages 83\u201397. Morgan Kaufmann, San Mateo, CA, 1986."},{"key":"5_CR22","unstructured":"W. Rounds and G. Q. Zhang. Domain theory meets default logic. Journal of Logic and Computation, 1993."},{"key":"5_CR23","first-page":"97","volume-title":"Theoretical Aspects of Reasoning about Knowledge: Proc. Third Conference","author":"G. F. Shvarts","year":"1990","unstructured":"G. F. Shvarts. Autoepistemic modal logics. In R. Parikh, editor, Theoretical Aspects of Reasoning about Knowledge: Proc. Third Conference, pages 97\u2013109. Morgan Kaufmann, San Mateo, CA, 1990."},{"key":"5_CR24","volume-title":"Reasoning Under Incomplete Information in Artificial Intelligence","author":"L. Somb\u00e9","year":"1990","unstructured":"L. Somb\u00e9. Reasoning Under Incomplete Information in Artificial Intelligence. John Wiley & Sons, New York, 1990."},{"key":"5_CR25","first-page":"395","volume-title":"Modal logic S4F and the minimal knowledge paradigm","author":"G. F. Schwarz","year":"1992","unstructured":"G. F. Schwarz and M. Truszczy\u0144ski. Modal logic S4F and the minimal knowledge paradigm. In Theoretical Aspects of Reasoning about Knowledge: Proc. Fourth Conference, pages 395\u2013404. Morgan Kaufmann, San Mateo, CA, 1992."},{"key":"5_CR26","unstructured":"R. Stalnaker. A note on nonmonotonic modal logic. Technical report, Dept. of Philosophy, Cornell University, 1980. A slightly revised version will appear in Artificial Intelligence."}],"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\/BFb0022551.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:48:56Z","timestamp":1607550536000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022551"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540571841"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/bfb0022551","relation":{},"subject":[]}}