{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,15]],"date-time":"2024-06-15T22:36:51Z","timestamp":1718491011741},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2018,10,1]],"date-time":"2018-10-01T00:00:00Z","timestamp":1538352000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/tase.2018.2789658","type":"journal-article","created":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T19:22:51Z","timestamp":1517512971000},"page":"1759-1771","source":"Crossref","is-referenced-by-count":5,"title":["Human-Centric Automation and Optimization for Smart Homes"],"prefix":"10.1109","volume":"15","author":[{"given":"Noel Nuo Wi","family":"Tay","sequence":"first","affiliation":[]},{"given":"Janos","family":"Botzheim","sequence":"additional","affiliation":[]},{"given":"Naoyuki","family":"Kubota","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/11814771_26","article-title":"FaCT++ description logic reasoner: System description","volume":"4130","author":"tsarkov","year":"2006","journal-title":"Automated Reasoning"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"133","DOI":"10.3233\/AIS-150310","article-title":"Real-time monitoring of high-level states in smart environments","volume":"7","author":"corno","year":"2015","journal-title":"J Ambient Intell Smart Environ"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1541"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2533321"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.05.536"},{"key":"ref30","first-page":"1096","article-title":"Sap speaks PDDL","author":"hoffmann","year":"2010","journal-title":"Proc 24th Nat Conf Amer Assoc Artif Intell"},{"key":"ref37","first-page":"167","article-title":"Dynamic constraint reasoning in smart environments","author":"degeler","year":"2013","journal-title":"Proc IEEE Int Conf Tools Artif Intell"},{"key":"ref36","first-page":"1217","article-title":"Extended goals for composing services","author":"kaldeli","year":"2009","journal-title":"Proc Int Conf Autom Planning Scheduling"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00059-4"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1155\/2016\/7349070"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2220554"},{"key":"ref40","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref11","first-page":"1","article-title":"Planning for coordination of devices in energy-smart environments","author":"georgievski","year":"2013","journal-title":"Proc Int Conf Autom Planning Scheduling"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/s00778-007-0044-3","article-title":"Service oriented architectures: Approaches, technologies and research issues","volume":"16","author":"papazoglou","year":"2007","journal-title":"VLDB J"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.autcon.2009.10.008"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2166792"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1613\/jair.2153"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2252356"},{"key":"ref17","first-page":"167","article-title":"Interoperation, composition and simulation of services at home","volume":"6470","author":"kaldeli","year":"2010","journal-title":"Service-Oriented Computing"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2014.04.054"},{"key":"ref19","first-page":"55","article-title":"Semantic Web service composition planning with OWLS-XPLAN","author":"klusch","year":"2005","journal-title":"Proc AAAI Fall Symp Agents and the Semantic Web"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.10.013"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2460383.2460389"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2016.03.002"},{"key":"ref3","first-page":"124","article-title":"Overview of human-centric computing","volume":"48","author":"iida","year":"2012","journal-title":"FUJITSU Sci Tech J"},{"key":"ref6","first-page":"1","article-title":"A tool for automatic generation of WS-BPEL compositions from OWL-S described services","author":"bevilacqua","year":"2011","journal-title":"Proc 5th Int Conf Softw Knowl Inf Ind Manage Appl"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1613\/jair.2972","article-title":"The LAMA planner: Guiding cost-based anytime planning with landmarks","volume":"39","author":"richter","year":"2010","journal-title":"J Artif Intell Res"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1155\/2016\/2959508"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1155\/2014\/150696"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3390\/s140202944"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23093-1_8"},{"key":"ref9","first-page":"1","article-title":"A field level architecture for reconfigurable real-time automation systems","author":"durkop","year":"2014","journal-title":"Proc 10th IEEE Workshop Factory Commun Syst"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0991-94"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12842-4_16"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.02.002"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2011.20"},{"key":"ref42","article-title":"Smart assistants for smart homes","author":"rasch","year":"2013"},{"key":"ref24","first-page":"52","article-title":"Web service composition with volatile information","volume":"3729","author":"au","year":"2005","journal-title":"The Semantic Web"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/WAC.2014.6936076"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2004.06.005"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-5833-1"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2015.2422531"},{"key":"ref43","first-page":"4047","article-title":"Blended planning and acting: Preliminary approach, research challenges","author":"nau","year":"2015","journal-title":"Proc AAAI"},{"key":"ref25","first-page":"71","article-title":"Planning in answer set programming while learning action costs for mobile robots","author":"yang","year":"2014","journal-title":"Proc AAAI Spring Symp Knowl Represent Reason Robot (AAAI-SSS)"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/8481716\/08278827.pdf?arnumber=8278827","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T06:28:41Z","timestamp":1643178521000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8278827\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":44,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tase.2018.2789658","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,10]]}}}