Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings
Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings
复制标题
计算机科学中的关系和代数方法 - 第 12 届国际会议，RAMICS 2011，荷兰鹿特丹，2011 年 5 月 30 日至 6 月 3 日。会议记录
DOI：
10.1007/978-3-642-21070-9_3
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Schmidt R
中科院分区：
文献类型：
--
作者：
Schmidt R
基于表格的演绎是逻辑和自动推理的几个分支中一个活跃且研究得很好的领域。在本文中，我们讨论的挑战，自动生成表演算逻辑的语义规范，同时保证可靠性，完整性和终止性，在可能的情况下。
Tableau-based deduction is an active and well-studied area of several branches of logic and automated reasoning. In this paper we discuss the challenge of automatically generating tableau calculi from the semantic specification of logics, while guaranteeing soundness, completeness and termination, when possible.