{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T22:40:10Z","timestamp":1738276810195,"version":"3.35.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,7,1]],"date-time":"2008-07-01T00:00:00Z","timestamp":1214870400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2009,1]]},"DOI":"10.1007\/s10849-008-9074-5","type":"journal-article","created":{"date-parts":[[2008,6,30]],"date-time":"2008-06-30T13:15:43Z","timestamp":1214831743000},"page":"3-21","source":"Crossref","is-referenced-by-count":6,"title":["Exploring the Future with Resource-Bounded Agents"],"prefix":"10.1007","volume":"18","author":[{"given":"Michael","family":"Fisher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiara","family":"Ghidini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,7,1]]},"reference":[{"volume-title":"The imperative future: Principles of executable temporal logics","year":"1996","key":"9074_CR1","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M. (eds) (1996) The imperative future: Principles of executable temporal logics. Research Studies Press, Chichester, United Kingdom"},{"key":"9074_CR2","doi-asserted-by":"crossref","unstructured":"Bordini, R. H., Dastani, M., Dix, J., & El Fallah Seghrouchni, A. (Eds.) (2005). Multi-agent programming: Languages, platforms and applications. Springer-Verlag.","DOI":"10.1007\/b137449"},{"issue":"2","key":"9074_CR3","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/5254.757632","volume":"14","author":"J. Bradshaw","year":"1999","unstructured":"Bradshaw J., Greaves M., Holmback H., Karygiannis T., Silverman B., Suri N., Wong A. (1999) Agents for the Masses?. IEEE Intelligent Systems 14(2): 53\u201363","journal-title":"IEEE Intelligent Systems"},{"key":"9074_CR4","doi-asserted-by":"crossref","unstructured":"Cimatti, A., & Serafini, L. (1996). Mechanizing multi-agent reasoning with belief contexts. In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR\u201996, pp. 694\u2013696.","DOI":"10.1007\/3-540-61313-7_111"},{"key":"9074_CR5","doi-asserted-by":"crossref","unstructured":"Emerson, E. A. (1990). Temporal and modal logic. In J. van Leeuwen (Ed.), Handbook of theoretical computer science (pp. 996\u20131072). Elsevier .","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"issue":"1","key":"9074_CR6","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1017\/S0269888900007670","volume":"11","author":"M. Fisher","year":"1996","unstructured":"Fisher M. (1996) An introduction to executable temporal logics. Knowledge Engineering Review 11(1): 43\u201356","journal-title":"Knowledge Engineering Review"},{"issue":"4","key":"9074_CR7","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1093\/logcom\/7.4.429","volume":"7","author":"M. Fisher","year":"1997","unstructured":"Fisher M. (1997) A normal form for temporal logic and its application in theorem-proving and execution. Journal of Logic and Computation 7(4): 429\u2013456","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"9074_CR8","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/s10458-004-3140-4","volume":"10","author":"M. Fisher","year":"2005","unstructured":"Fisher M. (2005) Temporal development methods for agent-based systems. Journal of Autonomous Agents and Multi-Agent Systems 10(1): 41\u201366","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"9074_CR9","unstructured":"Fisher, M. (2008). Executable specification of deliberative agents. (Submitted)."},{"key":"9074_CR10","unstructured":"Fisher, M., & Ghidini, C. (1999). Programming resource-bounded deliberative agents. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI\u201999), pp. 200\u2013206."},{"key":"9074_CR11","unstructured":"Fisher, M., & Ghidini, C. (2000). Agents playing with dynamic resource bounds. In ECAI Workshop on Balancing Reactivity and Social Deliberation in Multi-Agent Systems. Berlin, Germany."},{"key":"9074_CR12","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-45634-1_11","volume":"2403","author":"M. Fisher","year":"2002","unstructured":"Fisher M., Ghidini C. (2002) Agents with bounded temporal resources. Lecture Notes in Computer Science 2403: 169\u2013184","journal-title":"Lecture Notes in Computer Science"},{"key":"9074_CR13","unstructured":"Fisher, M., & Ghidini, C. (2008). Executable specifications of resource-bounded agents. (Submitted)."},{"key":"9074_CR14","doi-asserted-by":"crossref","unstructured":"Ghidini, C. (1999). Modelling (Un)bounded beliefs. In Proceedings of Second International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT). Trento, Italy.","DOI":"10.1007\/3-540-48315-2_12"},{"issue":"4","key":"9074_CR15","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"Ghidini C., Giunchiglia F. (2001) Local models semantics, or contextual reasoning \u00a0=\u00a0 locality \u00a0+\u00a0 compatibility. Artificial Intelligence 127(4): 221\u2013259","journal-title":"Artificial Intelligence"},{"key":"9074_CR16","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern J.Y., Moses Y. (1992) A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence 54: 319\u2013379","journal-title":"Artificial Intelligence"},{"issue":"3","key":"9074_CR17","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","volume":"8","author":"A.S. Rao","year":"1998","unstructured":"Rao A.S. (1998) Decision procedures for propositional linear-time belief-desire-intention logics. Journal of Logic and Computation 8(3): 293\u2013342","journal-title":"Journal of Logic and Computation"},{"key":"9074_CR18","unstructured":"Rao, A. S., & Georgeff, M. (1995). BDI agents: From theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS) (pp. 312\u2013319). San Francisco, CA."},{"key":"9074_CR19","doi-asserted-by":"crossref","unstructured":"van Linder, B., van der Hoek, W., & Meyer, J. J. C. (1996). Formalising motivational attitudes of agents. In Intelligent Agents II, Vol. 1037 of Lecture Notes in Computer Science. Springer-Verlag, pp. 17\u201332.","DOI":"10.1007\/3540608052_56"},{"key":"9074_CR20","doi-asserted-by":"crossref","unstructured":"Wooldridge, M. (2000). Reasoning about Rational Agents. MIT Press.","DOI":"10.7551\/mitpress\/5804.001.0001"},{"key":"9074_CR21","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., & Ciancarini, P. (2001). Agent-oriented software engineering: The state of the art. In Agent-oriented software engineering, Vol. 1957 of Lecture Notes in Artificial Intelligence.","DOI":"10.1007\/3-540-44564-1_1"},{"issue":"2","key":"9074_CR22","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"Wooldridge M., Jennings N.R. (1995) Intelligent agents: Theory and practice. The Knowledge Engineering Review 10(2): 115\u2013152","journal-title":"The Knowledge Engineering Review"},{"volume-title":"Foundations of rational agency, Applied Logic Series","year":"1999","key":"9074_CR23","unstructured":"Wooldridge M., Rao A. (Eds) (1999) Foundations of rational agency, Applied Logic Series. Kluwer Academic Publishers, Dordrecht"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-008-9074-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-008-9074-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-008-9074-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T22:07:14Z","timestamp":1738274834000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-008-9074-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,1]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,1]]}},"alternative-id":["9074"],"URL":"https:\/\/doi.org\/10.1007\/s10849-008-9074-5","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2008,7,1]]}}}