Date: 2014-10-31 21:58:08Model theory Predicate logic Propositional calculus Theoretical computer science First-order logic Markov logic network Interpretation Function Atomic formula Logic Mathematical logic Mathematics | | New Rules for Domain Independent Lifted MAP Inference Happy Mittal, Prasoon Goyal Dept. of Comp. Sci. & Engg. I.I.T. Delhi, Hauz Khas New Delhi, 110016, IndiaAdd to Reading ListSource URL: www.hlt.utdallas.eduDownload Document from Source Website File Size: 300,96 KBShare Document on Facebook
|