{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T05:24:41Z","timestamp":1749533081191,"version":"3.40.3"},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319120263"},{"type":"electronic","value":"9783319120270"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-12027-0_64","type":"book-chapter","created":{"date-parts":[[2014,11,14]],"date-time":"2014-11-14T22:22:51Z","timestamp":1416003771000},"page":"791-803","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Formal Approach for Contextual Planning Management: Application to Smart Campus Environment"],"prefix":"10.1007","author":[{"given":"Ahmed-Chawki","family":"Chaouche","sequence":"first","affiliation":[]},{"given":"Amal","family":"El Fallah Seghrouchni","sequence":"additional","affiliation":[]},{"given":"Jean-Michel","family":"Ili\u00e9","sequence":"additional","affiliation":[]},{"given":"Djamel Eddine","family":"Sa\u00efdouni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,11,12]]},"reference":[{"issue":"3","key":"64_CR1","first-page":"429","volume":"18","author":"A Olaru","year":"2013","unstructured":"Olaru, A., Florea, A.M., El Fallah Seghrouchni, A.: A context-aware multi-agent system as a middleware for ambient intelligence. MONET 18(3), 429\u2013443 (2013)","journal-title":"MONET"},{"key":"64_CR2","doi-asserted-by":"crossref","unstructured":"Sardina, S., de Silva, L., Padgham, L.: Hierarchical planning in BDI agent programming languages: a formal approach. In: AAMAS 2006, pp. 1001\u20131008 (2006)","DOI":"10.1145\/1160633.1160813"},{"key":"64_CR3","first-page":"15","volume":"8","author":"F Meneguzzi","year":"2007","unstructured":"Meneguzzi, F., Zorzo, A.F., da Costa M\u00f3ra, M., Luck, M.: Incorporating planning into BDI agents. Scalable Computing: Practice and Experience 8, 15\u201328 (2007)","journal-title":"Scalable Computing: Practice and Experience"},{"key":"64_CR4","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.procs.2014.05.395","volume":"32","author":"AC Chaouche","year":"2014","unstructured":"Chaouche, A.C., El Fallah Seghrouchni, A., Ili\u00e9, J.M., Sa\u00efdouni, D.E.: A dynamical plan revising for ambient systems. Procedia Computer Science 32, 37\u201344 (2014)","journal-title":"Procedia Computer Science"},{"key":"64_CR5","unstructured":"Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Nebel, B., Rich, C., Swartout, W.R. (eds.) KR, pp. 439\u2013449. Morgan Kaufmann (1992)"},{"key":"64_CR6","unstructured":"Brinksma, E. (ed.): ISO 8807, LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour (1988)"},{"key":"64_CR7","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/j.procs.2013.09.022","volume":"21","author":"AC Chaouche","year":"2013","unstructured":"Chaouche, A.C., El Fallah Seghrouchni, A., Ili\u00e9, J.M., Sa\u00efdouni, D.E.: A Higher-order Agent model for ambient systems. Procedia Computer Science 21, 156\u2013163 (2013)","journal-title":"Procedia Computer Science"},{"key":"64_CR8","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1016\/j.procs.2014.05.447","volume":"32","author":"CE Galv\u00e1n-Tejada","year":"2014","unstructured":"Galv\u00e1n-Tejada, C.E., Garc\u00eda-V\u00e1zquez, J.P., Garc\u00eda-Ceja, E., Carrasco-Jim\u00e9nez, J.C., Brena, R.F.: Evaluation of four classifiers as cost function for indoor location systems. Procedia Computer Science 32, 453\u2013460 (2014)","journal-title":"Procedia Computer Science"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence -- IBERAMIA 2014"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12027-0_64","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T15:22:03Z","timestamp":1674832923000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-12027-0_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319120263","9783319120270"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12027-0_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"12 November 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}