{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:58:51Z","timestamp":1725566331064},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232421"},{"type":"electronic","value":"9783540302278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30227-8_10","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T01:34:52Z","timestamp":1284860092000},"page":"82-94","source":"Crossref","is-referenced-by-count":7,"title":["Practical Reasoning for Uncertain Agents"],"prefix":"10.1007","author":[{"given":"Nivea","family":"de C. Ferreira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiebe","family":"van der Hoek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"de Carvalho Ferreira, N., Fisher, M., van der Hoek, W.: A Simple Logic for Reasoning about Uncertainty, Technical Report, Department of Computer Science, University of Liverpool (2004), Online version: http:\/\/www.csc.liv.ac.uk\/~niveacf\/techreport\/"},{"key":"10_CR2","unstructured":"Driankov, D.: Reasoning about Uncertainty: Towards a many-valued logic of belief. In: IDA annual research report, pp. 113\u2013120. Link\u00f6ping University (1987)"},{"key":"10_CR3","first-page":"383","volume":"48","author":"M. Fattarosi-Barnaba","year":"1989","unstructured":"Fattarosi-Barnaba, M., Amati, G.: Modal operators with probabilistic interpretations, I. Studia Logica\u00a048, 383\u2013393 (1989)","journal-title":"Studia Logica"},{"issue":"2","key":"10_CR4","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. Journal of the ACM\u00a041(2), 340\u2013367 (1994)","journal-title":"Journal of the ACM"},{"issue":"1","key":"10_CR5","doi-asserted-by":"publisher","first-page":"277","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\u00a087(1), 277\u2013291 (1990)","journal-title":"Information and Computation"},{"issue":"3","key":"10_CR6","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/S0168-0072(98)00007-4","volume":"92","author":"T. Fernando","year":"1998","unstructured":"Fernando, T.: In conjunction with qualitative probability. Annals of Pure and Applied Logic\u00a092(3), 217\u2013234 (1998)","journal-title":"Annals of Pure and Applied Logic"},{"key":"10_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-66943-9","volume-title":"Mechanizing Hypothesis Formation","author":"P. H\u00e1jek","year":"1978","unstructured":"H\u00e1jek, P., Havr\u00e1nek, T.: Mechanizing Hypothesis Formation. Springer, Heidelberg (1978)"},{"issue":"3","key":"10_CR8","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0004-3702(87)90093-2","volume":"32","author":"J.Y. Halpern","year":"1987","unstructured":"Halpern, J.Y., Rabin, M.O.: A logic to reason about likelihood. Artificial Intelligence\u00a032(3), 379\u2013405 (1987)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10_CR9","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. Journal of Applied Non Classical Logics\u00a07(3), 287\u2013307 (1997)","journal-title":"Journal of Applied Non Classical Logics"},{"key":"10_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"J.-J.C. Meyer","year":"1995","unstructured":"Meyer, J.-J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge University Press, Cambridge (1995)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Ognjanovic, Z., R\u0103skovic, M.: Some first-order probability logics. Theoretical Computer Science, 191\u2013212 (2000)","DOI":"10.1016\/S0304-3975(98)00341-7"},{"key":"10_CR12","volume-title":"Applications of Uncertainty Formalisms","author":"S. Parsons","year":"1998","unstructured":"Parsons, S., Hunter, A.: A review of uncertainty handling formalisms. In: Hunter, A., Parsons, S. (eds.) Applications of Uncertainty Formalisms, Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30227-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T22:25:00Z","timestamp":1559687100000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232421","9783540302278"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30227-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}