Markov Logic

A Markov Logic is a formal logic that attaches weights to first-order formulas.



References

2009

2007