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