A technique for knowledge base verification.

Du Zhang, Doan Nguyen

Browse the full ICTAI paper archive.