{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:37:44Z","timestamp":1743133064368,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642039850"},{"type":"electronic","value":"9783642039867"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03986-7_21","type":"book-chapter","created":{"date-parts":[[2009,8,17]],"date-time":"2009-08-17T12:37:38Z","timestamp":1250512658000},"page":"179-186","source":"Crossref","is-referenced-by-count":1,"title":["PLEXIL-DL: Language and Runtime for Context-Aware Robot Behaviour"],"prefix":"10.1007","author":[{"given":"Herwig","family":"Moser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toni","family":"Reichelt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norbert","family":"Oswald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"F\u00f6rster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Baldauf, M., Dustdar, S., Rosenberg, F.: A survey on context-aware systems. Int. Journal of Ad Hoc and Ubiquitous Computing\u00a02(4) (2007)","DOI":"10.1504\/IJAHUC.2007.014070"},{"key":"21_CR2","unstructured":"Kj\u00e6r, K.E.: A survey of context-aware middleware. In: SE 2007: Proc. of the 25th conference on IASTED Int. Multi-Conf., ACTA Press (2007)"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Ranganathan, A., Campbell, R.H.: An infrastructure for context-awareness based on first order logic. Personal Ubiquitous Computing\u00a07(6) (2003)","DOI":"10.1007\/s00779-003-0251-x"},{"key":"21_CR4","unstructured":"Gu, T., Pung, H.K., Zhang, D.Q.: A middleware for building context-aware mobile services. In: Proceedings of IEEE Vehicular Technology Conference (2004)"},{"key":"21_CR5","unstructured":"Fahy, P., Clarke, S.: Cass - middleware for mobile context-aware applications. In: Proc. of Mobisys Workshop on Context Awareness (2004)"},{"key":"21_CR6","unstructured":"Korpip\u00e4\u00e4, P.: Blackboard-based software framework and tool for mobile device context awareness. PhD thesis, University of Oulu (2005)"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Yau, S.S., Karim, F., Wang, Y., Wang, B., Gupta, S.K.: Reconfigurable context-sensitive middleware for pervasive computing. IEEE Pervasive Comp. 1(3) (2002)","DOI":"10.1109\/MPRV.2002.1037720"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Gu, T., Pung, H.K., Zhang, D.Q.: A service-oriented middleware for building context-aware services. Journal of Network and Comp. Applications\u00a028(1) (2005)","DOI":"10.1016\/j.jnca.2004.06.002"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Keays, R.: Context-oriented programming. BEng thesis, Univ. Queensland (2002)","DOI":"10.1145\/940924.940926"},{"key":"21_CR10","volume-title":"Proc. of the Int. Conf. on Pervasive Comp. and Communications","author":"A. Ranganathan","year":"2005","unstructured":"Ranganathan, A., Chetan, S., Al-Muhtadi, J., Campbell, R.H., Mickunas, M.D.: Olympus: A high-level programming model for pervasive computing environments. In: Proc. of the Int. Conf. on Pervasive Comp. and Communications. IEEE, Los Alamitos (2005)"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/11890348_22","volume-title":"Ubiquitous Computing Systems","author":"E.-S. Cho","year":"2006","unstructured":"Cho, E.-S., Lee, K.-W., Kim, M.-Y., Kim, H.: Scenario-based programming for ubiquitous applications. In: Youn, H.Y., Kim, M., Morikawa, H. (eds.) UCS 2006. LNCS, vol.\u00a04239, pp. 286\u2013299. Springer, Heidelberg (2006)"},{"key":"21_CR12","unstructured":"Dowek, G., Mu\u00f1oz, C., P\u00e2s\u00e2reanu, C.S.: A formal analysis framework for plexil. In: 3rd Workshop on Planning and Plan Exec. for Real-World Sys. (2007)"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Verma, V., J\u00f3nsson, A., Passareanu, C., Iatauro, M.: Universal executive and PLEXIL: Engine and language for robust spacecraft control and operations. In: Proc. of AIAA Space (2006)","DOI":"10.2514\/6.2006-7449"},{"key":"21_CR14","unstructured":"Tessaris, S.: Questions and Answers: Reasoning and Querying in Description Logic. PhD thesis, Univ. of Manchester (2001)"},{"key":"21_CR15","volume-title":"The Description Logic Handbook","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"key":"21_CR16","unstructured":"Krummenacher, R., Strang, T.: Ontology-based context modeling. In: Proc. of the 3rd Workshop on Context Awareness for Proactive Systems (2007)"},{"key":"21_CR17","unstructured":"NASA: PLEXIL Reference Manual. NASA (2008)"},{"key":"21_CR18","volume-title":"Proc. of SGAI 2008","author":"H. Moser","year":"2008","unstructured":"Moser, H., Reichelt, T., Oswald, N., F\u00f6rster, S.: Information management for unmanned systems: Combining DL-reasoning with publish\/subscribe. In: Proc. of SGAI 2008. Springer, Heidelberg (2008)"}],"container-title":["Communications in Computer and Information Science","Progress in Robotics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03986-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T21:44:31Z","timestamp":1558475071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03986-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642039850","9783642039867"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03986-7_21","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2009]]}}}