Matches in SemOpenAlex for { <https://semopenalex.org/work/W2217062012> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2217062012 abstract "We present ongoing work to understand and formalise notions of “readability” in diagrammatic proofs and to use these results to extend an existing Euler diagram proof system. This work is in its early stages. We outline our intentions to define a theoretical framework, based on an empirical study, that maps users' varying cognitive preferences to corresponding proof strategies. The framework will be used to extend a theorem prover based on Euler diagrams, enabling users of the system to select from among the strategies while constructing proofs." @default.
- W2217062012 created "2016-06-24" @default.
- W2217062012 creator A5014183151 @default.
- W2217062012 creator A5058556878 @default.
- W2217062012 date "2015-10-01" @default.
- W2217062012 modified "2023-10-16" @default.
- W2217062012 title "Generating readable diagrammatic proofs" @default.
- W2217062012 cites W182508314 @default.
- W2217062012 cites W1985499479 @default.
- W2217062012 cites W2090572917 @default.
- W2217062012 cites W2117011390 @default.
- W2217062012 cites W2199159695 @default.
- W2217062012 doi "https://doi.org/10.1109/vlhcc.2015.7357240" @default.
- W2217062012 hasPublicationYear "2015" @default.
- W2217062012 type Work @default.
- W2217062012 sameAs 2217062012 @default.
- W2217062012 citedByCount "1" @default.
- W2217062012 countsByYear W22170620122023 @default.
- W2217062012 crossrefType "proceedings-article" @default.
- W2217062012 hasAuthorship W2217062012A5014183151 @default.
- W2217062012 hasAuthorship W2217062012A5058556878 @default.
- W2217062012 hasConcept C106624574 @default.
- W2217062012 hasConcept C108710211 @default.
- W2217062012 hasConcept C136119220 @default.
- W2217062012 hasConcept C159718280 @default.
- W2217062012 hasConcept C199360897 @default.
- W2217062012 hasConcept C202444582 @default.
- W2217062012 hasConcept C206880738 @default.
- W2217062012 hasConcept C2524010 @default.
- W2217062012 hasConcept C2778143727 @default.
- W2217062012 hasConcept C33923547 @default.
- W2217062012 hasConcept C41008148 @default.
- W2217062012 hasConcept C80444323 @default.
- W2217062012 hasConceptScore W2217062012C106624574 @default.
- W2217062012 hasConceptScore W2217062012C108710211 @default.
- W2217062012 hasConceptScore W2217062012C136119220 @default.
- W2217062012 hasConceptScore W2217062012C159718280 @default.
- W2217062012 hasConceptScore W2217062012C199360897 @default.
- W2217062012 hasConceptScore W2217062012C202444582 @default.
- W2217062012 hasConceptScore W2217062012C206880738 @default.
- W2217062012 hasConceptScore W2217062012C2524010 @default.
- W2217062012 hasConceptScore W2217062012C2778143727 @default.
- W2217062012 hasConceptScore W2217062012C33923547 @default.
- W2217062012 hasConceptScore W2217062012C41008148 @default.
- W2217062012 hasConceptScore W2217062012C80444323 @default.
- W2217062012 hasLocation W22170620121 @default.
- W2217062012 hasOpenAccess W2217062012 @default.
- W2217062012 hasPrimaryLocation W22170620121 @default.
- W2217062012 hasRelatedWork W1515169568 @default.
- W2217062012 hasRelatedWork W1523338383 @default.
- W2217062012 hasRelatedWork W1590308900 @default.
- W2217062012 hasRelatedWork W2217062012 @default.
- W2217062012 hasRelatedWork W2461166840 @default.
- W2217062012 hasRelatedWork W260189897 @default.
- W2217062012 hasRelatedWork W2612647446 @default.
- W2217062012 hasRelatedWork W2886069053 @default.
- W2217062012 hasRelatedWork W4281843089 @default.
- W2217062012 hasRelatedWork W787793384 @default.
- W2217062012 isParatext "false" @default.
- W2217062012 isRetracted "false" @default.
- W2217062012 magId "2217062012" @default.
- W2217062012 workType "article" @default.