News

3) You will learn about logic programming, a paradigm to use logic for knowledge representation. You will learn about the model theory, fixpoint theory, and query processing procedures involved. 4) ...