{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T15:43:30Z","timestamp":1774367010164,"version":"3.50.1"},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,11,28]],"date-time":"2022-11-28T00:00:00Z","timestamp":1669593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,11,28]],"date-time":"2022-11-28T00:00:00Z","timestamp":1669593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,11,28]]},"DOI":"10.1109\/milcom55135.2022.10017607","type":"proceedings-article","created":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T14:14:24Z","timestamp":1674569664000},"page":"1053-1058","source":"Crossref","is-referenced-by-count":5,"title":["Context-aware Collaborative Neuro-Symbolic Inference in IoBTs"],"prefix":"10.1109","author":[{"given":"Tarek","family":"Abdelzaher","sequence":"first","affiliation":[{"name":"University of Illinois, Urbana-Champaign,Department of Computer Science"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathaniel D.","family":"Bastian","sequence":"additional","affiliation":[{"name":"Army Cyber Institute, U.S. Military Academy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susmit","family":"Jha","sequence":"additional","affiliation":[{"name":"SRI International,Computer Science Laboratory"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lance","family":"Kaplan","sequence":"additional","affiliation":[{"name":"U.S. Army Futures Command,DEVCOM Army Research Laboratory"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mani","family":"Srivastava","sequence":"additional","affiliation":[{"name":"University of California,ECE Department,Los Angeles"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Venugopal V.","family":"Veeravalli","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana-Champaign,ECE Department"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.tics.2006.05.002"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3384419.3431158"},{"key":"ref10","author":"garcez","year":"0","journal-title":"Applying the connectionist inductive learning and logic programming system to power system diagnosis"},{"key":"ref11","article-title":"Trusted neural networks for Safety-Constrained autonomous control","author":"ghosh","year":"2018","journal-title":"Machine Learning for Safety-Critical Applications in Engineering at DISE\/ICML"},{"key":"ref12","author":"gklezakos","year":"2022","journal-title":"Active predictive coding networks A neural solution to the problem of learning reference frames and Part-Whole hierarchies"},{"key":"ref13","article-title":"On the need for Topology-Aware generative models for Manifold-Based defenses","author":"jang","year":"2020","journal-title":"International Conference on Learning Representations (ICLR)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/9781119723950.ch16"},{"key":"ref15","article-title":"Inferring and conveying intentionality: Beyond numerical rewards to logical intentions","author":"jha","year":"2019","journal-title":"AAAI Spring Symposium Towards Conscious AI Systems"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-54549-9_15"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v36i7.20670","article-title":"iDE-CODe: In-distribution equivariance for conformal out-of-distribution detection","author":"kaur","year":"2022","journal-title":"The AAAI Conference of Artificial Intelligence (AAAI)"},{"key":"ref18","article-title":"Statistical relational AI: Logic, probability and computation","author":"natarajan","year":"0","journal-title":"International Conference on Logic Programming and Nonmonotonic Reasoning"},{"key":"ref19","author":"lecun","year":"0","journal-title":"A path towards autonomous machine intelligence version 0 9 2"},{"key":"ref28","article-title":"Neural-Symbolic reasoning under Open-World and Closed-World assumptions","volume":"3121","author":"wagner","year":"2022","journal-title":"CEUR Workshop Proceedings"},{"key":"ref4","author":"adam cobb","year":"2022","journal-title":"Principal manifold flows"},{"key":"ref27","author":"vilamala","year":"2021","journal-title":"DeepProbLog to perform complex event processing on an audio stream"},{"key":"ref3","article-title":"Predify: Augmenting deep neural networks with brain-inspired predictive coding dynamics","author":"mozafari","year":"2021","journal-title":"PROCESSING"},{"key":"ref6","article-title":"Learning libraries of subroutines for neurally-guided bayesian program induction","author":"ellis","year":"2018","journal-title":"NeurIPS"},{"key":"ref29","article-title":"Dual-Key multimodal backdoors for visual question answering","author":"sikka","year":"0","journal-title":"Proc Estonian Acad Sci Biol Ecol"},{"key":"ref5","first-page":"2462","article-title":"ProbLog: A probabilistic prolog and its application in link discovery","volume":"7","author":"de raedt","year":"2007","journal-title":"IJCAI"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5714"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1080\/13546780542000005"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1111\/j.2044-8295.1982.tb01800.x"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2022\/417"},{"key":"ref1","article-title":"Detecting out-of-context objects using graph contex-tual reasoning network","author":"acharya","year":"2022","journal-title":"31st International Joint Conference on Artificial Intelligence (IJCAI)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11691"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1117\/12.2587850"},{"key":"ref21","article-title":"Multiple testing framework for out-of-distribution detection","author":"magesh","year":"2022","journal-title":"ArXiv Preprint"},{"key":"ref24","author":"serafini","year":"2016","journal-title":"Logic tensor networks Deep learning and logical reasoning from data and knowledge"},{"key":"ref23","article-title":"Runtime monitoring of deep neural networks using top-down context models inspired by predictive processing and dual process theory","author":"roy","year":"0","journal-title":"AAAI Spring Symposium"},{"key":"ref26","article-title":"Using DeepProbLog to perform complex event processing on an audio stream","author":"vilamala","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref25","author":"totis","year":"2021","journal-title":"SMProbLog Stable model semantics in ProbLog and its applications in argumentation"}],"event":{"name":"MILCOM 2022 - 2022 IEEE Military Communications Conference (MILCOM)","location":"Rockville, MD, USA","start":{"date-parts":[[2022,11,28]]},"end":{"date-parts":[[2022,12,2]]}},"container-title":["MILCOM 2022 - 2022 IEEE Military Communications Conference (MILCOM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10017432\/10017302\/10017607.pdf?arnumber=10017607","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T16:59:38Z","timestamp":1676912378000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10017607\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,28]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/milcom55135.2022.10017607","relation":{},"subject":[],"published":{"date-parts":[[2022,11,28]]}}}