{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T11:10:08Z","timestamp":1743851408833,"version":"3.40.3"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000006","name":"Office of Naval Research (ONR) under MURI","doi-asserted-by":"publisher","award":["N000114-19-1-2621"],"award-info":[{"award-number":["N000114-19-1-2621"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,10,27]]},"DOI":"10.1109\/ieeeconf60004.2024.10942788","type":"proceedings-article","created":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T18:20:20Z","timestamp":1743790820000},"page":"121-125","source":"Crossref","is-referenced-by-count":0,"title":["Symbolic Logic and Category Theory for Reasoning-Enabled Semantic Communications"],"prefix":"10.1109","author":[{"given":"Christo Kurisummoottil","family":"Thomas","sequence":"first","affiliation":[{"name":"Wireless@VT, Virginia Tech,Bradley Department of Electrical and Computer Engineering,Arlington,VA,USA"}]},{"given":"Walid","family":"Saad","sequence":"additional","affiliation":[{"name":"Wireless@VT, Virginia Tech,Bradley Department of Electrical and Computer Engineering,Arlington,VA,USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.001.2000604"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/comst.2024.3412852"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCCN.2023.3346481"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/GLOBECOM48099.2022.10001594"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3390\/e26050394"},{"volume-title":"An Outline of a Theory of Semantic Information","year":"1952","author":"Carnap","key":"ref6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1023\/B:MIND.0000021684.50925.c9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TWC.2023.3319981"},{"key":"ref9","article-title":"Logical Neural Networks","author":"Riegel","year":"2020","journal-title":"arXiv"},{"key":"ref10","article-title":"Topos and stacks of deep neural networks","author":"Belfiore","year":"2021","journal-title":"arXiv preprint"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71097-8"},{"volume-title":"Category theory in context","year":"2017","author":"Riehl","key":"ref12"},{"volume-title":"Categorical logic and type theory","year":"1999","author":"Jacobs","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0081551"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/jsait.2023.3336538"}],"event":{"name":"2024 58th Asilomar Conference on Signals, Systems, and Computers","start":{"date-parts":[[2024,10,27]]},"location":"Pacific Grove, CA, USA","end":{"date-parts":[[2024,10,30]]}},"container-title":["2024 58th Asilomar Conference on Signals, Systems, and Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10942562\/10942606\/10942788.pdf?arnumber=10942788","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T10:57:34Z","timestamp":1743850654000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10942788\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/ieeeconf60004.2024.10942788","relation":{},"subject":[],"published":{"date-parts":[[2024,10,27]]}}}