Simulation and Synthesis of Deduction Calculi
Simulation and Synthesis of Deduction Calculi
复制标题
演绎演算的模拟与综合
DOI：
10.1016/j.entcs.2010.04.016
复制
发表时间：
2010
影响因子：
--
通讯作者：
Schmidt R
中科院分区：
文献类型：
--
作者：
Schmidt R
本文概述了从逻辑的语义规范自动或半自动生成演绎演算的两种方法。一种方法是基于自动推理和一阶归结技术的模拟演绎方法。第二种方法直接从逻辑的语义规范合成健全的、完整的和终止的Tableau演算。
This paper gives an overview of two methods for automatically or semi-automatically generating deduction calculi from the semantic specification of a logic. One approach is based on simulating deduction approaches with techniques of automated reasoning and first-order resolution. The second approach synthesises sound, complete and terminating tableau calculi directly from the semantic specification of a logic.
登录
查看更多内容
相互作用和结构的系统
DOI：
--
发表时间：
1999
期刊：
TOCL
影响因子：
--
作者：
Alessio Guglielmi
通讯作者：
Alessio Guglielmi
优化描述逻辑的 Tableaux 决策过程
DOI：
--
发表时间：
1997
期刊：
影响因子：
--
作者：
Ian Horrocks
通讯作者：
Ian Horrocks
Tableau 演算的自动合成
影响因子：
0.6
作者：
Schmidt R
通讯作者：
Schmidt R
DOI：
--
发表时间：
2007
期刊：
TOCL
影响因子：
--
作者：
R. Schmidt;U. Hustadt
通讯作者：
U. Hustadt
使用分辨率测试模态可满足性和构建模型
DOI：
--
发表时间：
2002
期刊：
Journal of automated reasoning
影响因子：
--
作者：
U. Hustadt;R. Schmidt
通讯作者：
R. Schmidt