Matches in SemOpenAlex for { <https://semopenalex.org/work/W792348843> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W792348843 abstract "An intelligent system for exploring geometry is described. This system utilizes a declarative approach to geometric programming wherein geometric objects and properties are specified using logical specifications. The system automatically draws the specified figures from a set of designated base points and allows the user to explore geometric properties by dragging on these base points. Since the figure is constructed using a declarative approach, there are normally more points with which you can drag the figure than there would be if the figure had been constructed with a procedural system. The system has two parameters which the user must provide: the logical specification and the set of base points. The system, GeoSpecif is described. It is also shown how logic programming has been useful in defining and implementing a dynamic system for secondary school geometry and how a new programming construct, declarative geometric programming, grew out of efforts to design and build an educational system." @default.
- W792348843 created "2016-06-24" @default.
- W792348843 creator A5043400957 @default.
- W792348843 creator A5069101596 @default.
- W792348843 date "1995-01-01" @default.
- W792348843 modified "2023-09-23" @default.
- W792348843 title "Logic programming: a tool for development of educational systems" @default.
- W792348843 cites W2035855976 @default.
- W792348843 cites W2084202433 @default.
- W792348843 doi "https://doi.org/10.1007/978-0-387-34844-5_89" @default.
- W792348843 hasPublicationYear "1995" @default.
- W792348843 type Work @default.
- W792348843 sameAs 792348843 @default.
- W792348843 citedByCount "0" @default.
- W792348843 crossrefType "book-chapter" @default.
- W792348843 hasAuthorship W792348843A5043400957 @default.
- W792348843 hasAuthorship W792348843A5069101596 @default.
- W792348843 hasBestOaLocation W7923488431 @default.
- W792348843 hasConcept C128838566 @default.
- W792348843 hasConcept C134306372 @default.
- W792348843 hasConcept C146206909 @default.
- W792348843 hasConcept C154945302 @default.
- W792348843 hasConcept C177264268 @default.
- W792348843 hasConcept C199360897 @default.
- W792348843 hasConcept C2780801425 @default.
- W792348843 hasConcept C33923547 @default.
- W792348843 hasConcept C34165917 @default.
- W792348843 hasConcept C41008148 @default.
- W792348843 hasConcept C42058472 @default.
- W792348843 hasConcept C4554734 @default.
- W792348843 hasConcept C50033165 @default.
- W792348843 hasConcept C80444323 @default.
- W792348843 hasConcept C81721847 @default.
- W792348843 hasConceptScore W792348843C128838566 @default.
- W792348843 hasConceptScore W792348843C134306372 @default.
- W792348843 hasConceptScore W792348843C146206909 @default.
- W792348843 hasConceptScore W792348843C154945302 @default.
- W792348843 hasConceptScore W792348843C177264268 @default.
- W792348843 hasConceptScore W792348843C199360897 @default.
- W792348843 hasConceptScore W792348843C2780801425 @default.
- W792348843 hasConceptScore W792348843C33923547 @default.
- W792348843 hasConceptScore W792348843C34165917 @default.
- W792348843 hasConceptScore W792348843C41008148 @default.
- W792348843 hasConceptScore W792348843C42058472 @default.
- W792348843 hasConceptScore W792348843C4554734 @default.
- W792348843 hasConceptScore W792348843C50033165 @default.
- W792348843 hasConceptScore W792348843C80444323 @default.
- W792348843 hasConceptScore W792348843C81721847 @default.
- W792348843 hasLocation W7923488431 @default.
- W792348843 hasOpenAccess W792348843 @default.
- W792348843 hasPrimaryLocation W7923488431 @default.
- W792348843 hasRelatedWork W1491189356 @default.
- W792348843 hasRelatedWork W1510112893 @default.
- W792348843 hasRelatedWork W1544080117 @default.
- W792348843 hasRelatedWork W1555544970 @default.
- W792348843 hasRelatedWork W1559528181 @default.
- W792348843 hasRelatedWork W1600924895 @default.
- W792348843 hasRelatedWork W1975736938 @default.
- W792348843 hasRelatedWork W1997009685 @default.
- W792348843 hasRelatedWork W2018572961 @default.
- W792348843 hasRelatedWork W2021485934 @default.
- W792348843 hasRelatedWork W2070176744 @default.
- W792348843 hasRelatedWork W2112719748 @default.
- W792348843 hasRelatedWork W2118770294 @default.
- W792348843 hasRelatedWork W2222600588 @default.
- W792348843 hasRelatedWork W226277824 @default.
- W792348843 hasRelatedWork W2586203470 @default.
- W792348843 hasRelatedWork W2610393394 @default.
- W792348843 hasRelatedWork W2888222392 @default.
- W792348843 hasRelatedWork W3003073931 @default.
- W792348843 hasRelatedWork W3017805342 @default.
- W792348843 isParatext "false" @default.
- W792348843 isRetracted "false" @default.
- W792348843 magId "792348843" @default.
- W792348843 workType "book-chapter" @default.