E-commerce websites (e.g. Amazon) have a plethora of structured and
unst...
We propose a practical instant question answering (QA) system on product...
We present CVC4-SymBreak, a derived SMT solver based on CVC4, and a
non-...
Combining logic and probability has been a long standing goal of AI. Mar...
Lifted inference reduces the complexity of inference in relational
proba...