析取逻辑程序相关论文
动态系统（Dynamical system）是一个数学概念,指其状态根据一组固定规则（又称演变规则）随时间变化的系统,这组规则确定了系统的一个状态......
二十世纪八十年代逻辑程序设计语言在描述性语义上取得突破性的进展-稳定模型语义(回答集语义),为逻辑程序的研究打开了大门。回答......
该文探讨争论推理在扩充逻辑程序中的实现及其关系问题.基于"相干原理",建立了扩充逻辑程序的争论推理框架,多种争论推理形式都可......
基于回答集（也称稳定模型）语义的带函数析取逻辑程序是一种重要的知识表示和推理方法。由于判定一个析取逻辑程序是否有回答集是困难......
