Ontological purity for Formal Proofs.

Published in: Rev. Symb. Log. (2024)

Keyphrases

formal proofs
knowledge representation
domain specific
conceptual modeling
context dependent
ontological concepts
ontological framework
neural network
support vector
data analysis
lower bound