{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:57Z","timestamp":1725455937991},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540536864"},{"type":"electronic","value":"9783540469827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0018451","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T00:30:30Z","timestamp":1132619430000},"page":"333-347","source":"Crossref","is-referenced-by-count":3,"title":["A computationally attractive first-order logic of belief"],"prefix":"10.1007","author":[{"given":"Gerhard","family":"Lakemeyer","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/BF01471125","volume":"149","author":"A. R. Anderson","year":"1963","unstructured":"Anderson, A. R. and Belnap, N. D., First Degree Entailments. Math. Annalen, 149, 1963, pp. 302\u2013319.","journal-title":"Math. Annalen"},{"key":"22_CR2","unstructured":"Anderson, A. R. and Belnap, N. D., Entailment, The Logic of Relevance and Necessity, Princeton University Press, 1975."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Belnap, N. D., A Useful Four-Valued Logic, in G. Epstein and J. M. Dunn (eds.), Modern Uses of Multiple-Valued Logic, Reidel, 1977.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"22_CR4","unstructured":"Davis, M., Obvious Logical Inferences, in Proceedings of the Seventh International Joint Conference on Artificial Intelligence, Vancouver, B.C., 1981, pp. 530\u2013531."},{"key":"22_CR5","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"J. M. Dunn","year":"1976","unstructured":"Dunn, J. M., Intutitive Semantics for First-Degree Entailments and Coupled Trees, Philosophical Studies 29, 1976, pp. 149\u2013168.","journal-title":"Philosophical Studies"},{"key":"22_CR6","unstructured":"Frisch, A. M., Knowledge Retrieval as Specialized Inference, Ph.D. Thesis, University of Rochester, Department of Computer Science, 1986."},{"key":"22_CR7","unstructured":"Hintikka, J., Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, 1962."},{"key":"22_CR8","volume-title":"Reference and Modality","author":"J. Hintikka","year":"1971","unstructured":"Hintikka, J., Semantics for Propositional Attitudes, in L. Linsky (ed.), Reference and Modality, Oxford University Press, Oxford, 1971."},{"key":"22_CR9","volume-title":"An Introduction to Modal Logic","author":"G. E. Hughes","year":"1968","unstructured":"Hughes, G. E. and Cresswell, M. J., An Introduction to Modal Logic, Methuen and Company Ltd., London, England, 1968."},{"key":"22_CR10","volume-title":"Reference and Modality","author":"D. Kaplan","year":"1971","unstructured":"Kaplan, D., Quantifying In, in L. Linsky (ed.), Reference and Modality, Oxford University Press, Oxford, 1971."},{"key":"22_CR11","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0304-3975(84)90047-1","volume":"32","author":"J. Ketonen","year":"1984","unstructured":"Ketonen, J. and Weyhrauch, R., A Decidable Fragment of Predicate Calculus, Theoretical Computer Science 32, 1984, pp. 297\u2013307.","journal-title":"Theoretical Computer Science"},{"key":"22_CR12","first-page":"83","volume":"16","author":"S. A. Kripke","year":"1963","unstructured":"Kripke, S. A., Semantical Considerations on Modal Logic, Acta Philosophica Fennica 16, 1963, pp. 83\u201394.","journal-title":"Acta Philosophica Fennica"},{"key":"22_CR13","unstructured":"Kron, A., A Decidable First-Order Relevance Logic, unpublished manuscript, 1990."},{"key":"22_CR14","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/B978-0-934613-04-0.50027-2","volume-title":"Proc. of the Conference on Theoretical Aspects of Reasoning about Knowledge","author":"G. Lakemeyer","year":"1986","unstructured":"Lakemeyer, G., Steps Towards a First-Order Logic of Explicit and Implicit Belief, in Proc. of the Conference on Theoretical Aspects of Reasoning about Knowledge, Asilomar, California, 1986, pp. 325\u2013340."},{"key":"22_CR15","unstructured":"Lakemeyer, G., Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection, in: Proc. of the National Conference on Artificial Intelligence (AAAI-90), Boston, MA, 1990."},{"key":"22_CR16","unstructured":"Lakemeyer, G., Models of Belief for Decidable Reasoning in Incomplete Knowledge Bases, Ph.D. thesis, Department of Computer Science, University of Toronto, expected 1990."},{"key":"22_CR17","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0004-3702(84)90009-2","volume":"23","author":"H. J. Levesque","year":"1984","unstructured":"Levesque, H. J., Foundations of a Functional Approach to Knowledge Representation, Artificial Intelligence, Vol. 23, 1984, pp. 155\u2013212.","journal-title":"Artificial Intelligence"},{"key":"22_CR18","unstructured":"Levesque, H. J., A Logic of Implicit and Explicit Belief, Tech. Rep. No. 32, Fairchild Lab. for AI Research, Palo Alto, 1984."},{"key":"22_CR19","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"42","author":"H. J. Levesque","year":"1990","unstructured":"Levesque, H. J., All I Know: A Study in Autoepistemic Logic, Artificial Intelligence Vol. 42, 1990, pp. 263\u2013309.","journal-title":"Artificial Intelligence"},{"key":"22_CR20","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1111\/j.1467-8640.1988.tb00278.x","volume":"4","author":"G. McArthur","year":"1988","unstructured":"McArthur, G., Reasoning About Knowledge and Belief: A Review, Computational Intelligence, Vol. 4, 1988, pp. 223\u2013243.","journal-title":"Computational Intelligence"},{"key":"22_CR21","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"1979","unstructured":"Mendelson, E., Introduction to Mathematical Logic, 2nd edition, D. van Nostrand Company, New York, 1979.","edition":"2nd edition"},{"key":"22_CR22","unstructured":"Patel-Schneider, P. F., A Decidable First-Order Logic for Knowledge Representation, in Proc. of the Ninth International Joint Conference on Artificial Intelligence, Morgan Kaufmann, 1985, pp. 455\u2013458."},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Patel-Schneider, P. F., Decidable, Logic-Based Knowledge Representation, Ph.D thesis, University of Toronto, 1987.","DOI":"10.1111\/j.1467-8640.1987.tb00175.x"}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018451","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T22:36:35Z","timestamp":1586558195000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018451"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536864","9783540469827"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0018451","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}