Matches in SemOpenAlex for { <https://semopenalex.org/work/W2194300440> ?p ?o ?g. }
- W2194300440 endingPage "38" @default.
- W2194300440 startingPage "17" @default.
- W2194300440 abstract "We discuss a new implementation of, and new experiments with, Fajtlowicz's Dalmatian conjecture-making heuristic. Our program makes conjectures about relations of real number invariants of mathematical objects. Conjectures in matrix theory, number theory, and graph theory are reported, together with an experiment in using conjectures to automate game play. The program can be used in a way that, by design, advances mathematical research. These experiments suggest that automated conjecture-making can be a useful ability in the design of machines that can perform a variety of tasks that require intelligence." @default.
- W2194300440 created "2016-06-24" @default.
- W2194300440 creator A5011498104 @default.
- W2194300440 creator A5034441122 @default.
- W2194300440 date "2016-02-01" @default.
- W2194300440 modified "2023-09-26" @default.
- W2194300440 title "Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited" @default.
- W2194300440 cites W1510333080 @default.
- W2194300440 cites W1964492612 @default.
- W2194300440 cites W1969189678 @default.
- W2194300440 cites W1970607766 @default.
- W2194300440 cites W1972837770 @default.
- W2194300440 cites W1974124435 @default.
- W2194300440 cites W1975424329 @default.
- W2194300440 cites W1975951388 @default.
- W2194300440 cites W1979733770 @default.
- W2194300440 cites W1987278626 @default.
- W2194300440 cites W1994682813 @default.
- W2194300440 cites W1998140754 @default.
- W2194300440 cites W2016653984 @default.
- W2194300440 cites W2022811525 @default.
- W2194300440 cites W2037177771 @default.
- W2194300440 cites W2049629345 @default.
- W2194300440 cites W2054112598 @default.
- W2194300440 cites W2060693699 @default.
- W2194300440 cites W2067215932 @default.
- W2194300440 cites W2078289947 @default.
- W2194300440 cites W2082992040 @default.
- W2194300440 cites W2085089824 @default.
- W2194300440 cites W2089356095 @default.
- W2194300440 cites W2110444610 @default.
- W2194300440 cites W2117268374 @default.
- W2194300440 cites W2118888533 @default.
- W2194300440 cites W2121361530 @default.
- W2194300440 cites W2127571754 @default.
- W2194300440 cites W2136253510 @default.
- W2194300440 cites W2138151241 @default.
- W2194300440 cites W2153449863 @default.
- W2194300440 cites W2159873563 @default.
- W2194300440 cites W2167081754 @default.
- W2194300440 cites W223665367 @default.
- W2194300440 cites W2314313724 @default.
- W2194300440 cites W2331905370 @default.
- W2194300440 cites W2577602414 @default.
- W2194300440 cites W2599540576 @default.
- W2194300440 cites W3013552619 @default.
- W2194300440 cites W4248011167 @default.
- W2194300440 doi "https://doi.org/10.1016/j.artint.2015.10.002" @default.
- W2194300440 hasPublicationYear "2016" @default.
- W2194300440 type Work @default.
- W2194300440 sameAs 2194300440 @default.
- W2194300440 citedByCount "7" @default.
- W2194300440 countsByYear W21943004402017 @default.
- W2194300440 countsByYear W21943004402018 @default.
- W2194300440 countsByYear W21943004402019 @default.
- W2194300440 countsByYear W21943004402020 @default.
- W2194300440 countsByYear W21943004402022 @default.
- W2194300440 crossrefType "journal-article" @default.
- W2194300440 hasAuthorship W2194300440A5011498104 @default.
- W2194300440 hasAuthorship W2194300440A5034441122 @default.
- W2194300440 hasBestOaLocation W21943004401 @default.
- W2194300440 hasConcept C114614502 @default.
- W2194300440 hasConcept C118615104 @default.
- W2194300440 hasConcept C132525143 @default.
- W2194300440 hasConcept C136197465 @default.
- W2194300440 hasConcept C154945302 @default.
- W2194300440 hasConcept C173801870 @default.
- W2194300440 hasConcept C2780990831 @default.
- W2194300440 hasConcept C33923547 @default.
- W2194300440 hasConcept C41008148 @default.
- W2194300440 hasConcept C80444323 @default.
- W2194300440 hasConcept C88230418 @default.
- W2194300440 hasConceptScore W2194300440C114614502 @default.
- W2194300440 hasConceptScore W2194300440C118615104 @default.
- W2194300440 hasConceptScore W2194300440C132525143 @default.
- W2194300440 hasConceptScore W2194300440C136197465 @default.
- W2194300440 hasConceptScore W2194300440C154945302 @default.
- W2194300440 hasConceptScore W2194300440C173801870 @default.
- W2194300440 hasConceptScore W2194300440C2780990831 @default.
- W2194300440 hasConceptScore W2194300440C33923547 @default.
- W2194300440 hasConceptScore W2194300440C41008148 @default.
- W2194300440 hasConceptScore W2194300440C80444323 @default.
- W2194300440 hasConceptScore W2194300440C88230418 @default.
- W2194300440 hasFunder F4320338080 @default.
- W2194300440 hasLocation W21943004401 @default.
- W2194300440 hasOpenAccess W2194300440 @default.
- W2194300440 hasPrimaryLocation W21943004401 @default.
- W2194300440 hasRelatedWork W1971876546 @default.
- W2194300440 hasRelatedWork W2000749863 @default.
- W2194300440 hasRelatedWork W2029145332 @default.
- W2194300440 hasRelatedWork W2266384849 @default.
- W2194300440 hasRelatedWork W2328056206 @default.
- W2194300440 hasRelatedWork W2334323075 @default.
- W2194300440 hasRelatedWork W2953370478 @default.
- W2194300440 hasRelatedWork W3101034789 @default.
- W2194300440 hasRelatedWork W4295093499 @default.
- W2194300440 hasRelatedWork W4302120675 @default.
- W2194300440 hasVolume "231" @default.