• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>AI communications >Finite domain and symbolic inference methods for extensions of first-order logic
【24h】

Finite domain and symbolic inference methods for extensions of first-order logic

机译：一阶逻辑扩展的有限域和符号推理方法

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this dissertation, we investigate various sorts of reasoning on finite structures and theories in the logic FO(-), a rich extension of classical logic with, amongst others, inductive definitions and aggregates. In particular, we study the tasks of constraint propagation, grounding, model revision, and debugging for FO(·).
机译：在本文中，我们研究了逻辑FO（-）中有限结构和理论的各种推理，这是经典逻辑的丰富扩展，其中包括归纳定义和集合。特别是，我们研究了FO（·）的约束传播，接地，模型修改和调试的任务。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号