加权回答集相关论文
加权逻辑程序可以很好地表示产品配置知识,在程序有解的情况下,可以很快地计算出产品配置问题的配置解。实际上,由于客户不了解领域知......
¬RDF在RDF中引入经典否定和推理,以增强RDF的表达和推理能力,但经典否定会使程序出现不一致情况,导致程序无解。为此,提出一种基于......