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) ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results