Guest Lecture on “Knowledge Representation using Predicate Calculus and Knowledge Inference” by department of IT on 07.03.2017.