曾明 杨扬 熊曾刚 徐颖蕾 吴哲辉 于代荣

冲突 智能主体 描述逻辑 多主体系统 Petri网 动态描述逻辑 动作

中国科学院研究生院 山东财政学院计算机学院 北京科技大学信息工程学院 济南大学信息科学与工程学院 山东科技大学信息科学与工程学院 中国科学院计算技术研究所智能信息处理重点...