{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T14:23:53Z","timestamp":1780410233216,"version":"3.54.1"},"reference-count":33,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T00:00:00Z","timestamp":1777420800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Future Generation Computer Systems"],"published-print":{"date-parts":[[2026,10]]},"DOI":"10.1016\/j.future.2026.108557","type":"journal-article","created":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T16:27:36Z","timestamp":1777480056000},"page":"108557","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Hybrid neuro\u2013symbolic reasoning for predictive cybernetic decision support in autonomous IoT environments"],"prefix":"10.1016","volume":"183","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-6154-9237","authenticated-orcid":false,"given":"Chatter","family":"Singh","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amar","family":"Singh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sahraoui","family":"Dhelim","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.future.2026.108557_b1","series-title":"The digitization of the world: From edge to core","author":"Reinsel","year":"2018"},{"issue":"8","key":"10.1016\/j.future.2026.108557_b2","doi-asserted-by":"crossref","first-page":"1735","DOI":"10.1162\/neco.1997.9.8.1735","article-title":"Long short-term memory","volume":"9","author":"Hochreiter","year":"1997","journal-title":"Neural Comput."},{"key":"10.1016\/j.future.2026.108557_b3","doi-asserted-by":"crossref","first-page":"1748","DOI":"10.1016\/j.ijforecast.2021.03.012","article-title":"Temporal fusion transformers for interpretable multi-horizon time series forecasting","volume":"37","author":"Lim","year":"2021","journal-title":"Int. J. Forecast."},{"issue":"8","key":"10.1016\/j.future.2026.108557_b4","doi-asserted-by":"crossref","first-page":"1738","DOI":"10.1109\/JPROC.2019.2918951","article-title":"Edge intelligence: Paving the last mile of artificial intelligence with edge computing","volume":"107","author":"Zhou","year":"2019","journal-title":"Proc. IEEE"},{"key":"10.1016\/j.future.2026.108557_b5","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/j.artmed.2017.07.002","article-title":"Owlready: Ontology-oriented programming in python with automatic classification and high level constructs for biomedical ontologies","volume":"80","author":"Lamy","year":"2017","journal-title":"Artif. Intell. Med."},{"key":"10.1016\/j.future.2026.108557_b6","series-title":"Proc. TACAS 2008","first-page":"337","article-title":"Z3: An efficient SMT solver","volume":"Vol. 4963","author":"de Moura","year":"2008"},{"key":"10.1016\/j.future.2026.108557_b7","unstructured":"C. Guo, G. Pleiss, Y. Sun, K.Q. Weinberger, On Calibration of Modern Neural Networks, in: Proc. ICML, 2017, pp. 1321\u20131330."},{"key":"10.1016\/j.future.2026.108557_b8","doi-asserted-by":"crossref","DOI":"10.1038\/sdata.2015.7","article-title":"The UK-DALE dataset, domestic appliance-level electricity demand and whole-house demand from five UK homes","volume":"2","author":"Kelly","year":"2015","journal-title":"Sci. Data"},{"key":"10.1016\/j.future.2026.108557_b9","series-title":"Intel berkeley research lab sensor data set","author":"Intel Berkeley Research Lab","year":"2004"},{"issue":"3","key":"10.1016\/j.future.2026.108557_b10","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/MPRV.2018.03367731","article-title":"N-BaIoT: Network-based detection of IoT botnet attacks using deep autoencoders","volume":"17","author":"Meidan","year":"2018","journal-title":"IEEE Pervasive Comput."},{"issue":"3","key":"10.1016\/j.future.2026.108557_b11","doi-asserted-by":"crossref","first-page":"1628","DOI":"10.1109\/COMST.2017.2682318","article-title":"Mobile edge computing: A survey on architecture and computation offloading","volume":"19","author":"Mach","year":"2017","journal-title":"IEEE Commun. Surv. Tutor."},{"issue":"1","key":"10.1016\/j.future.2026.108557_b12","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1109\/JIOT.2017.2767608","article-title":"Future edge cloud and edge computing for Internet of Things applications","volume":"5","author":"Pan","year":"2018","journal-title":"IEEE Internet Things J."},{"key":"10.1016\/j.future.2026.108557_b13","series-title":"Proc. MCC Workshop on Mobile Cloud Computing","first-page":"13","article-title":"Fog computing and its role in the internet of things","author":"Bonomi","year":"2012"},{"key":"10.1016\/j.future.2026.108557_b14","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/j.future.2019.02.050","article-title":"Edge computing: A survey","volume":"97","author":"Khan","year":"2019","journal-title":"Future Gener. Comput. Syst."},{"key":"10.1016\/j.future.2026.108557_b15","first-page":"616","article-title":"Learn-as-you-go with MEGH: Efficient Continual Edge learning for IoT","volume":"125","author":"Hong","year":"2021","journal-title":"Future Gener. Comput. Syst."},{"key":"10.1016\/j.future.2026.108557_b16","series-title":"Proc. ICPR","first-page":"2464","article-title":"BranchyNet: Fast inference via early exiting from deep neural networks","author":"Teerapittayanon","year":"2016"},{"key":"10.1016\/j.future.2026.108557_b17","unstructured":"S. Han, H. Mao, W.J. Dally, Deep Compression: Compressing Deep Neural Networks with Pruning, Trained Quantization and Huffman Coding, in: Proc. ICLR, 2016."},{"key":"10.1016\/j.future.2026.108557_b18","doi-asserted-by":"crossref","DOI":"10.7717\/peerj-cs.1126","article-title":"Deep reinforcement learning based offloading decision algorithm for transmission in the internet of vehicles","volume":"8","author":"Hu","year":"2022","journal-title":"PeerJ Comput. Sci."},{"key":"10.1016\/j.future.2026.108557_b19","series-title":"Proc. IEEE ICC","first-page":"1","article-title":"Resource allocation for edge computing in IoT networks via reinforcement learning","author":"Liu","year":"2019"},{"key":"10.1016\/j.future.2026.108557_b20","series-title":"Adv. Neural Inf. Process. Syst.","article-title":"DeepProbLog: Neural probabilistic logic programming","author":"Manhaeve","year":"2018"},{"key":"10.1016\/j.future.2026.108557_b21","series-title":"Logic tensor networks: Deep learning and logical reasoning from data and knowledge","author":"Serafini","year":"2016"},{"key":"10.1016\/j.future.2026.108557_b22","series-title":"XAI Twin: Explainable digital twin for zero-touch internet of everything","author":"Munir","year":"2022"},{"key":"10.1016\/j.future.2026.108557_b23","doi-asserted-by":"crossref","DOI":"10.1109\/JIOT.2022.3143171","article-title":"Multimodal event processing: A neural-symbolic paradigm for the internet of multimedia things","author":"Curry","year":"2022","journal-title":"IEEE Internet Things J."},{"key":"10.1016\/j.future.2026.108557_b24","article-title":"A neural-symbolic model for fan interpretable fault diagnosis on steel production lines","author":"Liao","year":"2024","journal-title":"IEEE Internet Things J."},{"key":"10.1016\/j.future.2026.108557_b25","doi-asserted-by":"crossref","DOI":"10.1177\/29498732251340187","article-title":"Artificial intelligence and internet of things: A neuro-symbolic approach for automated platform configuration","author":"Amlashi","year":"2025","journal-title":"Neurosymbolic Artif. Intell."},{"key":"10.1016\/j.future.2026.108557_b26","series-title":"Proc. CAV","article-title":"Reluplex: An efficient SMT solver for verifying deep neural networks","author":"Katz","year":"2017"},{"key":"10.1016\/j.future.2026.108557_b27","series-title":"Proc. CAV","article-title":"The marabou framework for verification and analysis of deep neural networks","author":"Katz","year":"2019"},{"key":"10.1016\/j.future.2026.108557_b28","series-title":"Proc. HSCC","article-title":"Verisig: Verifying safety properties of hybrid systems with neural network controllers","author":"Ivanov","year":"2019"},{"issue":"1","key":"10.1016\/j.future.2026.108557_b29","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1038\/s42256-019-0138-9","article-title":"From local explanations to global understanding with explainable AI for trees","volume":"2","author":"Lundberg","year":"2020","journal-title":"Nat. Mach. Intell."},{"issue":"2","key":"10.1016\/j.future.2026.108557_b30","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/1964897.1964918","article-title":"Activity recognition using cell phone accelerometers","volume":"12","author":"Kwapisz","year":"2011","journal-title":"ACM SIGKDD Explor. Newsl."},{"issue":"1","key":"10.1016\/j.future.2026.108557_b31","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1111\/j.2517-6161.1995.tb02031.x","article-title":"Controlling the false discovery rate: A practical and powerful approach to multiple testing","volume":"57","author":"Benjamini","year":"1995","journal-title":"J. R. Stat. Soc. Ser. B Stat. Methodol."},{"issue":"2","key":"10.1016\/j.future.2026.108557_b32","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/BF02295996","article-title":"Note on the sampling error of the difference between correlated proportions or percentages","volume":"12","author":"McNemar","year":"1947","journal-title":"Psychometrika"},{"key":"10.1016\/j.future.2026.108557_b33","series-title":"Proc. CAV","article-title":"NNV: The neural network verification tool for deep neural networks and learning-enabled cyber-physical systems","author":"Tran","year":"2020"}],"container-title":["Future Generation Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X26001913?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X26001913?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T13:43:50Z","timestamp":1780407830000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167739X26001913"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,10]]},"references-count":33,"alternative-id":["S0167739X26001913"],"URL":"https:\/\/doi.org\/10.1016\/j.future.2026.108557","relation":{},"ISSN":["0167-739X"],"issn-type":[{"value":"0167-739X","type":"print"}],"subject":[],"published":{"date-parts":[[2026,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Hybrid neuro\u2013symbolic reasoning for predictive cybernetic decision support in autonomous IoT environments","name":"articletitle","label":"Article Title"},{"value":"Future Generation Computer Systems","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.future.2026.108557","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Authors. Published by Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"108557"}}