Orthologic with Axioms.

Simon Guilloud Viktor Kuncak

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

knowledge base
first order logic
machine learning
domain knowledge
multi agent
computational complexity
image analysis
information extraction
axiomatic characterization