Matches in SemOpenAlex for { <https://semopenalex.org/work/W184064569> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W184064569 endingPage "117" @default.
- W184064569 startingPage "97" @default.
- W184064569 abstract "Automated theory formation involves the production of examples, concepts and hypotheses. The HR program performs automated theory formation and has been used to form theories in mathematical domains. In addition to providing a plausible model for automated theory formation, HR has been applied to some applications in machine learning. We discuss HR’s application to inducing definitions from examples, scientific discovery, problem solving and puzzle generation. For each problem, we look at how theory formation was applied, and mention some initial results from using HR. Our aim is not to describe the applications in great detail, but rather to provide an overview of how HR is used for these problems. We do this to facilitate a comparison of HR and the Progol Inductive Logic Programming program. We compare both the concept formation these programs perform and by how they are (or could be) applied to the four problems discussed." @default.
- W184064569 created "2016-06-24" @default.
- W184064569 creator A5040830236 @default.
- W184064569 date "2000-01-01" @default.
- W184064569 modified "2023-09-23" @default.
- W184064569 title "An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming." @default.
- W184064569 cites W113520131 @default.
- W184064569 cites W1534731256 @default.
- W184064569 cites W1555144148 @default.
- W184064569 cites W1563537877 @default.
- W184064569 cites W1567877210 @default.
- W184064569 cites W1585655113 @default.
- W184064569 cites W1826823769 @default.
- W184064569 cites W1890599079 @default.
- W184064569 cites W1979473069 @default.
- W184064569 cites W1987902506 @default.
- W184064569 cites W2025600909 @default.
- W184064569 cites W2051589410 @default.
- W184064569 cites W2053937765 @default.
- W184064569 cites W2089188009 @default.
- W184064569 cites W2100738443 @default.
- W184064569 cites W2117812871 @default.
- W184064569 cites W2119831128 @default.
- W184064569 cites W2125330525 @default.
- W184064569 cites W2127571754 @default.
- W184064569 cites W2156769044 @default.
- W184064569 cites W2167081754 @default.
- W184064569 cites W2284662111 @default.
- W184064569 cites W3019648277 @default.
- W184064569 hasPublicationYear "2000" @default.
- W184064569 type Work @default.
- W184064569 sameAs 184064569 @default.
- W184064569 citedByCount "2" @default.
- W184064569 countsByYear W1840645692014 @default.
- W184064569 crossrefType "journal-article" @default.
- W184064569 hasAuthorship W184064569A5040830236 @default.
- W184064569 hasConcept C119857082 @default.
- W184064569 hasConcept C128838566 @default.
- W184064569 hasConcept C154945302 @default.
- W184064569 hasConcept C199360897 @default.
- W184064569 hasConcept C2779382394 @default.
- W184064569 hasConcept C34165917 @default.
- W184064569 hasConcept C41008148 @default.
- W184064569 hasConcept C50033165 @default.
- W184064569 hasConcept C80444323 @default.
- W184064569 hasConceptScore W184064569C119857082 @default.
- W184064569 hasConceptScore W184064569C128838566 @default.
- W184064569 hasConceptScore W184064569C154945302 @default.
- W184064569 hasConceptScore W184064569C199360897 @default.
- W184064569 hasConceptScore W184064569C2779382394 @default.
- W184064569 hasConceptScore W184064569C34165917 @default.
- W184064569 hasConceptScore W184064569C41008148 @default.
- W184064569 hasConceptScore W184064569C50033165 @default.
- W184064569 hasConceptScore W184064569C80444323 @default.
- W184064569 hasLocation W1840645691 @default.
- W184064569 hasOpenAccess W184064569 @default.
- W184064569 hasPrimaryLocation W1840645691 @default.
- W184064569 hasRelatedWork W101302031 @default.
- W184064569 hasRelatedWork W1444994882 @default.
- W184064569 hasRelatedWork W1484196467 @default.
- W184064569 hasRelatedWork W1490630465 @default.
- W184064569 hasRelatedWork W1511725009 @default.
- W184064569 hasRelatedWork W15267001 @default.
- W184064569 hasRelatedWork W1537375872 @default.
- W184064569 hasRelatedWork W1557528448 @default.
- W184064569 hasRelatedWork W1607233854 @default.
- W184064569 hasRelatedWork W1608187185 @default.
- W184064569 hasRelatedWork W1840908421 @default.
- W184064569 hasRelatedWork W2044352494 @default.
- W184064569 hasRelatedWork W2051783972 @default.
- W184064569 hasRelatedWork W2119831128 @default.
- W184064569 hasRelatedWork W2280417117 @default.
- W184064569 hasRelatedWork W2284162880 @default.
- W184064569 hasRelatedWork W2292326577 @default.
- W184064569 hasRelatedWork W2533515866 @default.
- W184064569 hasRelatedWork W2916809705 @default.
- W184064569 hasRelatedWork W3023527820 @default.
- W184064569 hasVolume "4" @default.
- W184064569 isParatext "false" @default.
- W184064569 isRetracted "false" @default.
- W184064569 magId "184064569" @default.
- W184064569 workType "article" @default.