Machine Learning Tutorial

2020 VietMX 87

Machine Learning tutorial provides basic and advanced concepts of machine learning. Our machine learning tutorial is designed for students and working professionals. Machine learning is […]

Resolution in FOL

2020 VietMX 30

1. Resolution Resolution is a theorem proving technique that proceeds by building refutation proofs, i.e., proofs by contradictions. It was invented by a Mathematician John […]

What is Unification?

2020 VietMX 0

1. What is Unification? Unification is a process of making two different logical atomic expressions identical by finding a substitution. Unification depends on the substitution […]