基于模态逻辑D公理系统的Conformant规划方法

著录项

• 来源
  《计算机研究与发展》 |2009年第7期|1160-1168|共9页
• 作者

  吕帅; 刘磊; 李莹; 石莲;

  展开▼
• 作者单位

  吉林大学计算机科学与技术学院;

  长春;

  130012;

  吉林大学符号计算与知识工程教育部重点实验室;

  长春;

  130012;

  (Missing);

  (Missing);

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 自动推理、机器学习;
• 关键词

  conformant规划; 模态逻辑; 自动推理; 可满足性; 公理系统; D公理;