DocumentCode
3396194
Title
A Method for Deciding the Containing Relation between Two Clauses
Author
Shao, Yingchao ; Zhang, Jiafeng ; Qin, Keyun
Author_Institution
Sch. of Math., Southwest Jiaotong Univ., Chengdu, China
Volume
3
fYear
2010
fDate
23-24 Oct. 2010
Firstpage
247
Lastpage
249
Abstract
In this paper, some properties on the containing relation between two clauses are proposed at first, then, based on these properties, a method for deciding the containing relation between two clauses is given.
Keywords
theorem proving; clause containing relation; mechanical theorem proving; resolution based mechanization; Artificial intelligence; Bismuth; Cognition; Geometry; Presses; Rough sets; clause; containing relation; mechanical theorem proving;
fLanguage
English
Publisher
ieee
Conference_Titel
Artificial Intelligence and Computational Intelligence (AICI), 2010 International Conference on
Conference_Location
Sanya
Print_ISBN
978-1-4244-8432-4
Type
conf
DOI
10.1109/AICI.2010.289
Filename
5655396
Link To Document