{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T12:37:29Z","timestamp":1649162249901},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bf00129534","type":"journal-article","created":{"date-parts":[[2004,11,6]],"date-time":"2004-11-06T14:13:06Z","timestamp":1099750386000},"page":"35-51","source":"Crossref","is-referenced-by-count":1,"title":["Logics of knowledge and belief?applications"],"prefix":"10.1007","volume":"5","author":[{"given":"Nicholas","family":"Measor","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic","author":"J. Benthem van","year":"1984","unstructured":"Benthem, J.van (1984) Correspondence Theory. Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic (eds D. Gabbay & F. Guenthner), D. Reidel, Dordrecht, 1984."},{"key":"CR2","volume-title":"Truth, Interpretation and Information","author":"P. van Emde Boas","year":"1984","unstructured":"Boas, P. van Emde, Groenendijk, J. & Stokhof, M. (1984) The Conway Paradox: Its Solution in an Epistemic Framework, Truth, Interpretation and Information (eds J. Groenendijk, T.M.V. Janssen & M. Stokhof). Foris Publications, Dordrecht."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"Fagin, R. & Halpern, J.Y. (1988) Belief, Awareness, and Limited Reasoning, Artificial Intelligence, 34, 39?76.","journal-title":"Artificial Intelligence"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1146\/annurev.cs.02.060187.000345","volume":"2","author":"J.Y. Halpern","year":"1987","unstructured":"Halpern, J.Y. (1987) Using Reasoning about Knowledge to Analyze Distributed Systems. Ann. Rev. Comput. Sci. 2, 37?68.","journal-title":"Ann. Rev. Comput. Sci."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y. & Moses, Y. (1984) Knowledge and Common Knowledge in a Distributed Environment, Proceedings of the 3rd ACM Symposium on Principles of Distributed Computing.","DOI":"10.1145\/800222.806735"},{"key":"CR6","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J. (1962) Knowledge and Belief, Cornell University Press, Ithaca."},{"key":"CR7","volume-title":"A Companion to Modal Logic","author":"G.E. Hughes","year":"1984","unstructured":"Hughes, G.E. & Creswell, M.J. (1984) A Companion to Modal Logic, Methuen, London, 1984."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963","unstructured":"Kripke, S. (1963) Semantical Analysis of Modal Logic I, normal propositional calculi, Zeitschrift f\u00fcr Mathematisch Logik und Grundlagen der Mathematik. 9, 67?96.","journal-title":"Zeitschrift f\u00fcr Mathematisch Logik und Grundlagen der Mathematik"},{"key":"CR9","doi-asserted-by":"crossref","DOI":"10.1515\/9783111715773","volume-title":"Towards a Theory of Information. The Status of Partial Objects in Semantics","author":"F. Landman","year":"1986","unstructured":"Landman, F. (1986) Towards a Theory of Information. The Status of Partial Objects in Semantics, Foris Publications, Dordrecht, 1986."},{"key":"CR10","unstructured":"Levesque, H.J. (1987) All I Know: An Abridged Report. In Proceeding of the 1987 National Conference on AI (AAAI-87)."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"13","author":"H.J. Levesque","year":"1990","unstructured":"Levesque, H.J. (1990) All I Know: a Study in Autoepistemic reasoning. Artificial Intelligence, 13, 263?309.","journal-title":"Artificial Intelligence"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J. (1980) Circumscription ? a form of non-monotonic reasoning, Artificial Intelligence, 13, 27?39.","journal-title":"Artificial Intelligence"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"McDermott, D. & Doyle, J. (1980) Non-Monotonic Logic I, Artificial Intelligence, 13, 41?72.","journal-title":"Artificial Intelligence"},{"key":"CR14","series-title":"SRI Artificial Intelligence Center Technical Note","volume-title":"Possible-world semantics for autoepistemic logic","author":"R.C. Moore","year":"1984","unstructured":"Moore, R.C. (1984) Possible-world semantics for autoepistemic logic, SRI Artificial Intelligence Center Technical Note 337, SRI International, California, August 1984."},{"key":"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":"Moore, R.C. (1985) Semantical Considerations on Non-Monotonic Logic, Artificial Intelligence, 25, 75?94.","journal-title":"Artificial Intelligence"},{"key":"CR16","volume-title":"Non-Standard Logics for Automated Reasoning","author":"R.C. Moore","year":"1988","unstructured":"Moore, R.C. (1988) Autoepistemic Logic. In Non-Standard Logics for Automated Reasoning (eds E.H. Mamdani et al.), Academic Press, London."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF01661170","volume":"1","author":"Y. Moses","year":"1986","unstructured":"Moses, Y., Dolev, D. & Halpern, J.Y. (1986) Cheating Husbands and other stories: A case study of knowledge action and communication, Distributed Computing, 1, 167?176.","journal-title":"Distributed Computing"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"Reiter","year":"1980","unstructured":"Reiter, 1980 R. Reiter, A Logic for Default Reasoning. Artificial Intelligence, 13, 81?132.","journal-title":"Artificial Intelligence"},{"key":"CR19","volume-title":"From Modal Logic to Deductive Databases","year":"1989","unstructured":"Thayse, A. (ed.) (1989) From Modal Logic to Deductive Databases, John Wiley & Sons, Chichester."},{"key":"CR20","unstructured":"Worboys, M.F. (1989) Reasoning on Knowledge Bases with Incomplete Information (Logics of Knowledge and Belief), Technical Report No. 20, Department of Computing Studies, University of Leicester, May 1989."}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00129534.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00129534\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00129534","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T21:04:47Z","timestamp":1585947887000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00129534"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"references-count":20,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1991]]}},"alternative-id":["BF00129534"],"URL":"https:\/\/doi.org\/10.1007\/bf00129534","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"value":"0269-2821","type":"print"},{"value":"1573-7462","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}