Latest News

Jul 20, 2026 1 min read
AI Lecture 15: From Logic to Learning: A Computational Complexity Perspective
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 16: Neuro-Symbolic Systems and Applications
AI Lecture 16: Neuro-Symbolic Systems and Applications

Prof. Maonian Wu (Huzhou University) presents Neuro-Symbolic Systems and Applications.

Jul 19, 2026 1 min read
AI Lecture 14: Computational Discrete Global Geometric Structures
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.

Nov 19, 2025 1 min read
AI Lecture 13: Medical Knowledge Graphs: Technologies and Applications
AI Lecture 13: Medical Knowledge Graphs: Technologies and Applications

Prof. Zhisheng Huang (Vrije Universiteit Amsterdam) presents Medical Knowledge Graphs: Technologies and Applications.

Oct 31, 2024 1 min read
2025 Graduate Student Recruitment Announcement
2025 Graduate Student Recruitment Announcement

Our laboratory focuses on artificial intelligence research including knowledge representation and reasoning. Join our team!

See all posts

Latest Publication

Hongbo Hu, Yisong Wang, Katsumi Inoue (2025). Learning possibilistic dynamic systems from state transitions. Fuzzy Sets and Systems.

Cite Code DOI

Xin Zhou, Yisong Wang, Renyanfeng, Songhang Xu (2024). Strong Forgetting in Hennessy-Milner Logic. The 18th International Symposium on Theoretical Aspects of Software Engineering.

Cite DOI

Bowen Duan, Shiming Chen, Yufei Guo, Guo-Sen Xie, Weiping Ding, Yisong Wang (2024). Visual--Semantic Graph Matching Net for Zero-Shot Learning. IEEE Transactions on Neural Networks and Learning Systems.

Cite

Yisong Wang, Hong Liu, Ying Zhang, Mingyi Zhang, Danning Li, Jiajia Yang (2024). What's new is the evolution of propositional knowledge bases?. Journal of Guizhou University (Natural Sciences).

Cite DOI

Yisong Wang, Thomas Eiter, Yuanlin Zhang, Fangzhen Lin (2023). Witnesses for Answer Sets of Logic Programs. ACM Trans. Comput. Logic.

Cite Code DOI

See all publications