Sign in
Memory State Verification Based on Inductive and Deductive Reasoning.
Shaofeng Li
Lei Qiao
Mengfei Yang
Published in:
IEEE Trans. Reliab. (2021)
Keyphrases
</>
deductive reasoning
knowledge representation
knowledge base
machine learning
database
multi agent systems
model checking
main memory
concept learning
memory space