关键词stable model semantics
搜索结果 - 25
  • 关于非平坦的基于假设的论证和包含失败否定的逻辑规划的对应关系
    PDFa month ago
  • 具有内涵函数的一阶稳定模型语义
    PDFa year ago
  • MMAnswer-Set 程序更新简史
    PDF2 years ago
  • MM使用 ASP 和 MLN 求解器计算 LPMLN
    PDF7 years ago
  • MM点对点数据交换系统中的一致性和信任
    PDF8 years ago
  • AAAI具有不一致存在规则的稳定模型语义下的查询回答
    PDF8 years ago
  • 答案集编程中 GZ-Aggregates 的复杂度和编译
    PDF9 years ago
  • AAAI稳定模型计数及其在概率逻辑编程中的应用
    PDF10 years ago
  • MM稳定模型语义扩展的属性
    PDF10 years ago
  • MM有界基础的答案集编程
    PDF10 years ago
  • 在稳定模型和答案集规划中重构情境演算和事件演算
    PDF10 years ago
  • 一阶稳定模型语义与一阶环公式
    PDF10 years ago
  • MM基于 SE - 模型的语义规则更新的兴衰
    PDF11 years ago
  • MM带广义量词的逻辑程序稳定模型的两种新定义
    PDF11 years ago
  • MMLloyd-Topor Completion 和一般的稳定模型
    PDF11 years ago
  • MM在良基语义下,可反驳逻辑和逻辑编程的相互定义
    PDF13 years ago
  • 关于逻辑程序的基本环路
    PDF13 years ago
  • MM具任意约束原子的逻辑程序稳定模型语义的表征
    PDF15 years ago
  • 有限递归程序
    PDF15 years ago
  • 关于 Smodels 程序的稳定模型语义组合性的实现
    PDF16 years ago
Prev