|
by Shakarian, Paulo, Baral, Chitta, Simari, Gerardo I., Xi, Bowen
Published 2023
“... such as verification of neural networks and symbol grounding. Detailed algorithmic descriptions, example logic programs...”Published 2023
Springer Nature Switzerland