新闻

2026年7月20 1 分钟阅读时长
人工智能系列讲座（十六）：神经—符号系统及应用
人工智能系列讲座（十六）：神经—符号系统及应用

吴茂念 教授（湖州师范大学）作题为《神经—符号系统及应用》的学术报告。

2026年7月20 1 分钟阅读时长
人工智能系列讲座（十五）：From Logic to Learning: A Computational Complexity Perspective
人工智能系列讲座（十五）：From Logic to Learning: A Computational Complexity Perspective

沈榆平 教授（中山大学逻辑与认知研究所）作题为《From Logic to Learning: A Computational Complexity Perspective》的学术报告。

2026年7月19 1 分钟阅读时长
人工智能系列讲座（十四）：Computational Discrete Global Geometric Structures（可计算离散整体几何结构）
人工智能系列讲座（十四）：Computational Discrete Global Geometric Structures（可计算离散整体几何结构）

赵辉（可计算离散整体几何结构实验室创始人、首席科学家）作题为《Computational Discrete Global Geometric Structures（可计算离散整体几何结构）》的学术报告。

2025年11月19 1 分钟阅读时长
人工智能系列讲座（十三）：医学知识图谱：技术与应用
人工智能系列讲座（十三）：医学知识图谱：技术与应用

黄智生 教授（荷兰阿姆斯特丹自由大学）作题为《医学知识图谱：技术与应用》的学术报告。

2024年10月31 1 分钟阅读时长
2025年硕士研究生招新公告
2025年硕士研究生招新公告

本实验室专注于知识表示与推理等人工智能领域研究，欢迎大家加入！

查看全部文章

最新发表

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

引用 代码 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.

引用 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.

引用

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).

引用 DOI

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

引用 代码 DOI

查看全部出版物