Academic Lectures

AI Lecture 15: From Logic to Learning: A Computational Complexity Perspective
Prof. Yuping Shen (Sun Yat-sen University) presents From Logic to Learning: A Computational Complexity Perspective.
Jul 20, 2026 1 min read
AI Lecture 15: From Logic to Learning: A Computational Complexity Perspective
AI Lecture 16: Neuro-Symbolic Systems and Applications
Prof. Maonian Wu (Huzhou University) presents Neuro-Symbolic Systems and Applications.
Jul 20, 2026 1 min read
AI Lecture 16: Neuro-Symbolic Systems and Applications
AI Lecture 14: Computational Discrete Global Geometric Structures
Hui Zhao (Founder and Chief Scientist, Computational Discrete Global Geometric Structures Laboratory) presents Computational Discrete Global Geometric Structures.
Jul 19, 2026 1 min read
AI Lecture 14: Computational Discrete Global Geometric Structures
AI Lecture 13: Medical Knowledge Graphs: Technologies and Applications
Prof. Zhisheng Huang (Vrije Universiteit Amsterdam) presents Medical Knowledge Graphs: Technologies and Applications.
Nov 19, 2025 1 min read
AI Lecture 13: Medical Knowledge Graphs: Technologies and Applications
AI Lecture 12: Visual Question Answering Using ASP
Prof. Thomas Eiter (TU Wien) presents Visual Question Answering Using ASP.
Oct 31, 2024 1 min read
AI Lecture 12: Visual Question Answering Using ASP
AI Lecture 11: Trustworthy AI Models and Systems for Autonomous Decision Making
Prof. Jun Liu (Ulster University) presents Trustworthy AI Models and Systems for Autonomous Decision Making.
Aug 24, 2024 1 min read
AI Lecture 11: Trustworthy AI Models and Systems for Autonomous Decision Making
AI Lecture 10: Approximation Fixpoint Theory Generalized and its Application to Hybrid MKNF Knowledge Bases
Prof. Jia-Huai You (University of Alberta) presents Approximation Fixpoint Theory Generalized and its Application to Hybrid MKNF Knowledge Bases.
Jul 8, 2024 1 min read
AI Lecture 10: Approximation Fixpoint Theory Generalized and its Application to Hybrid MKNF Knowledge Bases
AI Lecture 9: Formal Design of Embedded Systems
Prof. Naijun Zhan (Institute of Software, CAS) presents Formal Design of Embedded Systems.
Dec 4, 2023 1 min read
AI Lecture 9: Formal Design of Embedded Systems
AI Lecture 8: Generative AI in the Era of Large Models: Opportunities and Challenges
Prof. Haijun Zhang (HIT Shenzhen) presents Generative AI in the Era of Large Models: Opportunities and Challenges.
Jun 30, 2023 1 min read
AI Lecture 8: Generative AI in the Era of Large Models: Opportunities and Challenges
AI Lecture 7: Using Language Models for Knowledge Acquisition in Natural Language Reasoning Problems
Prof. Fangzhen Lin (HKUST) presents Using Language Models for Knowledge Acquisition in Natural Language Reasoning Problems.
Jun 9, 2023 1 min read
AI Lecture 7: Using Language Models for Knowledge Acquisition in Natural Language Reasoning Problems