Matches in SemOpenAlex for { <https://semopenalex.org/work/W2013154396> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2013154396 endingPage "180" @default.
- W2013154396 startingPage "169" @default.
- W2013154396 abstract "In this paper, we develop a new approach for enhancing the time efficiency of proving theorems by using a learning mechanism. A system is proposed for analyzing a set of theorems and observing those features that often affect the speed at which the theorems are proved. The system uses the learning mechanism for choosing between two well known theorem-provers, namely, Resolution–Refutation (TGTP) and Semantic Trees (HERBY). A three-step process has been implemented. The first step is to prove a set of theorems using the above two theorem provers. A training set of two classes of theorems is thus created. Each class represents those theorems that have been proven in less time using a particular theorem prover. The second step is to train neural networks on both classes of theorems in order to construct an internal representation of the decision boundary between the two classes. In the last step, a voting scheme is invoked in order to combine the decisions of the individual neural networks into a final decision. The results achieved by the system when working on the standard theorems of the Stickel Test Set are shown. Those results confirm the feasibility of our approach to inte-grate a learning mechanism into the process of automated theorem proving." @default.
- W2013154396 created "2016-06-24" @default.
- W2013154396 creator A5013603319 @default.
- W2013154396 creator A5039806358 @default.
- W2013154396 creator A5060184747 @default.
- W2013154396 creator A5079916949 @default.
- W2013154396 date "2001-01-01" @default.
- W2013154396 modified "2023-10-18" @default.
- W2013154396 title "Improving the time efficiency of proving theorems using a learning mechanism" @default.
- W2013154396 cites W1980717258 @default.
- W2013154396 cites W1992408997 @default.
- W2013154396 cites W2078376347 @default.
- W2013154396 cites W2079454194 @default.
- W2013154396 cites W2100738443 @default.
- W2013154396 cites W2165758113 @default.
- W2013154396 cites W51251913 @default.
- W2013154396 doi "https://doi.org/10.1080/00207160108805059" @default.
- W2013154396 hasPublicationYear "2001" @default.
- W2013154396 type Work @default.
- W2013154396 sameAs 2013154396 @default.
- W2013154396 citedByCount "0" @default.
- W2013154396 crossrefType "journal-article" @default.
- W2013154396 hasAuthorship W2013154396A5013603319 @default.
- W2013154396 hasAuthorship W2013154396A5039806358 @default.
- W2013154396 hasAuthorship W2013154396A5060184747 @default.
- W2013154396 hasAuthorship W2013154396A5079916949 @default.
- W2013154396 hasConcept C10138342 @default.
- W2013154396 hasConcept C111919701 @default.
- W2013154396 hasConcept C11413529 @default.
- W2013154396 hasConcept C118615104 @default.
- W2013154396 hasConcept C134306372 @default.
- W2013154396 hasConcept C154945302 @default.
- W2013154396 hasConcept C162324750 @default.
- W2013154396 hasConcept C177264268 @default.
- W2013154396 hasConcept C17744445 @default.
- W2013154396 hasConcept C182306322 @default.
- W2013154396 hasConcept C199360897 @default.
- W2013154396 hasConcept C199539241 @default.
- W2013154396 hasConcept C206880738 @default.
- W2013154396 hasConcept C2776230367 @default.
- W2013154396 hasConcept C2776359362 @default.
- W2013154396 hasConcept C2777212361 @default.
- W2013154396 hasConcept C2780801425 @default.
- W2013154396 hasConcept C33923547 @default.
- W2013154396 hasConcept C41008148 @default.
- W2013154396 hasConcept C50644808 @default.
- W2013154396 hasConcept C77618280 @default.
- W2013154396 hasConcept C94625758 @default.
- W2013154396 hasConcept C98045186 @default.
- W2013154396 hasConceptScore W2013154396C10138342 @default.
- W2013154396 hasConceptScore W2013154396C111919701 @default.
- W2013154396 hasConceptScore W2013154396C11413529 @default.
- W2013154396 hasConceptScore W2013154396C118615104 @default.
- W2013154396 hasConceptScore W2013154396C134306372 @default.
- W2013154396 hasConceptScore W2013154396C154945302 @default.
- W2013154396 hasConceptScore W2013154396C162324750 @default.
- W2013154396 hasConceptScore W2013154396C177264268 @default.
- W2013154396 hasConceptScore W2013154396C17744445 @default.
- W2013154396 hasConceptScore W2013154396C182306322 @default.
- W2013154396 hasConceptScore W2013154396C199360897 @default.
- W2013154396 hasConceptScore W2013154396C199539241 @default.
- W2013154396 hasConceptScore W2013154396C206880738 @default.
- W2013154396 hasConceptScore W2013154396C2776230367 @default.
- W2013154396 hasConceptScore W2013154396C2776359362 @default.
- W2013154396 hasConceptScore W2013154396C2777212361 @default.
- W2013154396 hasConceptScore W2013154396C2780801425 @default.
- W2013154396 hasConceptScore W2013154396C33923547 @default.
- W2013154396 hasConceptScore W2013154396C41008148 @default.
- W2013154396 hasConceptScore W2013154396C50644808 @default.
- W2013154396 hasConceptScore W2013154396C77618280 @default.
- W2013154396 hasConceptScore W2013154396C94625758 @default.
- W2013154396 hasConceptScore W2013154396C98045186 @default.
- W2013154396 hasIssue "2" @default.
- W2013154396 hasLocation W20131543961 @default.
- W2013154396 hasOpenAccess W2013154396 @default.
- W2013154396 hasPrimaryLocation W20131543961 @default.
- W2013154396 hasRelatedWork W1597929225 @default.
- W2013154396 hasRelatedWork W1994482010 @default.
- W2013154396 hasRelatedWork W2001654347 @default.
- W2013154396 hasRelatedWork W2050096168 @default.
- W2013154396 hasRelatedWork W2118770032 @default.
- W2013154396 hasRelatedWork W2122335290 @default.
- W2013154396 hasRelatedWork W2348093013 @default.
- W2013154396 hasRelatedWork W2349046620 @default.
- W2013154396 hasRelatedWork W2389587584 @default.
- W2013154396 hasRelatedWork W2393329165 @default.
- W2013154396 hasVolume "77" @default.
- W2013154396 isParatext "false" @default.
- W2013154396 isRetracted "false" @default.
- W2013154396 magId "2013154396" @default.
- W2013154396 workType "article" @default.