析取范式论文

描述逻辑概念可满足性推理研究
论文摘要在WEB上提供机器可理解的知识并实现WEB信息的自动处理逐渐成为人们重要的生活、工作需求之一。这其中,如何恰当地表示知识并在其上实现快速有效的推理以找出其它的相关知识是...