{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T20:16:29Z","timestamp":1783714589754,"version":"3.55.0"},"reference-count":90,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"14","license":[{"start":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T00:00:00Z","timestamp":1784073600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T00:00:00Z","timestamp":1784073600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T00:00:00Z","timestamp":1784073600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["FRF-KP-25-002"],"award-info":[{"award-number":["FRF-KP-25-002"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Internet Things J."],"published-print":{"date-parts":[[2026,7,15]]},"DOI":"10.1109\/jiot.2026.3698940","type":"journal-article","created":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T19:36:20Z","timestamp":1780342580000},"page":"30162-30183","source":"Crossref","is-referenced-by-count":0,"title":["Cyberlogic: A Foundational Framework for Cross-Space Logic in the Cyber-Physical-Social-Thinking Hyperspace"],"prefix":"10.1109","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6413-193X","authenticated-orcid":false,"given":"Huansheng","family":"Ning","sequence":"first","affiliation":[{"name":"School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-9728-084X","authenticated-orcid":false,"given":"Lei","family":"Zhou","sequence":"additional","affiliation":[{"name":"School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-9484-9253","authenticated-orcid":false,"given":"Jifar Wakuma","family":"Ayana","sequence":"additional","affiliation":[{"name":"School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shan","family":"Cui","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering, Linyi University, Linyi, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6116-2156","authenticated-orcid":false,"given":"Mahmoud","family":"Daneshmand","sequence":"additional","affiliation":[{"name":"Department of Business Intelligence and Analytics and the Department of Computer Science, Stevens Institute of Technology, Hoboken, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8927-0968","authenticated-orcid":false,"given":"Jianguo","family":"Ding","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Blekinge Institute of Technology, Karlskrona, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Intention, Plans, and Practical Reason","author":"Bratman","year":"1987"},{"key":"ref2","first-page":"473","article-title":"Modeling rational agents within a BDI-architecture","volume-title":"Proc. 2nd Int. Conf. Knowl. Represent. Reasoning (KR\u201991)","author":"Georgeff"},{"key":"ref3","first-page":"161","article-title":"Cyber-physical systems","author":"Baheti","year":"2011","journal-title":"The Impact of Control Technology"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-014-5209-2"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2023.3298838"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2020.3033547"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1518\/hfes.46.1.50_30392"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2021.3072893"},{"issue":"1","key":"ref9","first-page":"108","article-title":"Artificial intelligence for the real world","volume":"96","author":"Davenport","year":"2018","journal-title":"Harvard Bus. Rev."},{"key":"ref10","first-page":"24824","article-title":"Chain-of-thought prompting elicits reasoning in large language models","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Bosma"},{"key":"ref11","first-page":"1877","article-title":"Language models are few-shot learners","volume-title":"Proc. NIPS","author":"Brown"},{"key":"ref12","volume-title":"Superintelligence: Paths, Dangers, Strategies","author":"Bostrom","year":"2014"},{"issue":"2","key":"ref13","first-page":"209","article-title":"NID-based Internet of Things and its application in airport aviation risk management","volume":"21","author":"Ning","year":"2012","journal-title":"Chin. J. Electron."},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2019.2911564"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s11235-014-9867-6"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2019.106506"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1177\/1550147718754968"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2734917"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2018.11.004"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2017.2666798"},{"issue":"5","key":"ref21","first-page":"702","article-title":"Cyberlogic and cyber-driven logic","volume":"43","author":"Xu","year":"2021","journal-title":"Chin. J. Eng."},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2022.3217821"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2015.07.012"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-55394-8_1"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s13174-010-0007-6"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2015.2444095"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2300753"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1038\/nature14539"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2010.05.010"},{"key":"ref30","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"Pearl","year":"2014"},{"key":"ref31","volume-title":"Real-Time Systems: Design Principles for Distributed Embedded Applications","author":"Kopetz","year":"1997"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2012.12.018"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79228-4_1"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2025.3634621"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2024.3522130"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(65)90241-X"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/IWCMC55113.2022.9824136"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/iThings-GreenCom-CPSCom-SmartData-Cybermatics62450.2024.00056"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2342509.2342513"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2024.3506604"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1108\/K-03-2021-0198"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.30534\/ijatcse\/2020\/282942020"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/s10676-004-3422-1"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30371-6"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s11023-018-9482-5"},{"key":"ref46","volume-title":"Regulation (EU) 2024\/1689 Laying Down Harmonised Rules on Artificial Intelligence (AI Act)","year":"2024"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.6028\/nist.ai.100-1"},{"key":"ref48","volume-title":"Ontology Matching","author":"Euzenat","year":"2007"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25073-6_18"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.3233\/SW-180320"},{"key":"ref51","volume-title":"FIWARE Smart Data Models","year":"2023"},{"key":"ref52","volume-title":"Web of Things (WoT) Thing Description 1.1","author":"Kaebisch"},{"key":"ref53","volume-title":"Programming Multi-Agent Systems in AgentSpeak Using Jason","author":"Bordini","year":"2007"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"ref55","volume-title":"FIPA ACL Message Structure Specification"},{"key":"ref56","volume-title":"An Introduction to MultiAgent Systems","author":"Wooldridge","year":"2009"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-38756-7_4"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2873186"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63588-0"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"ref61","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"Lamport","year":"2002"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2019.12.012"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N16-3020"},{"key":"ref64","first-page":"4765","article-title":"A unified approach to interpreting model predictions","volume-title":"Proc. 31st Int. Conf. Neural Inf. Process. Syst. (NeurIPS)","author":"Lundberg"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1002\/widm.70015"},{"key":"ref66","volume-title":"Ethics Guidelines for Trustworthy AI","year":"2019"},{"key":"ref67","first-page":"2787","article-title":"Translating embeddings for modeling multi-relational data","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"26","author":"Bordes"},{"key":"ref68","first-page":"2071","article-title":"Complex embeddings for simple link prediction","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Trouillon"},{"key":"ref69","first-page":"3749","article-title":"DeepProbLog: Neural probabilistic logic programming","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"31","author":"Manhaeve"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/243"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2014.08.032"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/CBMS.2013.6627810"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-27468-5_63"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1145\/1041410.1041421"},{"key":"ref75","first-page":"49","article-title":"Introducing the HOBBIT platform into the ontology alignment evaluation campaign","volume-title":"Proc. 13th Int. Workshop Ontol. Matching (OM)","author":"Jimenez-Ruiz"},{"key":"ref76","first-page":"97","article-title":"JADE\u2014A FIPA-compliant agent framework","volume-title":"Proc. Practical Appl. Intell. Agents Multi-Agent Technol. (PAAM)","author":"Bellifemine"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1080\/19462166.2013.869766"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001674"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.65109\/vfcg7219"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2998358"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.36680\/j.itcon.2021.005"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21401-6_36"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref84","first-page":"2668","article-title":"Interpretability beyond feature attribution: Quantitative testing with concept activation vectors (TCAV)","volume-title":"Proc. 35th Int. Conf. Mach. Learn. (ICML)","author":"Kim"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1145\/3447772"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2483592"},{"key":"ref87","first-page":"1","article-title":"Logic tensor networks: Deep learning and logical reasoning from data and knowledge","volume-title":"Proc. 11th Int. Workshop Neural-Symbolic Learn. Reason. (NeSy)","author":"Serafini"},{"issue":"4","key":"ref88","first-page":"611","article-title":"Neural-symbolic computing: An effective methodology for principled integration of machine learning and reasoning","volume":"6","author":"d\u2019Avila Garcez","year":"2019","journal-title":"J. Appl. Logics"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2012.07.010"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2014.2311513"}],"container-title":["IEEE Internet of Things Journal"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6488907\/11599885\/11543299.pdf?arnumber=11543299","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T19:39:49Z","timestamp":1783712389000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11543299\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,15]]},"references-count":90,"journal-issue":{"issue":"14"},"URL":"https:\/\/doi.org\/10.1109\/jiot.2026.3698940","relation":{},"ISSN":["2327-4662","2372-2541"],"issn-type":[{"value":"2327-4662","type":"electronic"},{"value":"2372-2541","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,15]]}}}