Latest News

Sep 28, 2026 1 min read
AI Lecture 17: A New Well-Supported Semantics for Description Logic Programs
AI Lecture 17: A New Well-Supported Semantics for Description Logic Programs

Jia-Huai You (University of Alberta, Canada) presents a new well-supported semantics for description logic programs.

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.

See all posts

Latest Publication

Zhongtao Xie, Yisong Wang, Lei Yang, Hongbo Hu (2026). A MaxSAT-based framework for computing circumscription.. Ann. Math. Artif. Intell..

Cite DOI

Renyan Feng, Yisong Wang, Mingsen Deng, Erman Acar (2026). Uniform Interpolation Closure for Branching Time Temporal Logics.. IJCAI/ECAI.

Cite DOI

Wei Peng, Yisong Wang, Maonian Wu, Shiming Chen (2026). Zero-Shot Segmentation With Co-Occurrence Relation Enhancement.. IEEE Trans. Circuits Syst. Video Technol..

Cite DOI

Hongbo Hu, Yisong Wang, Yi Huang, Kewen Wang (2025). Inductive Learning for Possibilistic Logic Programs Under Stable Models.. CoRR.

Cite DOI

Hongbo Hu, Yisong Wang, Yi Huang, Kewen Wang (2025). Inductive Learning for Possibilistic Logic Programs Under Stable Models.. Theory Pract. Log. Program..

Cite DOI

See all publications