Lecture 1: Knowledge
Introduction to artificial intelligence focusing on propositional logic, entailment, inference, model checking, resolution, and first order logic.
#Propositional Logic#Entailment#Inference
first order logic
Explore articles on first order logic