Funder
Sandia National Laboratories
Laboratory Directed Research and Development
U.S. Department of Energy
National Nuclear Security Administration
Reference46 articles.
1. Logic tensor networks;Badreddine;Artif. Intell.,2022
2. A novel gait pattern recognition method based on LSTM-CNN for lower limb exoskeleton;Chen;J. Bionics Eng.,2021
3. Introduction to Mathematical Logic, vol. 13;Church,1996
4. Logic explained networks;Ciravegna;Artif. Intell.,2023