{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,2]],"date-time":"2024-05-02T10:27:59Z","timestamp":1714645679160},"reference-count":13,"publisher":"Elsevier","isbn-type":[{"value":"9780124500105","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1016\/b978-0-12-450010-5.50020-7","type":"book-chapter","created":{"date-parts":[[2012,12,3]],"date-time":"2012-12-03T01:20:40Z","timestamp":1354497640000},"page":"247-260","source":"Crossref","is-referenced-by-count":0,"title":["Belief and Introspection"],"prefix":"10.1016","author":[{"given":"Hector J.","family":"Levesque","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-12-450010-5.50020-7_bib1","doi-asserted-by":"crossref","unstructured":"J. des Rivieres and H. J. Levesque. The Consistency of Syntactical Treatments of Knowledge. In J. Y. Halpern, editor, Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference, 115\u2013130, Morgan Kaufmann Publishers, Inc., Los Altos, CA, 1986.","DOI":"10.1016\/B978-0-934613-04-0.50011-9"},{"key":"10.1016\/B978-0-12-450010-5.50020-7_bib2","series-title":"A Weak Logic of Knowledge and Belief: Epistemic and Doxastic Logic for the Yuppie Generation","author":"Israel","year":"1985"},{"key":"10.1016\/B978-0-12-450010-5.50020-7_bib3","unstructured":"H. Levesque. A Formal Treatment of Incomplete Knowledge Bases. Ph. D. Thesis, Dept. of Computer Science, University of Toronto, Toronto, Ontario, 1981."},{"key":"10.1016\/B978-0-12-450010-5.50020-7_bib4","series-title":"IJCAI-81","first-page":"240","article-title":"The Interaction with Incomplete Knowledge Bases: A Formal Treatment","author":"Levesque","year":"1981"},{"issue":"2","key":"10.1016\/B978-0-12-450010-5.50020-7_bib5","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0004-3702(84)90009-2","article-title":"Foundations of a Functional Approach to Knowledge Representation","volume":"23","author":"Levesque","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-0-12-450010-5.50020-7_bib6","unstructured":"H. Levesque. A Logic of Implicit and Explicit Belief. In AAAI-84, 198\u2013202, Austin, TX, 1984."},{"key":"10.1016\/B978-0-12-450010-5.50020-7_bib7","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","article-title":"All I Know: A Study in Autoepistemic Logic","volume":"42","author":"Levesque","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-0-12-450010-5.50020-7_bib8","author":"Levesque","year":"1991","journal-title":"The Logic of Knowledge Bases."},{"key":"10.1016\/B978-0-12-450010-5.50020-7_bib9","first-page":"129","article-title":"First Order Theories of Individual Concepts and Propositions","volume":"9","author":"McCarthy","year":"1979"},{"issue":"1,2","key":"10.1016\/B978-0-12-450010-5.50020-7_bib10","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","article-title":"Circumscription \u2014 A Form of Non-Monotonic Reasoning","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-0-12-450010-5.50020-7_bib11","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0004-3702(85)90075-X","article-title":"Languages with Self-Reference I: Foundations","volume":"25","author":"Perlis","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-0-12-450010-5.50020-7_bib12","series-title":"Logic and Databases","first-page":"55","article-title":"On Closed World Databases","author":"Reiter","year":"1978"},{"key":"10.1016\/B978-0-12-450010-5.50020-7_bib13","unstructured":"R. Reiter. On Integrity Constraints. In M. Vardi, editor, Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1988 Conference, 97\u2013111, Morgan Kaufmann Publishers, Inc., Los Altos, CA, 1988."}],"container-title":["Artificial and Mathematical Theory of Computation"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,7,6]],"date-time":"2019-07-06T06:50:55Z","timestamp":1562395855000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780124500105500207"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9780124500105"],"references-count":13,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-450010-5.50020-7","relation":{},"subject":[],"published":{"date-parts":[[1991]]}}}