描述逻辑μALCIO的语义及推理

著录项

• 来源
  《计算机学报》 |2009年第7期|1280-1290|共11页
• 作者

  蒋运承; 王驹; 邓培民; 汤庸; 周生明;

  展开▼
• 作者单位

  华南师范大学计算机学院;

  广州;

  510631;

  中国科学院软件研究所计算机科学国家重点实验室;

  北京;

  100190;

  广西师范大学计算机科学与信息工程学院;

  广西;

  桂林;

  541004;

  广西师范大学计算机科学与信息工程学院;

  广西;

  桂林;

  541004;

  中山大学计算机科学系;

  广州;

  510275;

  广西师范大学计算机科学与信息工程学院;

  广西;

  桂林;

  541004;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 人工智能理论;
• 关键词

  描述逻辑; μALCIO; 混合μ-演算; 树自动机; 不动点构造算子;