标签: 逻辑程序经管大学堂：名校名师名课

相关帖子	版块	作者	回复/查看	最后发表

用项重写实现逻辑程序的自动终止证明	外文文献专区	mingdashike22 2022-3-6	0 390	mingdashike22 2022-3-6 10:21:25
普通逻辑程序中扩展的ASP表和规则冗余	外文文献专区	nandehutu2022 2022-3-5	0 294	nandehutu2022 2022-3-5 22:05:50
在自认知逻辑中嵌入非基础逻辑程序知识库组合	外文文献专区	kedemingshi 2022-3-4	0 255	kedemingshi 2022-3-4 14:03:30
具有社会特征的逻辑程序设计	外文文献专区	何人来此 2022-3-3	0 244	何人来此 2022-3-3 20:36:30
An Efficient Multiple Predicate Learner	人工智能论文版	a智多星 2018-2-10	0 530	a智多星 2018-2-10 05:20:02
概率逻辑程序研究综述	人工智能论文版	DL-er 2017-12-29	0 539	DL-er 2017-12-29 11:20:01

相关帖子