本文探讨了意向性陈述的答案集程序划分问题，提出通过分析谓词依赖关系和上下文来提升逻辑程序计算稳定模型的性能，并证明了程序的正确性。

本文探讨了逻辑程序的稳定模型语义及其性质，提出了简洁的抽象表示方法，并扩展了第一阶稳定模型语义。研究了稳定模型与循环公式的关系，定义了新的稳定模型语言，以处理非单调推理和不确定性信息。

本文研究了抽象辩证框架（ADFs）及其在不完整参数下的应用，提出了新的语义和软件系统DIAMOND，用于将ADFs翻译成稳定模型。研究探讨了基于论证框架的语义定义及其与人类论证评估的关系，展示了在复杂道德困境中的应用潜力。