{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:52:50Z","timestamp":1742392370794},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/ice.2017.8279879","type":"proceedings-article","created":{"date-parts":[[2018,2,7]],"date-time":"2018-02-07T21:42:10Z","timestamp":1518039730000},"page":"124-132","source":"Crossref","is-referenced-by-count":3,"title":["Procedural abduction as enabler of smart operation of cyber-physical systems: Theoretical foundations"],"prefix":"10.1109","author":[{"given":"Imre","family":"Horvath","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1126\/science.291.5504.599"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025419826662"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21210-9_22"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2555612"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/200836.200838"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.brainres.2006.01.114"},{"key":"ref12","first-page":"x","article-title":"Abductive planning with the event calculus","author":"eshghi","year":"1988","journal-title":"Proceedings of the Fifth International Conference and Symposium"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2015.2470528"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF00128779"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2016.7807670"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2017-67082"},{"key":"ref17","first-page":"89","article-title":"Propositional abductive logic","author":"jackson","year":"1989","journal-title":"Proceedings of the Seventh Conference on AISB"},{"key":"ref18","first-page":"77","article-title":"Abduction and cuonterfactuals","author":"jackson","year":"1990","journal-title":"Working Notes AAAI Spring Symposium on Automated Abduction"},{"key":"ref19","first-page":"1","article-title":"Artificial general intelligence and the theory of intelligence","year":"2016","journal-title":"White Paper"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1989.tb00319.x"},{"key":"ref4","first-page":"2911","article-title":"Real-time sensory information processing using the TrueN orth neurosynaptic system","author":"andreou","year":"2016","journal-title":"Proceedings of the International Symposium on Circuits and Systems"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8682-5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-3907-7_4"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90005-5"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42559-7_5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2016.02.004"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05624-1"},{"key":"ref7","article-title":"Abductive reasoning: Backward and forward","author":"codognet","year":"1997","journal-title":"Proceedings of the IJCAI'97 Workshop on Abduction and Induction in AI"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2008.4811295"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1126\/science.1252254"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0933-3657(02)00083-0"},{"key":"ref20","first-page":"47","article-title":"A rigorous definition of cyber-physical systems","author":"knight","year":"2016","journal-title":"Trustworthy Cyber Physical Systems Engineering"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2015.08.004"},{"key":"ref21","first-page":"62","article-title":"Towards a general theory of abduction","author":"konolige","year":"1990","journal-title":"Working Notes AAAI Spring Symposium on Automated Abduction"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1978542.1978559"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2013.07.033"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/BF00849080"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42559-7_2"}],"event":{"name":"2017 International Conference on Engineering, Technology and Innovation (ICE\/ITMC)","start":{"date-parts":[[2017,6,27]]},"location":"Funchal","end":{"date-parts":[[2017,6,29]]}},"container-title":["2017 International Conference on Engineering, Technology and Innovation (ICE\/ITMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8269762\/8279853\/08279879.pdf?arnumber=8279879","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,5]],"date-time":"2018-03-05T22:12:54Z","timestamp":1520287974000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8279879\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/ice.2017.8279879","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}