新闻

2026年9月28 1 分钟阅读时长
人工智能系列讲座（十七）：A New Well-Supported Semantics for Description Logic Programs
人工智能系列讲座（十七）：A New Well-Supported Semantics for Description Logic Programs

加拿大阿尔伯塔大学 Jia-Huai You 教授作题为《A New Well-Supported Semantics for Description Logic Programs》的学术报告。

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 分钟阅读时长
人工智能系列讲座（十三）：医学知识图谱：技术与应用
人工智能系列讲座（十三）：医学知识图谱：技术与应用

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

查看全部文章

最新发表

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

引用 DOI

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

引用 DOI

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

引用 DOI

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

引用 DOI

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

引用 DOI

查看全部出版物