《智能系统学报》 过刊查询页面

    关键词中包括 Tableau 的文章

1 扩展断言知识检验一致的需求建模方法
郭新峰1, 马世龙2, 吕江花2, 李睿2 2015年01期 [81-89][摘要](1383)[pdf 606KB](1053)
2 一种扩展的动态描述逻辑语言及其 Tableau 算法
郝国舜1,马世龙1,眭跃飞2 2009年03期 [226-233][摘要](3515)[pdf 462KB](1501)
DOI:
3 一种逻辑强化学习的tableau推理方法
刘 全1, 2 ,崔志明1 ,高 阳2 ,陈道蓄2 ,姚望舒1 2008年04期 [355-360][摘要](3359)[pdf 454KB](2536)
DOI: