Tuesday, May 24, 2011

Talk on Markov Logic and Lifted Belief Propagation

By Parag Singla

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