Formal explanations as logical derivations.

Francesco A. Genco

Published in: J. Appl. Non Class. Logics (2021)

Keyphrases

logical reasoning
formal model
knowledge base
formal specification
formal semantics
databases
information systems
neural network
data mining
digital libraries
artificial neural networks
logical framework
logical properties
generating explanations