On the Verification of Embeddings with Hybrid Markov Logic.

Anup Shakya, Abisha Thapa Magar, Somdeb Sarkhel, Deepak Venugopal

Browse the full ICDM paper archive.