TY - JOUR AU - Tang, D. AU - Yusuf, B. AU - Botzheim, J. AU - Kubota, N. AU - Chan, C. S. PY - 2015 DA - 2015// TI - A novel multimodal communication framework using robot partner for aging population JO - Expert Syst Appl VL - 42 UR - https://doi.org/10.1016/j.eswa.2015.01.016 DO - 10.1016/j.eswa.2015.01.016 ID - Tang2015 ER - TY - JOUR AU - Chernbumroong, S. AU - Cang, S. AU - Atkins, A. AU - Yu, H. PY - 2013 DA - 2013// TI - Elderly activities recognition and classification for applications in assisted living JO - Expert Syst Appl VL - 40 UR - https://doi.org/10.1016/j.eswa.2012.09.004 DO - 10.1016/j.eswa.2012.09.004 ID - Chernbumroong2013 ER - TY - JOUR AU - Broekens, J. AU - Heerink, M. AU - Rosendal, H. PY - 2009 DA - 2009// TI - Assistive social robots in elderly care: a review JO - Gerontechnology VL - 8 UR - https://doi.org/10.4017/gt.2009.08.02.002.00 DO - 10.4017/gt.2009.08.02.002.00 ID - Broekens2009 ER - TY - JOUR AU - Yaguchi, H. AU - Sato, K. AU - Kojima, M. AU - Sogen, K. AU - Takaoka, Y. AU - Tsuchinaga, M. AU - Yamamoto, T. AU - Inaba, M. PY - 2014 DA - 2014// TI - Development of 3d viewer based teleoperation interface for human support robot hsr JO - ROBOMECH J VL - 1 UR - https://doi.org/10.1186/s40648-014-0010-y DO - 10.1186/s40648-014-0010-y ID - Yaguchi2014 ER - TY - JOUR AU - Domingos, P. AU - Lowd, D. PY - 2009 DA - 2009// TI - Markov logic: an interface layer for artificial intelligence JO - Syn Lect Artif Intell Machine Learn VL - 3 UR - https://doi.org/10.2200/S00206ED1V01Y200907AIM007 DO - 10.2200/S00206ED1V01Y200907AIM007 ID - Domingos2009 ER - TY - STD TI - Klusch M, Gerber A, Schmidt M (2005). Semantic web service composition planning with OWLS-XPLAN. In: Proc of the 2005 AAAI fall symposium on semantic web and agents ID - ref6 ER - TY - JOUR AU - Hatzi, O. AU - Vrakas, D. AU - Bassiliades, N. AU - Anagnostopoulos, D. AU - Vlahavas, I. PY - 2010 DA - 2010// TI - Semantic awareness in automated web service composition through planning JO - Lect Notes Comput Sci VL - 6040 UR - https://doi.org/10.1007/978-3-642-12842-4_16 DO - 10.1007/978-3-642-12842-4_16 ID - Hatzi2010 ER - TY - JOUR AU - Hatzi, O. AU - Vrakas, D. AU - Nikolaidou, M. AU - Bassiliades, N. AU - Anagnostopoulos, D. AU - Vlahavas, L. PY - 2012 DA - 2012// TI - An integrated approach to automated semantic web service composition through planning JO - IEEE Trans Serv Comput VL - 5 UR - https://doi.org/10.1109/TSC.2011.20 DO - 10.1109/TSC.2011.20 ID - Hatzi2012 ER - TY - STD TI - Georgievski I, Aiello M (2014) An overview of hierarchical task network planning ID - ref9 ER - TY - JOUR AU - Sirin, E. AU - Parsia, B. AU - Wu, D. AU - Hendler, J. AU - Nau, D. PY - 2004 DA - 2004// TI - HTN planning for web service composition using SHOP2 JO - Web Semantics Sci, Serv Agent WWW VL - 1 UR - https://doi.org/10.1016/j.websem.2004.06.005 DO - 10.1016/j.websem.2004.06.005 ID - Sirin2004 ER - TY - CHAP AU - Au, T. C. AU - Kuter, U. AU - Nau, D. ED - Gil, Y. ED - Motta, E. ED - Benjamins, V. R. PY - 2005 DA - 2005// TI - Web service composition with volatile information BT - The semantic web ISWC 2005. Lecture notes computer science PB - Springer-Verlag CY - Heidelberg UR - https://doi.org/10.1007/11574620_7 DO - 10.1007/11574620_7 ID - Au2005 ER - TY - STD TI - Yang F, Khandelwal P, Leonetti M, Stone P (2014) Planning in answer set programming while learning action costs for mobile robots. In: AAAI Spring 2014 symposium on knowledge representation and reasoning in robotics (AAAI-SSS) ID - ref12 ER - TY - JOUR AU - Zhang, S. AU - Sridharan, M. AU - Wyatt, J. L. PY - 2015 DA - 2015// TI - Mixed logical inference and probabilistic planning for robots in unreliable worlds JO - IEEE Trans Robot VL - 31 UR - https://doi.org/10.1109/TRO.2015.2422531 DO - 10.1109/TRO.2015.2422531 ID - Zhang2015 ER - TY - CHAP AU - Kaldeli, E. AU - Warriach, E. U. AU - Bresser, J. AU - Lazovik, A. AU - Aiello, M. ED - Maglio, P. ED - Weske, M. ED - Yang, J. ED - Fantinato, M. PY - 2010 DA - 2010// TI - Interoperation, composition and simulation of services at home BT - Service-oriented computing. Lecture notes in computer science PB - Springer-Verlag CY - Heidelberg UR - https://doi.org/10.1007/978-3-642-17358-5_12 DO - 10.1007/978-3-642-17358-5_12 ID - Kaldeli2010 ER - TY - JOUR AU - Kaldeli, E. AU - Warriach, E. U. AU - Lazovik, A. AU - Aiello, M. PY - 2013 DA - 2013// TI - Coordinating the web of services for a smart home JO - ACM Trans Web VL - 7 UR - https://doi.org/10.1145/2460383.2460389 DO - 10.1145/2460383.2460389 ID - Kaldeli2013 ER - TY - STD TI - Kaldeli E, Lazovik A, Aiello M (2011) Continual planning with sensing for web service composition. In: Proc of 25th AAAI conference on artificial intelligence ID - ref16 ER - TY - JOUR AU - Helmert, M. PY - 2009 DA - 2009// TI - Concise finite-domain representations for PDDL planning tasks JO - Artif Intell VL - 173 UR - https://doi.org/10.1016/j.artint.2008.10.013 DO - 10.1016/j.artint.2008.10.013 ID - Helmert2009 ER - TY - JOUR AU - Richter, S. AU - Westphal, M. PY - 2010 DA - 2010// TI - The LAMA planner: guiding cost-based anytime planning with landmarks JO - J Artif Intell Res VL - 39 ID - Richter2010 ER - TY - STD TI - Hoffmann J, Weber I, Kraft F (2010) Sap speaks PDDL. In: 24th national conference of the American Association for artificial intelligence ID - ref19 ER - TY - JOUR AU - Han, S. N. AU - Lee, G. M. AU - Crespi, N. PY - 2014 DA - 2014// TI - Semantic context-aware service composition for building automation system JO - IEEE Trans Indus Inform VL - 10 UR - https://doi.org/10.1109/TII.2013.2252356 DO - 10.1109/TII.2013.2252356 ID - Han2014 ER - TY - BOOK AU - Allemang, D. AU - Hendler, J. PY - 2011 DA - 2011// TI - Semantic web for the working ontologist: effective modeling in RDFS and OWL PB - Morgan Kaufmann Publishers CY - Burlington ID - Allemang2011 ER - TY - JOUR AU - Rao, J. AU - Küngas, P. AU - Matskin, M. PY - 2006 DA - 2006// TI - Composition of semantic web services using linear logic theorem proving JO - Inform Syst VL - 31 UR - https://doi.org/10.1016/j.is.2005.02.005 DO - 10.1016/j.is.2005.02.005 ID - Rao2006 ER - TY - STD TI - De Moura L, BjØrner N (2008) Z3: An efficient SMT solver. In: International conference on tools and algorithms for the construction and analysis of systems. pp. 337–340 ID - ref23 ER -