Orthologic with Axioms.

Simon Guilloud Viktor Kuncak

Published in: CoRR (2023)

Keyphrases

knowledge base
first order logic
real time
information retrieval
image processing
decision trees
data analysis
domain knowledge
derived predicates