Matches in SemOpenAlex for { <https://semopenalex.org/work/W4378233873> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W4378233873 abstract "Abstract The Geometry Automated-Theorem-Provers (GATP) based on the deductive database method use a data-based search strategy to improve the efficiency of forward chaining. An implementation of such a method is expected to be able to efficiently prove a large set of geometric conjectures, producing readable proofs. The number of conjectures a given implementation can prove will depend on the set of inference rules chosen, the deductive database method is not a decision procedure. Using an approach based in an SQL database library and using an in-memory database, the implementation described in this paper tries to achieve the following goals. Efficiency in the management of the inference rules, the set of already known facts and the new facts discovered, by the use of the efficient data manipulation techniques of the SQL library. Flexibility, by transforming the inference rules in SQL data manipulation language queries, will open the possibility of meta-development of GATP based on a provided set of rules. Natural language and visual renderings, possible by the use of a synthetic forward chaining method. Implemented as an open source library, that will open its use by third-party programs, e.g. the dynamic geometry systems." @default.
- W4378233873 created "2023-05-26" @default.
- W4378233873 creator A5003569633 @default.
- W4378233873 creator A5082850546 @default.
- W4378233873 date "2023-05-24" @default.
- W4378233873 modified "2023-09-27" @default.
- W4378233873 title "Towards a geometry deductive database prover" @default.
- W4378233873 cites W1431497170 @default.
- W4378233873 cites W144472580 @default.
- W4378233873 cites W158485348 @default.
- W4378233873 cites W2038706071 @default.
- W4378233873 cites W2091926481 @default.
- W4378233873 cites W2120243289 @default.
- W4378233873 cites W2125565018 @default.
- W4378233873 cites W2567325662 @default.
- W4378233873 cites W2588018425 @default.
- W4378233873 cites W2613478558 @default.
- W4378233873 cites W2789419038 @default.
- W4378233873 cites W2977439887 @default.
- W4378233873 cites W3021960304 @default.
- W4378233873 cites W3105039528 @default.
- W4378233873 cites W4200393713 @default.
- W4378233873 cites W4210579963 @default.
- W4378233873 cites W4226474150 @default.
- W4378233873 cites W4323660310 @default.
- W4378233873 doi "https://doi.org/10.1007/s10472-023-09839-0" @default.
- W4378233873 hasPublicationYear "2023" @default.
- W4378233873 type Work @default.
- W4378233873 citedByCount "0" @default.
- W4378233873 crossrefType "journal-article" @default.
- W4378233873 hasAuthorship W4378233873A5003569633 @default.
- W4378233873 hasAuthorship W4378233873A5082850546 @default.
- W4378233873 hasBestOaLocation W43782338731 @default.
- W4378233873 hasConcept C108710211 @default.
- W4378233873 hasConcept C12439846 @default.
- W4378233873 hasConcept C129916263 @default.
- W4378233873 hasConcept C142614401 @default.
- W4378233873 hasConcept C148840519 @default.
- W4378233873 hasConcept C154945302 @default.
- W4378233873 hasConcept C15744967 @default.
- W4378233873 hasConcept C177264268 @default.
- W4378233873 hasConcept C199360897 @default.
- W4378233873 hasConcept C206880738 @default.
- W4378233873 hasConcept C2524010 @default.
- W4378233873 hasConcept C2776214188 @default.
- W4378233873 hasConcept C2777502361 @default.
- W4378233873 hasConcept C33923547 @default.
- W4378233873 hasConcept C3746660 @default.
- W4378233873 hasConcept C41008148 @default.
- W4378233873 hasConcept C46743427 @default.
- W4378233873 hasConcept C49020025 @default.
- W4378233873 hasConcept C510870499 @default.
- W4378233873 hasConcept C542102704 @default.
- W4378233873 hasConcept C58328972 @default.
- W4378233873 hasConcept C77088390 @default.
- W4378233873 hasConcept C80444323 @default.
- W4378233873 hasConceptScore W4378233873C108710211 @default.
- W4378233873 hasConceptScore W4378233873C12439846 @default.
- W4378233873 hasConceptScore W4378233873C129916263 @default.
- W4378233873 hasConceptScore W4378233873C142614401 @default.
- W4378233873 hasConceptScore W4378233873C148840519 @default.
- W4378233873 hasConceptScore W4378233873C154945302 @default.
- W4378233873 hasConceptScore W4378233873C15744967 @default.
- W4378233873 hasConceptScore W4378233873C177264268 @default.
- W4378233873 hasConceptScore W4378233873C199360897 @default.
- W4378233873 hasConceptScore W4378233873C206880738 @default.
- W4378233873 hasConceptScore W4378233873C2524010 @default.
- W4378233873 hasConceptScore W4378233873C2776214188 @default.
- W4378233873 hasConceptScore W4378233873C2777502361 @default.
- W4378233873 hasConceptScore W4378233873C33923547 @default.
- W4378233873 hasConceptScore W4378233873C3746660 @default.
- W4378233873 hasConceptScore W4378233873C41008148 @default.
- W4378233873 hasConceptScore W4378233873C46743427 @default.
- W4378233873 hasConceptScore W4378233873C49020025 @default.
- W4378233873 hasConceptScore W4378233873C510870499 @default.
- W4378233873 hasConceptScore W4378233873C542102704 @default.
- W4378233873 hasConceptScore W4378233873C58328972 @default.
- W4378233873 hasConceptScore W4378233873C77088390 @default.
- W4378233873 hasConceptScore W4378233873C80444323 @default.
- W4378233873 hasFunder F4320323392 @default.
- W4378233873 hasLocation W43782338731 @default.
- W4378233873 hasOpenAccess W4378233873 @default.
- W4378233873 hasPrimaryLocation W43782338731 @default.
- W4378233873 hasRelatedWork W1567246034 @default.
- W4378233873 hasRelatedWork W2107050549 @default.
- W4378233873 hasRelatedWork W2113039895 @default.
- W4378233873 hasRelatedWork W2126848472 @default.
- W4378233873 hasRelatedWork W2138336393 @default.
- W4378233873 hasRelatedWork W2415342802 @default.
- W4378233873 hasRelatedWork W2545560245 @default.
- W4378233873 hasRelatedWork W2744263431 @default.
- W4378233873 hasRelatedWork W2809533179 @default.
- W4378233873 hasRelatedWork W4378233873 @default.
- W4378233873 isParatext "false" @default.
- W4378233873 isRetracted "false" @default.
- W4378233873 workType "article" @default.