{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T11:01:37Z","timestamp":1775818897764,"version":"3.50.1"},"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.8287072","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":5,"title":["A paradigm for coupling procedural and conceptual knowledge in companion systems"],"prefix":"10.1109","author":[{"given":"Marvin","family":"Schiller","sequence":"first","affiliation":[]},{"given":"Gregor","family":"Behnke","sequence":"additional","affiliation":[]},{"given":"Mario","family":"Schmautz","sequence":"additional","affiliation":[]},{"given":"Pascal","family":"Bercher","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Kraus","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Dorna","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Minker","sequence":"additional","affiliation":[]},{"given":"Birte","family":"Glimm","sequence":"additional","affiliation":[]},{"given":"Susanne","family":"Biundo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85845-4_8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04617-9_6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-14484-9_18"},{"key":"ref13","article-title":"KMARF: A framework for knowledge management and automated reasoning","volume":"1819","author":"feljan","year":"2017","journal-title":"Proc of ISEC 2017 Workshops ModSym DIAS and EDUDM"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-39959-3_2"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2460383.2460389"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/UIC-ATC.2013.106"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15545-6_22"},{"key":"ref18","first-page":"79","author":"bercher","year":"2017","journal-title":"Companion Technology - A Paradigm Shift in Human-Technology Interaction"},{"key":"ref19","first-page":"225","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":"ref4","first-page":"4264","article-title":"A planning-based assistance system for setting up a home theater","author":"bercher","year":"2015","journal-title":"Proc Of AAAI"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"386","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":"ref6","first-page":"73","article-title":"Description logics and planning","volume":"26","author":"gil","year":"2005","journal-title":"AI Magazine"},{"key":"ref5","first-page":"1442","article-title":"Coherence across components in cognitive systems - One ontology to rule them all","author":"behnke","year":"2015","journal-title":"Proc of IJCAI"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02998-1_23"},{"key":"ref7","first-page":"966","article-title":"Managing change in graph-structured data using description logics","author":"ahmetaj","year":"2014","journal-title":"Proc Of AAAI"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/s13218-015-0419-3","article-title":"Companion-technology: An overview","volume":"30","author":"biundo","year":"2016","journal-title":"K&#x00FC nstliche Intelligenz"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s13218-015-0414-8"},{"key":"ref9","author":"sirin","year":"2006","journal-title":"Combining Description Logic Reasoning with AI Planning for Composition of Web Services"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","article-title":"PDDL2.1: An extension to PDDL for expressing temporal planning domains","author":"fox","year":"2003","journal-title":"JAIR"},{"key":"ref22","article-title":"All elephants are bigger than all mice","volume":"353","author":"rudolph","year":"2008","journal-title":"Proc of DL ser CEUR Workshop Proceedings"},{"key":"ref21","first-page":"1955","article-title":"On the decidability of HTN planning with task insertion","author":"geier","year":"2011","journal-title":"Proc of IJCAI"},{"key":"ref23","first-page":"35","article-title":"Hybrid planning heuristics based on task decomposition graphs","author":"bercher","year":"2014","journal-title":"Proc of SOC"}],"event":{"name":"2017 International Conference on Companion Technology (ICCT)","location":"Ulm","start":{"date-parts":[[2017,9,11]]},"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\/08287072.pdf?arnumber=8287072","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T02:29:20Z","timestamp":1719800960000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8287072\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/companion.2017.8287072","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}