Logic programming (1)
Propositional Logic. Topics Propositional calculus Deductions and prove Logical equivalence Tautologies Satisfiability.
6/26/2015 Let remember from the previous lesson what is Knowledge representation? Logic, Syntax, Semantics and kinds of knowledge representation. Aim of.