{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T19:02:37Z","timestamp":1725390157494},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/etfa.2009.5347010","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T19:44:11Z","timestamp":1260474251000},"page":"1-7","source":"Crossref","is-referenced-by-count":2,"title":["Integrated plan tracking and prognosis for autonomous production processes"],"prefix":"10.1109","author":[{"given":"Paul","family":"Maier","sequence":"first","affiliation":[]},{"given":"Martin","family":"Sachenbacher","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Ruhr","sequence":"additional","affiliation":[]},{"given":"Lukas","family":"Kuhn","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"314","article-title":"Mini-bucket heuristics for improved search","author":"kask","year":"1999","journal-title":"Proc of UAI 1999"},{"journal-title":"Toolbar a state-of-the-art platform","year":"2004","author":"bouveret","key":"ref3"},{"key":"ref10","article-title":"Valued constraint satisfaction problems: hard and easy problems","author":"schiex","year":"1995","journal-title":"Proceedings of IJCAI-1995"},{"key":"ref6","first-page":"370","article-title":"Back to the future for consistency-based trajectory tracking","author":"kurien","year":"2000","journal-title":"Proc AAAI-2000"},{"key":"ref11","first-page":"579","article-title":"Mode estimation of model-based programs: monitoring systems with complex behavior","author":"williams","year":"2001","journal-title":"Proc IJCAI 2001"},{"key":"ref5","article-title":"Pervasive diagnosis: The integration of diagnostic goals into production plans","author":"kuhn","year":"2008","journal-title":"Proceedings of AAAI-2008"},{"key":"ref8","article-title":"A reactive plan language","author":"mcdermott","year":"1993","journal-title":"Yale Univ Dept Computer Science Technical Report"},{"key":"ref7","article-title":"Automated Verification of Model-based Programs Under Uncertainty","author":"mahtab","year":"2004","journal-title":"Proc of International Conference on Intelligent Systems Design and Applications"},{"key":"ref2","first-page":"19","article-title":"Cognitive technical systems - what is the role of artificial intelligence?","author":"beetz","year":"2007","journal-title":"Proc KI-2007"},{"key":"ref9","article-title":"Model-based Monitoring and Diagnosis of Systems with Software-Extended Behavior","author":"mikaelian","year":"2005","journal-title":"Proceedings of of AAAI-05"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46436-0"}],"event":{"name":"2009 IEEE 14th International Conference on Emerging Technologies & Factory Automation. ETFA 2009","start":{"date-parts":[[2009,9,22]]},"location":"Mallorca","end":{"date-parts":[[2009,9,25]]}},"container-title":["2009 IEEE Conference on Emerging Technologies & Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340902\/5346987\/05347010.pdf?arnumber=5347010","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T01:58:22Z","timestamp":1489888702000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5347010\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/etfa.2009.5347010","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}