{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T09:10:23Z","timestamp":1737018623855,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540696186"},{"type":"electronic","value":"9783540696193"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-69619-3_5","type":"book-chapter","created":{"date-parts":[[2007,5,14]],"date-time":"2007-05-14T23:32:47Z","timestamp":1179185567000},"page":"80-94","source":"Crossref","is-referenced-by-count":0,"title":["A Complete Probabilistic Belief Logic"],"prefix":"10.1007","author":[{"given":"Zining","family":"Cao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Representing and reasoning with probabilistic knowledge: a logical approach to probabilities","author":"F. Bacchus","year":"1990","unstructured":"Bacchus, F.: Representing and reasoning with probabilistic knowledge: a logical approach to probabilities. MIT Press, Cambridge (1990)"},{"issue":"4","key":"5_CR2","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/BF00370648","volume":"46","author":"M. Fattorosi-Barnaba","year":"1987","unstructured":"Fattorosi-Barnaba, M., Amati, G.: Modal Operators with Probabilistic Interpretations I. Studia Logica\u00a046(4), 383\u2013393 (1987)","journal-title":"Studia Logica"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/S0019-9958(84)80039-X","volume":"63","author":"Y. Feldman","year":"1984","unstructured":"Feldman, Y.: A decidable prepositional probabilistic dynamic logic with explicit probabilities. Information and Control\u00a063, 11\u201338 (1984)","journal-title":"Information and Control"},{"key":"5_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/978-3-540-30227-8_10","volume-title":"Logics in Artificial Intelligence","author":"N.C. C. Ferreira de","year":"2004","unstructured":"de C. Ferreira, N.C., Fisher, M., van der Hoek, W.: Practical Reasoning for Uncertain Agents. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 82\u201394. Springer, Heidelberg (2004)"},{"key":"5_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1007\/11595014_53","volume-title":"Progress in Artificial Intelligence","author":"N. C. Ferreira de","year":"2005","unstructured":"de C. Ferreira, N., Fisher, M., van der Hoek, W.: Logical Implementation of Uncertain Agents. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol.\u00a03808, pp. 536\u2013547. Springer, Heidelberg (2005)"},{"issue":"2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R. Fagin","year":"1994","unstructured":"Fagin, R., Halpern, J.Y.: Reasoning about knowledge and probability. J. ACM\u00a041(2), 340\u2013367 (1994)","journal-title":"J. ACM"},{"issue":"1\/2","key":"5_CR7","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","author":"R. Fagin","year":"1990","unstructured":"Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities, Information and Computation. Information and Computation\u00a087(1\/2), 78\u2013128 (1990)","journal-title":"Information and Computation"},{"key":"5_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge. The MIT Press, Cambridge (1995)"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01531062","volume":"4","author":"J.Y. Halpern","year":"1991","unstructured":"Halpern, J.Y.: The relationship between knowledge, belief, and certainty. Annals of Mathematics and Artificial Intelligence\u00a04, 301\u2013322 (1991)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"5_CR10","unstructured":"Halpern, J.Y.: Lexicographic probability, conditional probability, and nonstandard probability. In: Proceedings of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge, pp. 17\u201330 (2001)"},{"issue":"3","key":"5_CR11","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J.Y. Halpern","year":"1990","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. J. ACM\u00a037(3), 549\u2013587 (1990)","journal-title":"J. ACM"},{"key":"5_CR12","first-page":"1","volume-title":"Proceedings of the 16th ACM Symposium on Theory of Computing","author":"S. Hart","year":"1984","unstructured":"Hart, S., Sharir, M.: Probabilistic temporal logics for finite and bounded models. In: Proceedings of the 16th ACM Symposium on Theory of Computing, pp. 1\u201313. ACM Press, New York (1984)"},{"issue":"4","key":"5_CR13","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1145\/153724.153770","volume":"40","author":"J.Y. Halpern","year":"1993","unstructured":"Halpern, J.Y., Tuttle, M.R.: Knowledge, probability, and adversaries, J.ACM\u00a040(4), 917\u2013962 (1993)","journal-title":"J.ACM"},{"key":"5_CR14","volume-title":"Knowledge and belief","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and belief. Cornell University Press, Ithaca (1962)"},{"issue":"3","key":"5_CR15","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1080\/11663081.1997.10510916","volume":"7","author":"W. Hoek van der","year":"1997","unstructured":"van der Hoek, W.: Some considerations on the logic PFD: A logic combining modality and probability. J. Applied Non-Classical Logics\u00a07(3), 287\u2013307 (1997)","journal-title":"J. Applied Non-Classical Logics"},{"key":"5_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"726","DOI":"10.1007\/11518655_61","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"N. Ikodinovic","year":"2005","unstructured":"Ikodinovic, N., Ognjanovic, Z.: A Logic with Coherent Conditional Probabilities. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol.\u00a03571, pp. 726\u2013736. Springer, Heidelberg (2005)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1023\/A:1025050800836","volume":"12","author":"B.P. Kooi","year":"2003","unstructured":"Kooi, B.P.: Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information\u00a012, 381\u2013408 (2003)","journal-title":"Journal of Logic, Language and Information"},{"volume-title":"Knowledge and belief in philosophy and artificial intelligence","year":"1995","key":"5_CR18","unstructured":"Laux, A., Wansing, H. (eds.): Knowledge and belief in philosophy and artificial intelligence. Akademie Verlag GmbH, Berlin (1995)"},{"key":"5_CR19","unstructured":"Lukasiewicz, T.: Weak nonmonotonic probabilistic logics. In: KR2004, Whistler, Canada (2004)"},{"key":"5_CR20","unstructured":"Milch, B., Koller, D.: Probabilistic Models for Agent\u2019s Beliefs and Decisions. In: Proc. 16th Conference on Uncertainty in Artificial Intelligence 2000, pp. 389\u2013396 (2000)"},{"key":"5_CR21","volume-title":"Probabilistic reasoning in intelligent systems: Networks of plausible inference","author":"J. Pearl","year":"1988","unstructured":"Pearl, J.: Probabilistic reasoning in intelligent systems: Networks of plausible inference. Morgan Kaufmann, San Mateo (1988)"},{"key":"5_CR22","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Proceeding of KR-91, San Mateo, CA, USA, pp. 473\u2013484 (1991)"},{"key":"5_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/978-3-540-30227-8_21","volume-title":"Logics in Artificial Intelligence","author":"M. Raskovic","year":"2004","unstructured":"Raskovic, M., Ognjanovic, Z., Markovic, Z.: A Logic with Conditional Probabilities. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 226\u2013238. Springer, Heidelberg (2004)"},{"key":"5_CR24","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A mathematical theory of evidence","author":"G. Shafer","year":"1976","unstructured":"Shafer, G.: A mathematical theory of evidence. Princeton University Press, Princeton (1976)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69619-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T08:12:01Z","timestamp":1737015121000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69619-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540696186","9783540696193"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69619-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}