一致性规划论文

自动推理与规划问题最小上界和相变规律研究
论文摘要自动推理和规划是人工智能领域中两个重要的分支,同时也是难度非常大的课题。1971年Cook等证明了命题可满足问题（SAT问题）是NP完备的,1991年Chenoweth...
自动推理和智能规划中若干问题研究
论文摘要自动推理和智能规划自从二十世纪五十年代被提出,已经成为计算机科学中最重要的研究领域。基于演绎推理的规划求解方法、基于SAT的经典规划求解方法和基于QBF以及知识编译的非...