{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T14:19:46Z","timestamp":1777299586276,"version":"3.51.4"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030038397","type":"print"},{"value":"9783030038403","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-03840-3_2","type":"book-chapter","created":{"date-parts":[[2018,11,8]],"date-time":"2018-11-08T01:28:57Z","timestamp":1541640537000},"page":"15-29","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Timed Memory in Resource-Bounded Agents"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Formisano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentina","family":"Pitoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,11,9]]},"reference":[{"key":"2_CR1","volume-title":"Visuo-Spatial Working Memory. Essays in Cognitive Psychology","author":"RH Logie","year":"1994","unstructured":"Logie, R.H.: Visuo-Spatial Working Memory. Essays in Cognitive Psychology. Psychology Press, Hove (1994)"},{"issue":"2\u20133","key":"2_CR2","first-page":"183","volume":"23","author":"D Pearson","year":"2004","unstructured":"Pearson, D., Logie, R.H.: Effect of stimulus modality and working memory load on menthal synthesis performance. Imagin. Cogn. Pers. 23(2\u20133), 183\u2013191 (2004)","journal-title":"Imagin. Cogn. Pers."},{"issue":"8","key":"2_CR3","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1016\/j.knosys.2009.05.006","volume":"22","author":"JS Gero","year":"2009","unstructured":"Gero, J.S., Peng, W.: Understanding behaviors of a constructive memory agent: a Markov chain analysis. Knowl.-Based Syst. 22(8), 610\u2013621 (2009)","journal-title":"Knowl.-Based Syst."},{"key":"2_CR4","unstructured":"Balbiani, P., Fern\u00e1ndez-Duque, D., Lorini, E.: A logical theory of belief dynamics for resource-bounded agents. In: Proceedings of AAMAS 2016, pp. 644\u2013652. ACM (2016)"},{"issue":"1","key":"2_CR5","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R Fagin","year":"1987","unstructured":"Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artif. Intell. 34(1), 39\u201376 (1987)","journal-title":"Artif. Intell."},{"issue":"2","key":"2_CR6","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/s10849-014-9201-4","volume":"23","author":"T \u00c5gotnes","year":"2014","unstructured":"\u00c5gotnes, T., Alechina, N.: A logic for reasoning about knowledge of unawareness. J. Log. Lang. Inf. 23(2), 197\u2013217 (2014)","journal-title":"J. Log. Lang. Inf."},{"issue":"2","key":"2_CR7","first-page":"169","volume":"23","author":"H Ditmarsch van","year":"2014","unstructured":"van Ditmarsch, H., French, T.: Semantics for knowledge and change of awareness. J. Log., Lang. Inf. 23(2), 169\u2013195 (2014)","journal-title":"J. Log., Lang. Inf."},{"key":"2_CR8","unstructured":"Alechina, N., Logan, B., Whitsey, M.: A complete and decidable logic for resource-bounded agents. In: Proceedings of AAMAS 2004, pp. 606\u2013613. IEEE Computer Society (2004)"},{"issue":"4","key":"2_CR9","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1023\/A:1010050603219","volume":"3","author":"J Grant","year":"2000","unstructured":"Grant, J., Kraus, S., Perlis, D.: A logic for characterizing multiple bounded agents. Auton. Agents Multi-Agent Syst. 3(4), 351\u2013387 (2000)","journal-title":"Auton. Agents Multi-Agent Syst."},{"issue":"4","key":"2_CR10","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1609\/aimag.v38i4.2744","volume":"38","author":"JE Laird","year":"2017","unstructured":"Laird, J.E., Lebiere, C., Rosenbloom, P.S.: A standard model of the mind: toward a common computational framework across artificial intelligence, cognitive science, neuroscience, and robotics. AI Mag. 38(4), 13\u201326 (2017)","journal-title":"AI Mag."},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BFb0026751","volume-title":"Intelligent Agents IV Agent Theories, Architectures, and Languages","author":"AK Bansal","year":"1997","unstructured":"Bansal, A.K., Ramohanarao, K., Rao, A.: Distributed storage of replicated beliefs to facilitate recovery of distributed intelligent agents. In: Singh, M.P., Rao, A., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 77\u201391. Springer, Heidelberg (1997). \nhttps:\/\/doi.org\/10.1007\/BFb0026751"},{"issue":"2","key":"2_CR12","first-page":"161","volume":"5","author":"A Omicini","year":"2007","unstructured":"Omicini, A., Ricci, A., Viroli, M.: Timed environment for web agents. Web Intell. Agent Syst. 5(2), 161\u2013175 (2007)","journal-title":"Web Intell. Agent Syst."},{"key":"2_CR13","first-page":"71","volume-title":"Multiagent Systems and Software Architecture, Proceedings of the Special Track at Net. ObjectDays","author":"D Micucci","year":"2006","unstructured":"Micucci, D., Oldani, M., Tisato, F.: Time-aware multi agent systems. In: Weyns, D., Holvoet, T. (eds.) Multiagent Systems and Software Architecture, Proceedings of the Special Track at Net. ObjectDays, pp. 71\u201378. Katholieke Universiteit Leuven, Belgium (2006)"},{"issue":"7","key":"2_CR14","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1080\/01969722.2011.610711","volume":"42","author":"F Chesani","year":"2011","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: Monitoring time-aware commitments within agent-based simulation environments. Cybern. Syst. 42(7), 546\u2013566 (2011)","journal-title":"Cybern. Syst."},{"key":"2_CR15","volume-title":"The Logic of Time - A Model-theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse","author":"J Benthem van","year":"1991","unstructured":"van Benthem, J.: The Logic of Time - A Model-theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse, vol. 156. Synthese library and Kluwer, Boston (1991)"},{"issue":"4","key":"2_CR16","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), 255\u2013299 (1990)","journal-title":"Real-Time Syst."},{"issue":"4","key":"2_CR17","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"JY Halpern","year":"1991","unstructured":"Halpern, J.Y., Shoham, Y.: A propositional modal logic of time intervals. J. ACM 38(4), 935\u2013962 (1991)","journal-title":"J. ACM"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.entcs.2011.10.004","volume":"278","author":"P Balbiani","year":"2011","unstructured":"Balbiani, P., Goranko, V., Sciavicco, G.: Two-sorted point-interval temporal logics. Electr. Notes Theor. Comput. Sci. 278, 31\u201345 (2011)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1007\/3-540-55719-9_103","volume-title":"Automata, Languages and Programming","author":"TA Henzinger","year":"1992","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: What good are digital clocks? In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623, pp. 545\u2013558. Springer, Heidelberg (1992). \nhttps:\/\/doi.org\/10.1007\/3-540-55719-9_103"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-85778-5_1","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J Ouaknine","year":"2008","unstructured":"Ouaknine, J., Worrell, J.: Some recent results in metric temporal logic. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol. 5215, pp. 1\u201313. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-85778-5_1"},{"issue":"3","key":"2_CR21","doi-asserted-by":"publisher","first-page":"977","DOI":"10.2307\/2695090","volume":"66","author":"C Areces","year":"2001","unstructured":"Areces, C., Blackburn, P., Marx, M.: Hybrid logics: characterization, interpolation and complexity. J. Symb. Log. 66(3), 977\u20131010 (2001)","journal-title":"J. Symb. Log."},{"issue":"2","key":"2_CR22","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1305\/ndjfl\/1040046088","volume":"37","author":"J Engelfriet","year":"1996","unstructured":"Engelfriet, J.: Minimal temporal epistemic logic. Notre Dame J. Form. Log. 37(2), 233\u2013259 (1996)","journal-title":"Notre Dame J. Form. Log."},{"issue":"1","key":"2_CR23","first-page":"1","volume":"62","author":"Y Hirshfeld","year":"2004","unstructured":"Hirshfeld, Y., Rabinovich, A.M.: Logics for real time: decidability and complexity. Fundam. Inform. 62(1), 1\u201328 (2004)","journal-title":"Fundam. Inform."}],"container-title":["Lecture Notes in Computer Science","AI*IA 2018 \u2013 Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03840-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,9]],"date-time":"2019-01-09T11:27:09Z","timestamp":1547033229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03840-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030038397","9783030038403"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03840-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"AI*IA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference of the Italian Association for Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Trento","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aiia2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/aixia2018.fbk.eu\/index.php\/home\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"210","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"41","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"20% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"2,5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}