关键词logic programs
搜索结果 - 54
  • 关于非平坦的基于假设的论证和包含失败否定的逻辑规划的对应关系
    PDF2 months ago
  • 数据增强:一种结合归纳 - 演绎方法和答案集编程的方法
    PDF9 months ago
  • 高级逻辑程序中等价性属性的自动验证 —— 学士论文
    PDF9 months ago
  • MM(扩展)分离逻辑程序的论证特征
    PDFa year ago
  • 学习基于假设的论证框架
    PDFa year ago
  • MMClingraph:基于 ASP 的可视化系统
    PDFa year ago
  • 使用解缠树表示来解析神经策略
    PDF2 years ago
  • MM一种神经符号 ASP 管道用于视觉问答
    PDF2 years ago
  • MM有序析取逻辑程序的强等价性:一个逻辑角度
    PDF2 years ago
  • MM带有有序析取逻辑编程首选模型的逻辑特征
    PDF3 years ago
  • MM基于代数度量的答案集编程对多关系文本层次结构推理
    PDF3 years ago
  • MM通过 Datalog$^ eg$ 进行可辩驳推理
    PDF3 years ago
  • AAAI结构化样例的可微归纳逻辑编程
    PDF3 years ago
  • MM使用 Anthem 和 Vampire 验证紧凑逻辑程序
    PDF4 years ago
  • MM聚合递归在图分析到机器学习中的大数据应用
    PDF5 years ago
  • MMASP 的不一致性证明: ASP-DRUPE 格式
    PDF5 years ago
  • MM具有超量化的增量式答案集编程
    PDF5 years ago
  • IJCAI使用自编码逻辑程序学习关系表示
    PDF5 years ago
  • MM将 LPOD 和 CR-Prolog2 转换成标准答案集程序
    PDF6 years ago
  • MM利用外部资源的答案集编程进行元解释学习
    PDF6 years ago
Prev