{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T04:16:28Z","timestamp":1751429788073,"version":"3.41.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/companion.2017.8287077","type":"proceedings-article","created":{"date-parts":[[2018,2,8]],"date-time":"2018-02-08T21:49:52Z","timestamp":1518126592000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["Sloth \u2014 The interactive workout planner"],"prefix":"10.1109","author":[{"given":"Gregor","family":"Behnke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Nielsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marvin","family":"Schiller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Bercher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Kraus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Minker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Birte","family":"Glimm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susanne","family":"Biundo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0277(77)90019-1"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90078-X"},{"key":"ref12","article-title":"TRAINS-95: towards a mixed-initiative planning assistant","author":"ferguson","year":"1996","journal-title":"Proc AIP"},{"key":"ref13","article-title":"Activity planning for the mars exploration rovers","author":"bresina","year":"2005","journal-title":"Proc of ICAPS"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s13218-015-0403-y"},{"key":"ref15","article-title":"Bringing users and planning technology together. Experiences in SIADEX","author":"fern\u00e1ndez-olivares","year":"2006","journal-title":"Proc of ICAPS"},{"key":"ref16","article-title":"A mixed-initiative framework for robust plan sketching","author":"myers","year":"2003","journal-title":"Proc of ICAPS"},{"key":"ref17","article-title":"Coherence across components in cognitive systems - One ontology to rule them all","author":"behnke","year":"2015","journal-title":"Proc of IJCAI"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/W15-4646"},{"key":"ref19","doi-asserted-by":"crossref","DOI":"10.1609\/icaps.v26i1.13754","article-title":"Change the plan - How hard can that be?","author":"behnke","year":"2016","journal-title":"Proc of ICAPS"},{"key":"ref4","article-title":"Hybrid planning heuristics based on task decomposition graphs","author":"bercher","year":"2014","journal-title":"Proc of SOC"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1007\/s13218-015-0414-8","article-title":"Companion-technology for cognitive technical systems","author":"biundo","year":"2016","journal-title":"Kiinstliche Intelligenz"},{"key":"ref6","article-title":"More than a name? On implications of preconditions and effects of compound HTN planning tasks","author":"bercher","year":"2016","journal-title":"Proc of ECAI"},{"key":"ref5","article-title":"From abstract crisis to concrete relief - a preliminary report on combining state abstraction and HTN planning","author":"biundo","year":"2001","journal-title":"Proc ECP"},{"key":"ref8","article-title":"Systematic nonlinear planning","author":"mcallester","year":"1991","journal-title":"Proc Of AAAI"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF02136175"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v29i1.9274","article-title":"A planning-based assistance system for setting up a home theater","author":"bercher","year":"2015","journal-title":"Proc Of AAAI"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1609\/icaps.v24i1.13664","article-title":"Plan, repair, execute, explain - How planning helps to assemble your home theater","author":"bercher","year":"2014","journal-title":"Proc of ICAPS"},{"key":"ref9","article-title":"User-centered planning - a discussion on planning in the presence of human users","author":"bercher","year":"2015","journal-title":"Proc ISCTA"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/W15-4622"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/W14-4307"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-2585-3_10"},{"key":"ref23","article-title":"Testing the adequacy of automated explanations of EL subsumptions","volume":"1879","author":"schiller","year":"2017","journal-title":"Proc of DL 2017 CEUR"}],"event":{"name":"2017 International Conference on Companion Technology (ICCT)","start":{"date-parts":[[2017,9,11]]},"location":"Ulm","end":{"date-parts":[[2017,9,13]]}},"container-title":["2017 International Conference on Companion Technology (ICCT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8268707\/8287070\/08287077.pdf?arnumber=8287077","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T16:03:48Z","timestamp":1751385828000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8287077\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/companion.2017.8287077","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}