{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T17:13:43Z","timestamp":1740158023882,"version":"3.37.3"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2018,3,20]],"date-time":"2018-03-20T00:00:00Z","timestamp":1521504000000},"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":["J Ambient Intell Human Comput"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1007\/s12652-018-0755-x","type":"journal-article","created":{"date-parts":[[2018,3,20]],"date-time":"2018-03-20T15:02:44Z","timestamp":1521558164000},"page":"1597-1610","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Formalizing tool use in intelligent environments"],"prefix":"10.1007","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1891-6661","authenticated-orcid":false,"given":"Daghan L.","family":"Acay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liz","family":"Sonenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gil","family":"Tidhar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,20]]},"reference":[{"key":"755_CR1","doi-asserted-by":"crossref","unstructured":"Acay DL, Sonenberg L, Ricci A, Pasquier P (2008a) How situated is your agent? A cognitive perspective. In: Hindriks KV, Pokahr A, Sardi\u00f1a S (eds) ProMAS 2008, Portugal. Revised invited and selected papers, vol 5442 of LNCS, pp 136\u2013151. Springer","DOI":"10.1007\/978-3-642-03278-3_9"},{"key":"755_CR2","doi-asserted-by":"crossref","unstructured":"Acay DL, Tidhar G, Sonenberg L (2008b) Extending agent capabilities: tools vs. agents. In: Proceedings of the 2008 IEEE\/WIC\/ACM international conference on intelligent agent technology, Sydney, Australia, 2008, pp 259\u2013265. IEEE Computer Society","DOI":"10.1109\/WIIAT.2008.247"},{"key":"755_CR3","doi-asserted-by":"crossref","unstructured":"Acay DL, Pasquier P, Sonenberg L (2007) Extrospection: Agents reasoning about the environment. In The 3rd international conference on intelligent environments, Ulm, Germany, pp 220\u2013227. IEE","DOI":"10.1049\/cp:20070372"},{"key":"755_CR4","unstructured":"Acay LD (2010) Reasoning with the Environment Through Extrospection. PhD thesis, University of Melbourne, Department of Information Systems"},{"issue":"4","key":"755_CR5","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s10472-010-9215-9","volume":"61","author":"TM Behrens","year":"2011","unstructured":"Behrens TM, Hindriks KV, Dix J (2011) Towards an environment interface standard for agent platforms. Ann Math Artif Intell 61(4):261\u2013295","journal-title":"Ann Math Artif Intell"},{"key":"755_CR6","volume-title":"Intentions, plans, and practical reasoning","author":"ME Bratman","year":"1988","unstructured":"Bratman ME (1988) Intentions, plans, and practical reasoning. Harvard University Press, Cambridge"},{"issue":"6","key":"755_CR7","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1080\/00207720500438480","volume":"37","author":"D Casbeer","year":"2006","unstructured":"Casbeer D, Kingston D, Beard R, McLain T (2006) Cooperative forest fire surveillance using a team of small unmanned air vehicles. Int J Syst Sci 37(6):351\u2013360","journal-title":"Int J Syst Sci"},{"key":"755_CR8","first-page":"1","volume":"6","author":"A Chaib","year":"2017","unstructured":"Chaib A, Boussebough I, Chaoui A (2017) Adaptive service composition in an ambient environment with a multi-agent system. J Ambient Intell Hum Comput 6:1\u201314","journal-title":"J Ambient Intell Hum Comput"},{"key":"755_CR9","doi-asserted-by":"publisher","unstructured":"Cheng BHC, de Lemos R, Giese H, Inverardi P, Magee J, Andersson J, Becker B, Bencomo N, Brun Y, Cukic B, Di Marzo Serugendo G, Dustdar S, Finkelstein A, Gacek C, Geihs K, Grassi V, Karsai G, Kienle HM, Kramer J, Litoiu M, Malek S, Mirandola R, M\u00fcller HA, Park S, Shaw M, Tichy M, Tivoli M, Weyns D, Whittle J (2009) Software engineering for self-adaptive systems: a research roadmap. Springer, Berlin, pp 1\u201326. https:\/\/doi.org\/10.1007\/978-3-642-02161-9_1 . ISBN 978-3-642-02161-9","DOI":"10.1007\/978-3-642-02161-9_1"},{"issue":"2\u20133","key":"755_CR10","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"PR Cohen","year":"1990","unstructured":"Cohen PR, Levesque HJ (1990) Intention is choice with commitment. Artif Intell 42(2\u20133):213\u2013261","journal-title":"Artif Intell"},{"key":"755_CR11","unstructured":"Cossentino M, Sabatucci L, Seidita V (2017) Towards an approach for engineering complex systems: agents and agility. In: De Meo P, Postorino MN, Rosaci D, Sarn\u00e9 GML (eds) Proceedings of the 18th Workshp \u201cFrom Objects to Agents\u201d, vol 1867 of CEUR Workshop Proceedings, pp 1\u20136. CEUR-WS.or"},{"issue":"1","key":"755_CR12","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/A:1020236119243","volume":"37","author":"M Weerdt de","year":"2003","unstructured":"de Weerdt M, Bos A, Tonino H, Witteveen C (2003) A resource logic for multi-agent plan merging. Ann Math Artif Intell 37(1):93\u2013130","journal-title":"Ann Math Artif Intell"},{"key":"755_CR13","unstructured":"Dictionary.com (2016) Function definition. http:\/\/dictionary.reference.com\/browse\/function . Accessed15 May 2016"},{"issue":"1\u20134","key":"755_CR14","first-page":"239","volume":"75","author":"M Dziubi\u0144ski","year":"2007","unstructured":"Dziubi\u0144ski M, Verbrugge R et al (2007) Complexity issues in multiagent logics. Fund Inf 75(1\u20134):239\u2013262","journal-title":"Fund Inf"},{"key":"755_CR15","doi-asserted-by":"crossref","unstructured":"Emerson EA (1990) Temporal and modal logic. In: Handbook of theoretical computer science. MIT Press, Cambridge, MA, USA, pp 995\u20131072","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"issue":"1","key":"755_CR16","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10472-016-9511-0","volume":"78","author":"F Kl\u00fcgl","year":"2016","unstructured":"Kl\u00fcgl F (2016) Using the affordance concept for model design in agent-based simulation. Ann Math Artif Intell 78(1):21\u201344","journal-title":"Ann Math Artif Intell"},{"key":"755_CR17","unstructured":"McCarthy J (1990) Ascribing mental qualities to machines. In: Formalizing common sense. Ablex, pp 161\u2013195"},{"issue":"2","key":"755_CR18","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","volume":"6","author":"D McDermott","year":"1982","unstructured":"McDermott D (1982) A temporal logic for reasoning about processes and plans. Cognit Sci 6(2):101\u2013155","journal-title":"Cognit Sci"},{"key":"755_CR19","unstructured":"Meyer JJ, Broersen J, Herzig A (2015) BDI logics. In: van Ditmarsch H, Halpern JY, van der Hoek W, Kooi BP (eds) Handbook of epistemic logic. College Publications, UK, pp 453\u2013498"},{"key":"755_CR20","doi-asserted-by":"crossref","unstructured":"Modoni G, Veniero M, Trombetta A, Sacco M, Clemente S (2017) Semantic based events signaling for AAL systems. JAIHC. Springer, Germany","DOI":"10.1007\/s12652-017-0534-0"},{"key":"755_CR21","first-page":"319","volume-title":"Formal theories of the commonsense world","author":"RC Moore","year":"1985","unstructured":"Moore RC (1985) A formal theory of knowledge and action. Formal theories of the commonsense world. Ablex, Norwood, pp 319\u2013358"},{"key":"755_CR22","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-36540-0_2","volume-title":"Agent-oriented software engineering III","author":"JJ Odell","year":"2003","unstructured":"Odell JJ, Van Dyke Parunak H, Fleischer M, Brueckner S (2003) Modeling agents and their environment. Agent-oriented software engineering III. Springer, Berlin, pp 16\u201331"},{"issue":"3","key":"755_CR23","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/s10458-008-9053-x","volume":"17","author":"A Omicini","year":"2008","unstructured":"Omicini A, Ricci A, Viroli M (2008) Artifacts in the A&A meta-model for multiagent systems. Autonom Agents Multi Agent Syst 17(3):432\u2013456","journal-title":"Autonom Agents Multi Agent Syst"},{"key":"755_CR24","unstructured":"Omicini A, Ricci A, Viroli M, Castelfranchi C, Tummolini L (2004) Coordination artifacts: Environment based coordination for intelligent agents. In: Proceedings of the third international joint conference on autonomous agents and multiagent systems , vol 1. IEEE, pp 286\u2013293"},{"issue":"3","key":"755_CR25","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.entcs.2006.03.003","volume":"150","author":"A Omicini","year":"2006","unstructured":"Omicini A, Ricci A, Viroli M (2006) Agens Faber: Toward a theory of artefacts for MAS. Electron Notes Theor Comput Sci 150(3):21\u201336","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"3","key":"755_CR26","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10458-004-4345-2","volume":"10","author":"L Padgham","year":"2005","unstructured":"Padgham L, Lambrix P (2005) Formalisations of capabilities for BDI-Agents. Autonom Agents Multi Agent Syst 10(3):249\u2013271","journal-title":"Autonom Agents Multi Agent Syst"},{"key":"755_CR27","unstructured":"Rand A (1990) Introduction to objectivist epistemology. New American Library, New York, N.Y."},{"issue":"3","key":"755_CR28","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","volume":"8","author":"AS Rao","year":"1998","unstructured":"Rao AS, Georgeff MP (1998a) Decision procedures for BDI logics. J Logic Comput 8(3):293\u2013343","journal-title":"J Logic Comput"},{"key":"755_CR29","unstructured":"Rao AS, Georgeff MP (1998b) Modeling rational agents with a BDI-architecture. In: Huhns MN, Singh MP (eds) Readings in agents. Morgan Kaufmann Publishers Inc., San Mateo, CA, USA, pp 317\u2013328. ISBN 1-55860-495-2"},{"key":"755_CR30","doi-asserted-by":"crossref","unstructured":"Ricci A, Piunti M, Viroli M (2009a) Externalisation and internalization: a new perspective on agent modularisation in multi-agent system programming. In: Dastani M et al (eds) Languages, methodologies, and development tools for multi-agent systems, LADS revised selected papers, vol 6039 of LNCS. Springer, pp 35\u201354","DOI":"10.1007\/978-3-642-13338-1_3"},{"issue":"2","key":"755_CR31","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/s10458-010-9140-7","volume":"23","author":"A Ricci","year":"2011","unstructured":"Ricci A, Piunti M, Viroli M (2011) Environment programming in multi-agent systems: an artifact-based perspective. Autonom Agents Multi Agent Syst 23(2):158\u2013192","journal-title":"Autonom Agents Multi Agent Syst"},{"key":"755_CR32","doi-asserted-by":"crossref","unstructured":"Ricci A, Piunti M, Viroli M, Omicini A (2009b) Environment programming in cartago. In: El Fallah Seghrouchni A, Dix J, Dastani M, Bordini RH (eds) Multi-agent programming. Springer, Boston, MA, pp 259\u2013288","DOI":"10.1007\/978-0-387-89299-3_8"},{"key":"755_CR33","unstructured":"Russell SJ, Norvig P (2003) Artificial intelligence, a modern approach. Prentice Hall, Upper Saddle River"},{"key":"755_CR34","doi-asserted-by":"publisher","unstructured":"Savaglio C, Fortino G, Ganzha M, Paprzycki M, B\u0103dic\u0103 C, Ivanovi\u0107 M (2018) Agent-based computing in the internet of things: a survey. Springer International Publishing, Cham, pp 307\u2013320. https:\/\/doi.org\/10.1007\/978-3-319-66379-1_27 . ISBN 978-3-319-66379-1","DOI":"10.1007\/978-3-319-66379-1_27"},{"key":"755_CR35","doi-asserted-by":"crossref","unstructured":"Stoytchev A (2005) Behavior-grounded representation of tool affordances. In: International conference on robotics and automation. IEEE, pp 3060\u20133065 (2005)","DOI":"10.1109\/ROBOT.2005.1570580"},{"key":"755_CR36","doi-asserted-by":"crossref","unstructured":"Tarkoma S, Laukkanen M (2003) Adaptive agent-based service composition for wireless terminals. In: Klusch M, Omicini A, Ossowski S, Laamanen H (eds) 7th International workshop, CIA 2003, Helsinki, Finland. Proceedings. Springer, pp 16\u201329","DOI":"10.1007\/978-3-540-45217-1_2"},{"issue":"1","key":"755_CR37","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1023\/B:AMAI.0000034530.72860.31","volume":"42","author":"P Torroni","year":"2004","unstructured":"Torroni P (2004) Computational logic in multi-agent systems: recent advances and future directions. Ann Math Artif Intell 42(1):293\u2013305","journal-title":"Ann Math Artif Intell"},{"issue":"1\u20132","key":"755_CR38","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3233\/FI-1998-341203","volume":"34","author":"B Linder van","year":"1998","unstructured":"van Linder B, van der Hoek W, Meyer JJC (1998) Formalising abilities and opportunities of agents. Fundamenta Informaticae 34(1\u20132):53\u2013101","journal-title":"Fundamenta Informaticae"},{"issue":"4","key":"755_CR39","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1007\/s10458-014-9263-3","volume":"29","author":"W Wobcke","year":"2015","unstructured":"Wobcke W (2015) A logic of intention and action for regular BDI agents based on bisimulation of agent programs. Autonom Agents Multi Agent Syst 29(4):569\u2013620","journal-title":"Autonom Agents Multi Agent Syst"},{"key":"755_CR40","doi-asserted-by":"crossref","unstructured":"Wooldridge M (2000) Reasoning about rational agents. MIT Press. Cambridge, MA, USA","DOI":"10.7551\/mitpress\/5804.001.0001"}],"container-title":["Journal of Ambient Intelligence and Humanized Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-018-0755-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12652-018-0755-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-018-0755-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,2]],"date-time":"2024-07-02T04:46:06Z","timestamp":1719895566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12652-018-0755-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,20]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["755"],"URL":"https:\/\/doi.org\/10.1007\/s12652-018-0755-x","relation":{},"ISSN":["1868-5137","1868-5145"],"issn-type":[{"type":"print","value":"1868-5137"},{"type":"electronic","value":"1868-5145"}],"subject":[],"published":{"date-parts":[[2018,3,20]]},"assertion":[{"value":"30 September 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 March 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 March 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}