Login / Signup
First-Order Reasoning and Efficient Semi-Algebraic Proofs.
Fedor Part
Neil Thapen
Iddo Tzameret
Published in:
LICS (2021)
Keyphrases
</>
semi algebraic
knowledge base
knowledge representation
management system
higher order
shortest path
spatial databases
probabilistic logic