回答集编程(Answer Set Programming, ASP)的出现是非单调推理领域的突破性成果,其理论基础是Gelfond和Lifschitz提出的回答集语义......

逻辑程序是知识表示和非单调推理研究的重要领域。本文的研究背景是包含否定的逻辑程序。论文介绍了逻辑程序语义研究的现状，综述了......

基于回答集(或稳定模型)语义的逻辑程序(Answer Set Program,简称ASP),是一种描述性问题求解的范例。由于其非单调的本质特征和各......