{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:19:58Z","timestamp":1737436798885,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540741275"},{"type":"electronic","value":"9783540741282"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74128-2_2","type":"book-chapter","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T06:05:15Z","timestamp":1188194715000},"page":"19-34","source":"Crossref","is-referenced-by-count":0,"title":["Verifying Space and Time Requirements for Resource-Bounded Agents"],"prefix":"10.1007","author":[{"given":"Natasha","family":"Alechina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piergiorgio","family":"Bertoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiara","family":"Ghidini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Jago","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Logan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciano","family":"Serafini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11691792_3","volume-title":"Declarative Agent Languages and Technologies III","author":"T. \u00c5gotnes","year":"2006","unstructured":"\u00c5gotnes, T., Walicki, M.: Complete axiomatizations of finite syntactic epistemic states. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, pp. 33\u201350. Springer, Heidelberg (2006)"},{"key":"2_CR2","first-page":"606","volume-title":"Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004)","author":"N. Alechina","year":"2004","unstructured":"Alechina, N., Logan, B., Whitsey, M.: A complete and decidable logic for resource-bounded agents. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), pp. 606\u2013613. ACM Press, New York (July 2004)"},{"issue":"3","key":"2_CR3","first-page":"401","volume":"8","author":"M. Benerecetti","year":"1998","unstructured":"Benerecetti, M., Giunchiglia, F., Serafini, L.: Model Checking Multiagent Systems. Journal of Logic and Computation, Special Issue on Computational & Logical Aspects of Multi-Agent Systems\u00a08(3), 401\u2013423 (1998)","journal-title":"Journal of Logic and Computation, Special Issue on Computational & Logical Aspects of Multi-Agent Systems"},{"unstructured":"Berger, M., Bauer, B., Watzke, M.: A scalable agent infrastructure. In: Proceedings of the Second Workshop on Infrastructure for Agents, MAS and Scalable MAS (held in conjuction with Autonomous Agents\u201901), Montreal (2001)","key":"2_CR4"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF03037438","volume":"4","author":"W. Bibel","year":"1986","unstructured":"Bibel, W.: A deductive solution for plan generation. New Generation Computing\u00a04, 115\u2013132 (1986)","journal-title":"New Generation Computing"},{"issue":"1,2","key":"2_CR6","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/S0004-3702(02)00374-0","volume":"147","author":"A. Cimatti","year":"2003","unstructured":"Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking. Artificial Intelligence\u00a0147(1,2), 35\u201384 (2003)","journal-title":"Artificial Intelligence"},{"issue":"5","key":"2_CR7","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1093\/logcom\/7.5.633","volume":"7","author":"H.N. Duc","year":"1997","unstructured":"Duc, H.N.: Reasoning about rational, but not logically omniscient, agents. Journal of Logic and Computation\u00a07(5), 633\u2013648 (1997)","journal-title":"Journal of Logic and Computation"},{"key":"2_CR8","doi-asserted-by":"crossref","first-page":"79","DOI":"10.7551\/mitpress\/5352.003.0006","volume-title":"Philosophy and AI: Essays at the Interface","author":"J. Elgot-Drapkin","year":"1991","unstructured":"Elgot-Drapkin, J., Miller, M., Perlis, D.: Memory, reason and time: the Step-Logic approach. In: Philosophy and AI: Essays at the Interface, pp. 79\u2013103. MIT Press, Cambridge, Massachusetts (1991)"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1080\/09528139008953715","volume":"2","author":"J.J. Elgot-Drapkin","year":"1990","unstructured":"Elgot-Drapkin, J.J., Perlis, D.: Reasoning situated in time I: Basic concepts. Journal of Experimental and Theoretical Artificial Intelligence\u00a02, 75\u201398 (1990)","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"2_CR10","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. MIT Press, Cambridge, Massachusetts (1995)"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02, 187\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"2_CR12","first-page":"200","volume-title":"Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI 1999)","author":"M. Fisher","year":"1999","unstructured":"Fisher, M., Ghidini, C.: Programming Resource-Bounded Deliberative Agents. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI 1999), pp. 200\u2013206. Morgan Kaufmann, San Francisco (1999)"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1145\/988672.988771","volume-title":"Proceedings of the 13th international conference on World Wide Web, WWW 2004","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL rules language. In: Proceedings of the 13th international conference on World Wide Web, WWW 2004, pp. 723\u2013731. ACM, New York (2004)"},{"key":"2_CR14","first-page":"62","volume-title":"AAAI Fall Symposium on Automated Deduction in Nonstandard Logics","author":"E. Jacopin","year":"1993","unstructured":"Jacopin, E.: Classical AI planning as theorem proving: The case of a fragment of linear logic. In: AAAI Fall Symposium on Automated Deduction in Nonstandard Logics, pp. 62\u201366. AAAI Press, Palo Alto, California (1993)"},{"key":"2_CR15","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Adaptive Agents and Multi-Agent Systems II(AAMAS)","author":"M. Kacprzak","year":"2005","unstructured":"Kacprzak, M., Lomuscio, A., Penczek, W.: Verification of multiagent systems via unbounded model checking. In: Kudenko, D., Kazakov, D., Alonso, E. (eds.) Adaptive Agents and Multi-Agent Systems II(AAMAS). LNCS (LNAI), vol.\u00a03394, Springer, Heidelberg (2005)"},{"key":"2_CR16","first-page":"1194","volume-title":"Proceedings of the Thirteenth National Conference on Artificial Intelligence","author":"H. Kautz","year":"1996","unstructured":"Kautz, H., Selman, B.: Pushing the envelope: Planning, propositional logic, and stochastic search. In: Proceedings of the Thirteenth National Conference on Artificial Intelligence, pp. 1194\u20131201. AAAI Press, Stanford, California, USA (1996)"},{"issue":"1-2","key":"2_CR17","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/S0004-3702(97)00026-X","volume":"94","author":"S.J. Russell","year":"1997","unstructured":"Russell, S.J.: Rationality and intelligence. Artificial Intelligence\u00a094(1-2), 57\u201377 (1997)","journal-title":"Artificial Intelligence"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1145\/544862.544877","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002)","author":"S. Tarkoma","year":"2002","unstructured":"Tarkoma, S., Laukkanen, M.: Supporting software agents on small devices. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), pp. 565\u2013566. ACM Press, New York, NY, USA (2002)"},{"doi-asserted-by":"crossref","unstructured":"van Benthem, J., Liu, F.: Diversity of agents in games. Philosophia Scientiae, vol. 8(2) (2004)","key":"2_CR19","DOI":"10.4000\/philosophiascientiae.571"}],"container-title":["Lecture Notes in Computer Science","Model Checking and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74128-2_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T17:23:56Z","timestamp":1737393836000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74128-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540741275","9783540741282"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74128-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}