课题：人工智能中的知识表示与自动推理 

Lecture: Knowledge Representation and Automated Reasoning in AI 

Zoom Link: https://zoom.us/j/98050669142?pwd=UUhpbEFGeTd DOXpGdkdGV0VLa3ZKQT09 

Zoom ID：980 5066 9142 

Zoom Passcode：1234