{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T05:10:50Z","timestamp":1736140250418,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540307372"},{"type":"electronic","value":"9783540316466"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11595014_53","type":"book-chapter","created":{"date-parts":[[2005,11,28]],"date-time":"2005-11-28T12:57:17Z","timestamp":1133182637000},"page":"536-547","source":"Crossref","is-referenced-by-count":8,"title":["Logical Implementation of 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":"53_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/3-540-44618-4_24","volume-title":"CONCUR 2000 - Concurrency Theory","author":"P. Abdulla","year":"2000","unstructured":"Abdulla, P., Baier, C., Iyer, P., Jonsson, B.: Reasoning about Probabilistic Lossy Channel Systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, p. 320. Springer, Heidelberg (2000)"},{"issue":"5","key":"53_CR2","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM\u00a049(5), 672\u2013713 (2002)","journal-title":"J. ACM"},{"issue":"5","key":"53_CR3","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/BF01211631","volume":"7","author":"H. Barringer","year":"1995","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: MetateM: An Introduction. Formal Aspects of Computing\u00a07(5), 533\u2013549 (1995)","journal-title":"Formal Aspects of Computing"},{"volume-title":"The Imperative Future: Principles of Executable Temporal Logics","year":"1996","key":"53_CR4","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M. (eds.): The Imperative Future: Principles of Executable Temporal Logics. Research Studies Press, Chichester (1996)"},{"key":"53_CR5","doi-asserted-by":"crossref","unstructured":"Bradshaw, J., Greaves, M., Holmback, H., Karygiannis, T., Silverman, B., Suri, N., Wong, A.: Agents for the Masses? IEEE Intelligent Systems\u00a014(2) (1999)","DOI":"10.1109\/5254.757632"},{"issue":"2-3","key":"53_CR6","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention Is Choice with Commitment. Artificial Intelligence\u00a042(2-3), 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"53_CR7","unstructured":"International Planning Competition: Probabilistic Planning Track (2004), http:\/\/www.cs.rutgers.edu\/~mlittman\/topics\/ipc04-pt"},{"key":"53_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-540-30227-8_10","volume-title":"Logics in Artificial Intelligence","author":"N. Carvalho Ferreira de","year":"2004","unstructured":"de Carvalho Ferreira, N., Fisher, M., van der Hoek, W.: Practical Reasoning for Uncertain Agents. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 82\u201394. Springer, Heidelberg (2004)"},{"key":"53_CR9","unstructured":"Dix, J., Kraus, S., Subrahmanian, V.S.: Heterogenous Temporal Probabilistic Agents. ACM Transactions on Computational Logic\u00a05(3) (2004)"},{"key":"53_CR10","volume-title":"Proc. International Joint Conf. on Artificial Intelligence (IJCAI)","author":"M. Fisher","year":"1999","unstructured":"Fisher, M., Ghidini, C.: Programming Resource-Bounded Deliberative Agents. In: Proc. International Joint Conf. on Artificial Intelligence (IJCAI). Morgan Kaufmann, San Francisco (1999)"},{"issue":"1","key":"53_CR11","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/371282.371311","volume":"2","author":"M. Fisher","year":"2001","unstructured":"Fisher, M., Dixon, C., Peim, M.: Clausal Temporal Resolution. ACM Transactions on Computational Logic\u00a02(1), 12\u201356 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"53_CR12","volume-title":"Intelligent Agents","author":"M. Fisher","year":"1995","unstructured":"Fisher, M.: Representing and Executing Agent-Based Systems. In: Wooldridge, M., Jennings, N.R. (eds.) Intelligent Agents. Springer, Heidelberg (1995)"},{"issue":"4","key":"53_CR13","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1093\/logcom\/7.4.429","volume":"7","author":"M. Fisher","year":"1997","unstructured":"Fisher, M.: A Normal Form for Temporal Logic and its Application in Theorem-Proving and Execution. J. Logic and Computation\u00a07(4), 429\u2013456 (1997)","journal-title":"J. Logic and Computation"},{"key":"53_CR14","volume-title":"Reasoning About Uncertainty","author":"J.Y. Halpern","year":"2003","unstructured":"Halpern, J.Y.: Reasoning About Uncertainty. MIT Press, Cambridge (2003)"},{"issue":"4","key":"53_CR15","doi-asserted-by":"publisher","first-page":"1469","DOI":"10.2307\/2275487","volume":"56","author":"M. Kracht","year":"1991","unstructured":"Kracht, M., Wolter, F.: Properties of Independently Axiomatizable Bimodal Logics. Journal of Symbolic Logic\u00a056(4), 1469\u20131485 (1991)","journal-title":"Journal of Symbolic Logic"},{"key":"53_CR16","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0304-3975(00)00307-8","volume":"274","author":"P. Madhusudan","year":"2002","unstructured":"Madhusudan, P., Thiagarajan, P.S.: Branching-time Controllers for Discrete Event Systems. Theoretical Computer Science\u00a0274, 117\u2013149 (2002)","journal-title":"Theoretical Computer Science"},{"key":"53_CR17","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/357233.357237","volume":"6","author":"Z. Manna","year":"1984","unstructured":"Manna, Z., Wolper, P.: Synthesis of Communication Processes for Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems\u00a06, 68\u201393 (1984)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"53_CR18","volume-title":"A Course in Game Theory","author":"M.J. Osborne","year":"1994","unstructured":"Osborne, M.J., Rubinstein, A.: A Course in Game Theory. MIT Press, Cambridge (1994)"},{"key":"53_CR19","unstructured":"Rao, A.S., Georgeff, M.: BDI Agents: from Theory to Practice. In: Proc. First International Conf. on Multi-Agent Systems (ICMAS), pp. 312\u2013319 (1995)"},{"issue":"2","key":"53_CR20","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1093\/jigpal\/11.2.135","volume":"11","author":"W. Hoek van der","year":"2003","unstructured":"van der Hoek, W., Wooldridge, M.J.: Towards a Logic of Rational Agency. Logic Journal of the IGPL\u00a011(2), 135\u2013160 (2003)","journal-title":"Logic Journal of the IGPL"},{"key":"53_CR21","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about Rational Agents","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M.: Reasoning about Rational Agents. MIT Press, Cambridge (2000)"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11595014_53","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T23:27:37Z","timestamp":1736119657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11595014_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540307372","9783540316466"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11595014_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}