Call of Papers for Current Volume ********************OnLine Paper Submission for Current Volume

Volume & Issue no: Volume 4, Issue 1, January - February 2015

____________________________________________________________________________________________________

Title:
Theorem proving by incrementally extending theorem domain
Author Name:
Ismail A. Ismail and Mohamed G. Awad
Abstract:
Abstract Automated Theorem provers are used to check if the mathematical theorems are proved true or false. If the theorem is true, the automated theorem prover, usually, prints out the proof. In this paper we present a new approach to deal with the other case, i.e. if the theorem is false. The semantic tableau method is used to extend the theorem domain. The modified automated theorem prover suggests an extension of the domain, if it is available, to present a new provable theorem. Keywords: Artificial intelligence, Automated theorem provers, Tableaux, PROLOG
Cite this article:
Ismail A. Ismail and Mohamed G. Awad , " Theorem proving by incrementally extending theorem domain" , International Journal of Emerging Trends & Technology in Computer Science (IJETTCS) , Volume 4, Issue 1, January - February 2015 , pp. 113-115 , ISSN 2278-6856.
Full Text [PDF]                           Back to Current Issue

NOTE: Authors note that paper cannot be withdrawn at any condition once it is accepted. The Team of IJETTCS advise you, do not submit same article to the multiple journals simultaneously. This may create a problem for you. Please wait for review report which will take maximum 01 to 02 week. 

 

Contact us


International Journal of Emerging Trends & Technology in Computer Science (IJETTCS)
ISSN 2278-6856
Frequency : 6 Issues/Year


E-mail: editor@ijettcs.org