{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:06Z","timestamp":1747546926935},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439622"},{"type":"electronic","value":"9783540456346"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45634-1_11","type":"book-chapter","created":{"date-parts":[[2007,5,21]],"date-time":"2007-05-21T10:31:42Z","timestamp":1179743502000},"page":"169-184","source":"Crossref","is-referenced-by-count":5,"title":["Agents with Bounded Temporal Resources"],"prefix":"10.1007","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":[[2002,7,12]]},"reference":[{"issue":"5","key":"11_CR1","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/BF01211631","volume":"7","author":"H. Barringer","year":"1995","unstructured":"H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. MetateM: An Introduction. Formal Aspects of Computing, 7(5):533\u2013549, 1995.","journal-title":"Formal Aspects of Computing"},{"issue":"3","key":"11_CR2","first-page":"401","volume":"8","author":"M. Benerecetti","year":"1998","unstructured":"M. Benerecetti, F. Giunchiglia, and L. Serafini. Model Checking Multiagent Systems. Journal of Logic and Computation, Special Issue on Computational & Logical Aspects of Multi-Agent Systems, 8(3):401\u2013423, 1998.","journal-title":"Journal of Logic and Computation, Special Issue on Computational & Logical Aspects of Multi-Agent Systems"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","volume":"4","author":"M. E. Bratman","year":"1988","unstructured":"M. E. Bratman, D. J. Israel, and M. E. Pollack. Plans and resource-bounded practical reasoning. Computational Intelligence, 4:349\u2013355, 1988.","journal-title":"Computational Intelligence"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"B. F. Chellas. Modal Logic-an Introduction. Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"11_CR5","unstructured":"A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts II: Elaboration Tolerance. In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS-95), pages 57\u201364, 1996."},{"issue":"3","key":"11_CR6","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1093\/logcom\/8.3.345","volume":"8","author":"C. Dixon","year":"1998","unstructured":"C. Dixon, M. Fisher, and M. Wooldridge. Resolution for Temporal Logics of Knowledge. Journal of Logic and Computation, 8(3):345\u2013372, 1998.","journal-title":"Journal of Logic and Computation"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996\u20131072. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"M. Fisher. Representing and Executing Agent-Based Systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents Springer-Verlag, 1995.","DOI":"10.1007\/3-540-58855-8_20"},{"key":"11_CR9","unstructured":"M. Fisher. Implementing BDI-like Systems by Direct Execution. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI). Morgan-Kaufmann, 1997."},{"key":"11_CR10","unstructured":"M. Fisher and C. Ghidini. Programming Resource-Bounded Deliberative Agents. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI\u201999), pages 200\u2013206. Morgan Kaufmann Publ., Inc, 1999."},{"key":"11_CR11","unstructured":"M. Fisher and C. Ghidini. Specifying and implementing agents with dynamic resource bounds. In working notes of the 2nd International Cognitive Robotics Workshop, 2000."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"M. Fisher and C. Ghidini. The abc of rational agent modelling. In Proceedings of the first international joint conference on autonomous agents and multiagent systems (AAMAS\u201902), Bologna, Italy, July 2002.","DOI":"10.1145\/544862.544943"},{"issue":"2","key":"11_CR13","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"C. Ghidini and F. Giunchiglia. Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence, 127(2):221\u2013259, April 2001.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"11_CR14","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence, 65(1):29\u201370, 1994.","journal-title":"Artificial Intelligence"},{"key":"11_CR15","unstructured":"J. McCarthy. Formalization of Two Puzzles Involving Knowledge. In V. Lifschitz, editor, Formalizing Common Sense-Papers by John McCarthy, pages 158\u2013166. Ablex Publishing Corporation, 1990."},{"issue":"1\u20132","key":"11_CR16","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0004-3702(98)00068-X","volume":"103","author":"N. Muscettola","year":"1998","unstructured":"N. Muscettola, P. Pandurang Nayak, Barney Pell, and Brian Williams. Remote agent: To boldly go where no ai system has gone before. Artificial Intelligence, 103(1\u20132):5\u201348, 1998.","journal-title":"Artificial Intelligence"},{"key":"11_CR17","unstructured":"A. S. Rao and M. P. Georgeff. Modeling Agents within a BDI-Architecture. In R. Fikes and E. Sandewall, editors, International Conference on Principles of Knowledge Representation and Reasoning (KR), Cambridge, Massachusetts, April 1991. Morgan Kaufmann."}],"container-title":["Lecture Notes in Computer Science","Foundations and Applications of Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45634-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T20:35:46Z","timestamp":1550349346000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45634-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439622","9783540456346"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45634-1_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}