人工智能（诊断、规划）
 

知识讲座 ·人工智能及其应用 ·智能规划的研究和应用 ·基于模型的诊断及其应用 ·Refinement Planning as a Unifying Framework for Plan Synthesis ·Logic Method  for Planning ·Planning and its application ·STRIPS Method for Planning 　研究报告 ·博士学位论文开题报告（黄巍） ·博士学位论文开题报告（凌应标） ·博士学位论文开题报告（陈蔼祥） 　相关论文 ·软件所发表的相关论文 　研究成果 ·2005国际智能规划大赛夺冠

文献资料 ·Recent Advances in AI Planning ·Process and continuous change in a SAT-based Planner ·Lifelong Planning A ·Consistency-based diagnosis of configuration knowledge bases ·Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board ·DiKe – A Model-Based Diagnosis Kernel and Its Application ·Diagnosis of discrete-event systems from uncertain temporal observations ·Diagnosis of large active systems ·Benchmarking and robust multi-agent-based production planning and control ·Opportunistic planning for a .eet of transportation robots