Sign in

State of the Union: Type Inference Via Craig Interpolation.

Ranjit JhalaRupak MajumdarRu-Gang Xu
Published in: TACAS (2007)
Keyphrases
  • database
  • real time
  • probabilistic inference
  • databases
  • artificial intelligence
  • knowledge base
  • database systems
  • similarity measure
  • relational databases
  • special case
  • belief networks
  • multiple types