{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:37Z","timestamp":1725455677068},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540545646"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023326","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:53:34Z","timestamp":1132379614000},"page":"223-232","source":"Crossref","is-referenced-by-count":0,"title":["Autoepistemic expansions with incomplete belief introspection"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"Kalinski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic \u2014 An Introduction","author":"B. F. Chellas","year":"1980","unstructured":"Brian F. Chellas. Modal Logic \u2014 An Introduction. Cambridge University Press, Cambridge, 1980"},{"key":"13_CR2","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"Jaakko Hintikka. Knowledge and Belief. Cornell University Press, Ithaca, New York, 1962"},{"key":"13_CR3","doi-asserted-by":"crossref","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, pp. 343\u2013382, 1988","journal-title":"Artificial Intelligence"},{"unstructured":"Wiktor Marek, Miroslaw Truszczynski. Relating autoepistemic and default logics. Proc. of the 1st Int. Conf. on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, pp. 276\u2013288, 1989","key":"13_CR4"},{"key":"13_CR5","doi-asserted-by":"crossref","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, pp. 75\u201394, 1985","journal-title":"Artificial Intelligence"},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(82)90012-1","volume":"18","author":"A. Newell","year":"1982","unstructured":"Allen Newell. The Knowledge Level. Artificial Intelligence 18, pp. 87\u2013127, 1982","journal-title":"Artificial Intelligence"},{"unstructured":"H. Przymusinska, T. Przymusinski. Semantic Issues in Deductive Databases and Logic Programs, in: R.B. Banerji (Ed.), Formal Techniques in Artificial Intelligence, North-Holland, pp. 321\u2013367, 1990","key":"13_CR7"},{"unstructured":"Teodor Przymusinski. Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming. Proc. of the 1st Int. Conf. on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, pp. 341\u2013348, 1989","key":"13_CR8"},{"issue":"4","key":"13_CR9","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"M. H. van Emden, R. A. Kowalski. The Semantics of Predicate Logic as a Programming Language. Journal of the ACM 23, 4, pp. 733\u2013742, 1976","journal-title":"Journal of the ACM"},{"doi-asserted-by":"crossref","unstructured":"Allen Van Gelder. The Alternating Fixpoint of Logic Programs with Negation. Proc. of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 1\u201310, 1989","key":"13_CR10","DOI":"10.1145\/73721.73722"}],"container-title":["Lecture Notes in Computer Science","Nonmonotonic and Inductive Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023326.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:50:02Z","timestamp":1607550602000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023326"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540545646"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0023326","relation":{},"subject":[]}}