Matches in SemOpenAlex for { <https://semopenalex.org/work/W78763269> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W78763269 endingPage "107" @default.
- W78763269 startingPage "102" @default.
- W78763269 abstract "We present a concept for an automated theorem prover that employs a searchcontrol based on ideas from several areas of artificial intelligence (AI). The combi-nation of case-based reasoning, several similarity concepts, a cooperation conceptof distributed AI and reactive planning enables a system using our concept tolearn form previous successful proof attempts. In a kind of bootstrapping processeasy problems are used to solve more and more complicated ones.We provide case studies from two domains of interest in pure equationaltheorem proving taken from the TPTP library. These case studies show thatan instantiation of our architecture achieves a high grade of automation andoutperforms state-of-the-art conventional theorem provers." @default.
- W78763269 created "2016-06-24" @default.
- W78763269 creator A5022547510 @default.
- W78763269 creator A5026928710 @default.
- W78763269 creator A5054941032 @default.
- W78763269 date "1997-08-23" @default.
- W78763269 modified "2023-09-24" @default.
- W78763269 title "High performance ATP systems by combining several AI methods" @default.
- W78763269 cites W1481693958 @default.
- W78763269 cites W1495433690 @default.
- W78763269 cites W1519073978 @default.
- W78763269 cites W1535660288 @default.
- W78763269 cites W1552713121 @default.
- W78763269 cites W1768790486 @default.
- W78763269 cites W1865124669 @default.
- W78763269 cites W193086274 @default.
- W78763269 cites W2011316522 @default.
- W78763269 hasPublicationYear "1997" @default.
- W78763269 type Work @default.
- W78763269 sameAs 78763269 @default.
- W78763269 citedByCount "28" @default.
- W78763269 countsByYear W787632692012 @default.
- W78763269 countsByYear W787632692013 @default.
- W78763269 countsByYear W787632692014 @default.
- W78763269 countsByYear W787632692017 @default.
- W78763269 countsByYear W787632692020 @default.
- W78763269 crossrefType "proceedings-article" @default.
- W78763269 hasAuthorship W78763269A5022547510 @default.
- W78763269 hasAuthorship W78763269A5026928710 @default.
- W78763269 hasAuthorship W78763269A5054941032 @default.
- W78763269 hasConcept C103278499 @default.
- W78763269 hasConcept C108710211 @default.
- W78763269 hasConcept C115901376 @default.
- W78763269 hasConcept C115961682 @default.
- W78763269 hasConcept C127413603 @default.
- W78763269 hasConcept C149782125 @default.
- W78763269 hasConcept C154945302 @default.
- W78763269 hasConcept C159718280 @default.
- W78763269 hasConcept C195344581 @default.
- W78763269 hasConcept C199360897 @default.
- W78763269 hasConcept C206880738 @default.
- W78763269 hasConcept C207609745 @default.
- W78763269 hasConcept C2524010 @default.
- W78763269 hasConcept C33923547 @default.
- W78763269 hasConcept C41008148 @default.
- W78763269 hasConcept C78519656 @default.
- W78763269 hasConcept C80444323 @default.
- W78763269 hasConceptScore W78763269C103278499 @default.
- W78763269 hasConceptScore W78763269C108710211 @default.
- W78763269 hasConceptScore W78763269C115901376 @default.
- W78763269 hasConceptScore W78763269C115961682 @default.
- W78763269 hasConceptScore W78763269C127413603 @default.
- W78763269 hasConceptScore W78763269C149782125 @default.
- W78763269 hasConceptScore W78763269C154945302 @default.
- W78763269 hasConceptScore W78763269C159718280 @default.
- W78763269 hasConceptScore W78763269C195344581 @default.
- W78763269 hasConceptScore W78763269C199360897 @default.
- W78763269 hasConceptScore W78763269C206880738 @default.
- W78763269 hasConceptScore W78763269C207609745 @default.
- W78763269 hasConceptScore W78763269C2524010 @default.
- W78763269 hasConceptScore W78763269C33923547 @default.
- W78763269 hasConceptScore W78763269C41008148 @default.
- W78763269 hasConceptScore W78763269C78519656 @default.
- W78763269 hasConceptScore W78763269C80444323 @default.
- W78763269 hasLocation W787632691 @default.
- W78763269 hasOpenAccess W78763269 @default.
- W78763269 hasPrimaryLocation W787632691 @default.
- W78763269 hasRelatedWork W1536647479 @default.
- W78763269 hasRelatedWork W1549353496 @default.
- W78763269 hasRelatedWork W1668207500 @default.
- W78763269 hasRelatedWork W1745341198 @default.
- W78763269 hasRelatedWork W1814515812 @default.
- W78763269 hasRelatedWork W1820078070 @default.
- W78763269 hasRelatedWork W1824538363 @default.
- W78763269 hasRelatedWork W1936224457 @default.
- W78763269 hasRelatedWork W2011039300 @default.
- W78763269 hasRelatedWork W2024060531 @default.
- W78763269 hasRelatedWork W2056956492 @default.
- W78763269 hasRelatedWork W2072441740 @default.
- W78763269 hasRelatedWork W2086726443 @default.
- W78763269 hasRelatedWork W2140759234 @default.
- W78763269 hasRelatedWork W2148948822 @default.
- W78763269 hasRelatedWork W2151554678 @default.
- W78763269 hasRelatedWork W2169209574 @default.
- W78763269 hasRelatedWork W2238166365 @default.
- W78763269 hasRelatedWork W30227017 @default.
- W78763269 hasRelatedWork W3036035835 @default.
- W78763269 isParatext "false" @default.
- W78763269 isRetracted "false" @default.
- W78763269 magId "78763269" @default.
- W78763269 workType "article" @default.