Login / Signup

First-Order Reasoning and Efficient Semi-Algebraic Proofs.

Fedor PartNeil ThapenIddo Tzameret
Published in: LICS (2021)
Keyphrases
  • semi algebraic
  • knowledge base
  • knowledge representation
  • management system
  • higher order
  • shortest path
  • spatial databases
  • probabilistic logic