Matches in SemOpenAlex for { <https://semopenalex.org/work/W2278989905> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2278989905 abstract "We introduce graph mining for evaluation of logical proofs constructed by undergraduate students in the introductory course of logic.We start with description of the source data and their transformation into GraphML. As particular tasks may differ---students solve different tasks---we introduce a method for unification of resolution steps that enables to generate generalized frequent subgraphs.We then introduce a new system for graph mining that uses generalized frequent patterns as new attributes.We show that both overall accuracy and precision for incorrect resolution proofs overcome 97%.We also discuss a use of emergent patterns and three-class classification (correct/incorrect/unrecognised)." @default.
- W2278989905 created "2016-06-24" @default.
- W2278989905 creator A5039639935 @default.
- W2278989905 creator A5066192392 @default.
- W2278989905 date "2014-01-01" @default.
- W2278989905 modified "2023-09-25" @default.
- W2278989905 title "Graph Mining for Automatic Classification of Logical Proofs" @default.
- W2278989905 doi "https://doi.org/10.5220/0004963405630568" @default.
- W2278989905 hasPublicationYear "2014" @default.
- W2278989905 type Work @default.
- W2278989905 sameAs 2278989905 @default.
- W2278989905 citedByCount "1" @default.
- W2278989905 countsByYear W22789899052014 @default.
- W2278989905 crossrefType "proceedings-article" @default.
- W2278989905 hasAuthorship W2278989905A5039639935 @default.
- W2278989905 hasAuthorship W2278989905A5066192392 @default.
- W2278989905 hasConcept C108710211 @default.
- W2278989905 hasConcept C124101348 @default.
- W2278989905 hasConcept C132525143 @default.
- W2278989905 hasConcept C154945302 @default.
- W2278989905 hasConcept C199360897 @default.
- W2278989905 hasConcept C2524010 @default.
- W2278989905 hasConcept C2777212361 @default.
- W2278989905 hasConcept C33923547 @default.
- W2278989905 hasConcept C41008148 @default.
- W2278989905 hasConcept C558772884 @default.
- W2278989905 hasConcept C80444323 @default.
- W2278989905 hasConcept C96146094 @default.
- W2278989905 hasConceptScore W2278989905C108710211 @default.
- W2278989905 hasConceptScore W2278989905C124101348 @default.
- W2278989905 hasConceptScore W2278989905C132525143 @default.
- W2278989905 hasConceptScore W2278989905C154945302 @default.
- W2278989905 hasConceptScore W2278989905C199360897 @default.
- W2278989905 hasConceptScore W2278989905C2524010 @default.
- W2278989905 hasConceptScore W2278989905C2777212361 @default.
- W2278989905 hasConceptScore W2278989905C33923547 @default.
- W2278989905 hasConceptScore W2278989905C41008148 @default.
- W2278989905 hasConceptScore W2278989905C558772884 @default.
- W2278989905 hasConceptScore W2278989905C80444323 @default.
- W2278989905 hasConceptScore W2278989905C96146094 @default.
- W2278989905 hasLocation W22789899051 @default.
- W2278989905 hasOpenAccess W2278989905 @default.
- W2278989905 hasPrimaryLocation W22789899051 @default.
- W2278989905 hasRelatedWork W148908571 @default.
- W2278989905 hasRelatedWork W1510675600 @default.
- W2278989905 hasRelatedWork W1578607594 @default.
- W2278989905 hasRelatedWork W1601293137 @default.
- W2278989905 hasRelatedWork W2080058782 @default.
- W2278989905 hasRelatedWork W2901658294 @default.
- W2278989905 hasRelatedWork W2901811471 @default.
- W2278989905 hasRelatedWork W2901942989 @default.
- W2278989905 hasRelatedWork W2908785792 @default.
- W2278989905 hasRelatedWork W2921000712 @default.
- W2278989905 hasRelatedWork W2952068915 @default.
- W2278989905 hasRelatedWork W2952466359 @default.
- W2278989905 hasRelatedWork W2952927308 @default.
- W2278989905 hasRelatedWork W3021145031 @default.
- W2278989905 hasRelatedWork W3030087376 @default.
- W2278989905 hasRelatedWork W3034808961 @default.
- W2278989905 hasRelatedWork W3089471855 @default.
- W2278989905 hasRelatedWork W3125426788 @default.
- W2278989905 hasRelatedWork W3200986112 @default.
- W2278989905 hasRelatedWork W3202874469 @default.
- W2278989905 isParatext "false" @default.
- W2278989905 isRetracted "false" @default.
- W2278989905 magId "2278989905" @default.
- W2278989905 workType "article" @default.