By Parag Singla
Things to look up
Things to look up
- Horn clauses, First Order Logic
- Lifted Theorem Proving, Lifted Resolution, Lifted Belief Propagation
- alchemy.cs.washington.edu
No comments:
Post a Comment