Login / Signup

and its decidable fragments.

Jason Z. S. HuOndrej Lhoták
Published in: Proc. ACM Program. Lang. (2020)
Keyphrases
  • first order logic
  • knowledge base
  • search algorithm
  • horizontal fragmentation
  • databases
  • computer vision
  • website
  • relational databases