Matches in SemOpenAlex for { <https://semopenalex.org/work/W1865016462> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1865016462 endingPage "458" @default.
- W1865016462 startingPage "453" @default.
- W1865016462 abstract "An important component of an Intelligent Tutoring System (ITS) for teaching geometry is its capacity to transform a figure into as many different figures as possible, yet all of which respect the same underlying logical specification. Given a logical specification for a figure, (i) a figure can be constructed automatically from the objects and properties in the spepification; and (ii) once constructed, one can transform a figure through displacement of any of its objects and still obtain a figure that respects the specification. For a student user, this feature provides an invaluable tool for graphical exploration and discovery of properties induced by the logical specification. Our problem domain is automatic construction of figures; and we address this issue in restricted cases using Constraint Logic Programming We present solutions to cases in which figures can be constructed automatically and in which there is also a natural notion of completeness for our system. For this automatic figure construction system, we describe an implementation, written in Prolog III, which makes use of both constraints and coroutines provided in the language. Results of experimentation are also included, as well as ways in which the system can be extended to handle non restricted cases." @default.
- W1865016462 created "2016-06-24" @default.
- W1865016462 creator A5043400957 @default.
- W1865016462 creator A5069101596 @default.
- W1865016462 creator A5083042705 @default.
- W1865016462 date "1993-08-28" @default.
- W1865016462 modified "2023-09-23" @default.
- W1865016462 title "Constraint based automatic construction and manipulation of geometric figures" @default.
- W1865016462 cites W11372971 @default.
- W1865016462 cites W119684766 @default.
- W1865016462 cites W132533262 @default.
- W1865016462 cites W1518355145 @default.
- W1865016462 cites W155661758 @default.
- W1865016462 cites W1599594475 @default.
- W1865016462 cites W1813645988 @default.
- W1865016462 cites W2026253506 @default.
- W1865016462 cites W2035855976 @default.
- W1865016462 cites W2078404830 @default.
- W1865016462 hasPublicationYear "1993" @default.
- W1865016462 type Work @default.
- W1865016462 sameAs 1865016462 @default.
- W1865016462 citedByCount "2" @default.
- W1865016462 crossrefType "proceedings-article" @default.
- W1865016462 hasAuthorship W1865016462A5043400957 @default.
- W1865016462 hasAuthorship W1865016462A5069101596 @default.
- W1865016462 hasAuthorship W1865016462A5083042705 @default.
- W1865016462 hasConcept C105795698 @default.
- W1865016462 hasConcept C128838566 @default.
- W1865016462 hasConcept C134306372 @default.
- W1865016462 hasConcept C137631369 @default.
- W1865016462 hasConcept C138885662 @default.
- W1865016462 hasConcept C154945302 @default.
- W1865016462 hasConcept C17231256 @default.
- W1865016462 hasConcept C173404611 @default.
- W1865016462 hasConcept C176783269 @default.
- W1865016462 hasConcept C199360897 @default.
- W1865016462 hasConcept C2524010 @default.
- W1865016462 hasConcept C2776036281 @default.
- W1865016462 hasConcept C2776401178 @default.
- W1865016462 hasConcept C33923547 @default.
- W1865016462 hasConcept C36503486 @default.
- W1865016462 hasConcept C41008148 @default.
- W1865016462 hasConcept C41895202 @default.
- W1865016462 hasConcept C44616089 @default.
- W1865016462 hasConcept C49937458 @default.
- W1865016462 hasConcept C80444323 @default.
- W1865016462 hasConcept C81721847 @default.
- W1865016462 hasConceptScore W1865016462C105795698 @default.
- W1865016462 hasConceptScore W1865016462C128838566 @default.
- W1865016462 hasConceptScore W1865016462C134306372 @default.
- W1865016462 hasConceptScore W1865016462C137631369 @default.
- W1865016462 hasConceptScore W1865016462C138885662 @default.
- W1865016462 hasConceptScore W1865016462C154945302 @default.
- W1865016462 hasConceptScore W1865016462C17231256 @default.
- W1865016462 hasConceptScore W1865016462C173404611 @default.
- W1865016462 hasConceptScore W1865016462C176783269 @default.
- W1865016462 hasConceptScore W1865016462C199360897 @default.
- W1865016462 hasConceptScore W1865016462C2524010 @default.
- W1865016462 hasConceptScore W1865016462C2776036281 @default.
- W1865016462 hasConceptScore W1865016462C2776401178 @default.
- W1865016462 hasConceptScore W1865016462C33923547 @default.
- W1865016462 hasConceptScore W1865016462C36503486 @default.
- W1865016462 hasConceptScore W1865016462C41008148 @default.
- W1865016462 hasConceptScore W1865016462C41895202 @default.
- W1865016462 hasConceptScore W1865016462C44616089 @default.
- W1865016462 hasConceptScore W1865016462C49937458 @default.
- W1865016462 hasConceptScore W1865016462C80444323 @default.
- W1865016462 hasConceptScore W1865016462C81721847 @default.
- W1865016462 hasOpenAccess W1865016462 @default.
- W1865016462 hasRelatedWork W114885797 @default.
- W1865016462 hasRelatedWork W1567613338 @default.
- W1865016462 hasRelatedWork W1572857002 @default.
- W1865016462 hasRelatedWork W181154243 @default.
- W1865016462 hasRelatedWork W2001839929 @default.
- W1865016462 hasRelatedWork W2087062265 @default.
- W1865016462 hasRelatedWork W2094518006 @default.
- W1865016462 hasRelatedWork W2184414213 @default.
- W1865016462 hasRelatedWork W2185278964 @default.
- W1865016462 hasRelatedWork W2567189123 @default.
- W1865016462 hasRelatedWork W2591792530 @default.
- W1865016462 hasRelatedWork W2885517479 @default.
- W1865016462 hasRelatedWork W2914552590 @default.
- W1865016462 hasRelatedWork W2914738525 @default.
- W1865016462 hasRelatedWork W2963792317 @default.
- W1865016462 hasRelatedWork W3021966546 @default.
- W1865016462 hasRelatedWork W3047851905 @default.
- W1865016462 hasRelatedWork W313303815 @default.
- W1865016462 hasRelatedWork W801211882 @default.
- W1865016462 hasRelatedWork W82362649 @default.
- W1865016462 isParatext "false" @default.
- W1865016462 isRetracted "false" @default.
- W1865016462 magId "1865016462" @default.
- W1865016462 workType "article" @default.