Knowledge Representations and Reasoning

lecture, Harbin Institute of Technology, CS department, 2024