为了解决经典的逻辑程序设计只能单调推理的缺陷,以稳定模型为基础,形成的一种新的逻辑程序设计方法。又称回答集编程。
试用结束,开通会员即可查阅全文
对不起,您所在机构没有获得相应使用权限。若需获得更多服务,请与您所在机构的负责部门或本网站客服联系。