Matches in SemOpenAlex for { <https://semopenalex.org/work/W2375359602> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2375359602 abstract "Tableau is an automated reasoning method which is closed with Logic system.In implementing tableau it is very important for us to limit the number of γ-rule applications. The number that γ-rule applications affect directly efficiency of tableau reasoning. This paper presents a method for recognizing γ formulae and introduces an improved algorithm for tableau with γ formulae. The system :UniTAP by PROLOG is implemented. Experimental comparisons have been done between UniTAP and leanTAP software package,which is a complete and sound theorem prover for classical first-order logic based on free variable tableaux. By the analyses of 20 of Pelletier's problems, the results show that the instantiations of γ formulae are not taken into consideration. This can be beneficial to yield shorter tableau proofs, and in most cases reduced the search space." @default.
- W2375359602 created "2016-06-24" @default.
- W2375359602 creator A5030323884 @default.
- W2375359602 date "2005-01-01" @default.
- W2375359602 modified "2023-09-26" @default.
- W2375359602 title "Tableau Reasoning Method with an Improved γ Formulae" @default.
- W2375359602 hasPublicationYear "2005" @default.
- W2375359602 type Work @default.
- W2375359602 sameAs 2375359602 @default.
- W2375359602 citedByCount "0" @default.
- W2375359602 crossrefType "journal-article" @default.
- W2375359602 hasAuthorship W2375359602A5030323884 @default.
- W2375359602 hasConcept C100481476 @default.
- W2375359602 hasConcept C108710211 @default.
- W2375359602 hasConcept C11413529 @default.
- W2375359602 hasConcept C134306372 @default.
- W2375359602 hasConcept C151201525 @default.
- W2375359602 hasConcept C159718280 @default.
- W2375359602 hasConcept C195344581 @default.
- W2375359602 hasConcept C199343813 @default.
- W2375359602 hasConcept C199360897 @default.
- W2375359602 hasConcept C206880738 @default.
- W2375359602 hasConcept C2524010 @default.
- W2375359602 hasConcept C2777686260 @default.
- W2375359602 hasConcept C2777904410 @default.
- W2375359602 hasConcept C33923547 @default.
- W2375359602 hasConcept C41008148 @default.
- W2375359602 hasConcept C71924100 @default.
- W2375359602 hasConcept C80444323 @default.
- W2375359602 hasConcept C81721847 @default.
- W2375359602 hasConceptScore W2375359602C100481476 @default.
- W2375359602 hasConceptScore W2375359602C108710211 @default.
- W2375359602 hasConceptScore W2375359602C11413529 @default.
- W2375359602 hasConceptScore W2375359602C134306372 @default.
- W2375359602 hasConceptScore W2375359602C151201525 @default.
- W2375359602 hasConceptScore W2375359602C159718280 @default.
- W2375359602 hasConceptScore W2375359602C195344581 @default.
- W2375359602 hasConceptScore W2375359602C199343813 @default.
- W2375359602 hasConceptScore W2375359602C199360897 @default.
- W2375359602 hasConceptScore W2375359602C206880738 @default.
- W2375359602 hasConceptScore W2375359602C2524010 @default.
- W2375359602 hasConceptScore W2375359602C2777686260 @default.
- W2375359602 hasConceptScore W2375359602C2777904410 @default.
- W2375359602 hasConceptScore W2375359602C33923547 @default.
- W2375359602 hasConceptScore W2375359602C41008148 @default.
- W2375359602 hasConceptScore W2375359602C71924100 @default.
- W2375359602 hasConceptScore W2375359602C80444323 @default.
- W2375359602 hasConceptScore W2375359602C81721847 @default.
- W2375359602 hasLocation W23753596021 @default.
- W2375359602 hasOpenAccess W2375359602 @default.
- W2375359602 hasPrimaryLocation W23753596021 @default.
- W2375359602 hasRelatedWork W1038024421 @default.
- W2375359602 hasRelatedWork W126011539 @default.
- W2375359602 hasRelatedWork W131544705 @default.
- W2375359602 hasRelatedWork W1494727795 @default.
- W2375359602 hasRelatedWork W1498735498 @default.
- W2375359602 hasRelatedWork W1526521607 @default.
- W2375359602 hasRelatedWork W1565759659 @default.
- W2375359602 hasRelatedWork W1589302457 @default.
- W2375359602 hasRelatedWork W1598668400 @default.
- W2375359602 hasRelatedWork W1783483666 @default.
- W2375359602 hasRelatedWork W2025252200 @default.
- W2375359602 hasRelatedWork W2111731706 @default.
- W2375359602 hasRelatedWork W2114356493 @default.
- W2375359602 hasRelatedWork W2146658047 @default.
- W2375359602 hasRelatedWork W2350946217 @default.
- W2375359602 hasRelatedWork W2392162437 @default.
- W2375359602 hasRelatedWork W2438648061 @default.
- W2375359602 hasRelatedWork W2963998202 @default.
- W2375359602 hasRelatedWork W34759408 @default.
- W2375359602 hasRelatedWork W81576834 @default.
- W2375359602 isParatext "false" @default.
- W2375359602 isRetracted "false" @default.
- W2375359602 magId "2375359602" @default.
- W2375359602 workType "article" @default.