Language: English  |  中文 

广西民族大学机构知识库 > → 广西民族大学 > → 信息科学与工程学院 > → 期刊论文 >

Please use this identifier to cite or link to this item: http://ir.calis.edu.cn/hdl/530500/4708

Title: Well-Behaved Inference Rules for First-Order Theorem Proving
Authors: Department of Mathematics, Peking University, Beijing 100871, China
Institute of Systems Science, Academia Sinica, Beijing 100080, China
Jinzhao Wu
Zhuojun Liu
Keywords: inference rule
first-order polynomial
set-of-support deduction
linear deduction
Issue Date: 1998
Publisher: Journal of Automated Reasoning
Citation: Journal of Automated Reasoning,1998, Vol.21 (3)
Abstract: The concept of well-behaved inference rules is developed in first-order polynomial-based theorem proving. It is shown that well-behaved inference rules are complete for both the set of support strategy and the linear strategy. Furthermore, two concrete inference rules that are well behaved are presented, and two other strategies for them are described.
URI: http://ir.calis.edu.cn/hdl/530500/4708
Appears in Collections:期刊论文

Files in This Item:

File Description SizeFormat
Well-Behaved Inference Rules for First-Order Theorem Proving.pdf137.56 kBAdobe PDFView/Open
Recommend this item     Add this item as favorite
View Statistics

License: See CALIS IR operational policies.

Number of Online Users: 869     Total of Site Visit: 3525279