FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W43455886> ?p ?o ?g. }

• W43455886 abstract "In order to generate high quality explanations in technical or mathematical domains, the presentation must be adapted to the knowledge of the intended audience. Current proof presentation systems only communicate proofs on a fixed degree of abstraction independently of the addressee's knowledge. in this paper that describes ongoing research, we propose an architecture for an interactive proof explanation system, called P. rex. Based on the theory of human cognition AcT-R, its dialog planner exploits a cognitive model, in which both the user's knowledge and his cognitive processes are modeled. By this means, his cognitive states are traced during the explanation. The explicit representation of the user's cognitive states in AcT-R allows the dialog planner to choose a degree of abstraction tailored to the user for each proof step to be explained." @default.
• W43455886 created "2016-06-24" @default.
• W43455886 creator A5042127703 @default.
• W43455886 date "1998-01-01" @default.
• W43455886 modified "2023-09-23" @default.
• W43455886 title "Macroplanning with a Cognitive Architecture for the Adaptive Explanation of Proofs." @default.
• W43455886 cites W103920111 @default.
• W43455886 cites W1491353074 @default.
• W43455886 cites W1974302391 @default.
• W43455886 cites W2005473185 @default.
• W43455886 cites W2016978179 @default.
• W43455886 cites W2039977878 @default.
• W43455886 cites W2059106018 @default.
• W43455886 cites W2088563966 @default.
• W43455886 cites W2162792036 @default.
• W43455886 cites W28804644 @default.
• W43455886 cites W68015109 @default.
• W43455886 cites W73766171 @default.
• W43455886 hasPublicationYear "1998" @default.
• W43455886 type Work @default.
• W43455886 sameAs 43455886 @default.
• W43455886 citedByCount "4" @default.
• W43455886 crossrefType "proceedings-article" @default.
• W43455886 hasAuthorship W43455886A5042127703 @default.
• W43455886 hasConcept C107457646 @default.
• W43455886 hasConcept C108710211 @default.
• W43455886 hasConcept C111472728 @default.
• W43455886 hasConcept C111919701 @default.
• W43455886 hasConcept C123657996 @default.
• W43455886 hasConcept C124304363 @default.
• W43455886 hasConcept C124978682 @default.
• W43455886 hasConcept C126838900 @default.
• W43455886 hasConcept C136764020 @default.
• W43455886 hasConcept C138885662 @default.
• W43455886 hasConcept C142362112 @default.
• W43455886 hasConcept C153349607 @default.
• W43455886 hasConcept C154945302 @default.
• W43455886 hasConcept C15744967 @default.
• W43455886 hasConcept C161301231 @default.
• W43455886 hasConcept C161407221 @default.
• W43455886 hasConcept C165696696 @default.
• W43455886 hasConcept C169760540 @default.
• W43455886 hasConcept C169900460 @default.
• W43455886 hasConcept C173853756 @default.
• W43455886 hasConcept C17744445 @default.
• W43455886 hasConcept C188147891 @default.
• W43455886 hasConcept C199539241 @default.
• W43455886 hasConcept C20854674 @default.
• W43455886 hasConcept C2524010 @default.
• W43455886 hasConcept C2776359362 @default.
• W43455886 hasConcept C2776999362 @default.
• W43455886 hasConcept C2777601897 @default.
• W43455886 hasConcept C33923547 @default.
• W43455886 hasConcept C38652104 @default.
• W43455886 hasConcept C41008148 @default.
• W43455886 hasConcept C71924100 @default.
• W43455886 hasConcept C80444323 @default.
• W43455886 hasConcept C94625758 @default.
• W43455886 hasConceptScore W43455886C107457646 @default.
• W43455886 hasConceptScore W43455886C108710211 @default.
• W43455886 hasConceptScore W43455886C111472728 @default.
• W43455886 hasConceptScore W43455886C111919701 @default.
• W43455886 hasConceptScore W43455886C123657996 @default.
• W43455886 hasConceptScore W43455886C124304363 @default.
• W43455886 hasConceptScore W43455886C124978682 @default.
• W43455886 hasConceptScore W43455886C126838900 @default.
• W43455886 hasConceptScore W43455886C136764020 @default.
• W43455886 hasConceptScore W43455886C138885662 @default.
• W43455886 hasConceptScore W43455886C142362112 @default.
• W43455886 hasConceptScore W43455886C153349607 @default.
• W43455886 hasConceptScore W43455886C154945302 @default.
• W43455886 hasConceptScore W43455886C15744967 @default.
• W43455886 hasConceptScore W43455886C161301231 @default.
• W43455886 hasConceptScore W43455886C161407221 @default.
• W43455886 hasConceptScore W43455886C165696696 @default.
• W43455886 hasConceptScore W43455886C169760540 @default.
• W43455886 hasConceptScore W43455886C169900460 @default.
• W43455886 hasConceptScore W43455886C173853756 @default.
• W43455886 hasConceptScore W43455886C17744445 @default.
• W43455886 hasConceptScore W43455886C188147891 @default.
• W43455886 hasConceptScore W43455886C199539241 @default.
• W43455886 hasConceptScore W43455886C20854674 @default.
• W43455886 hasConceptScore W43455886C2524010 @default.
• W43455886 hasConceptScore W43455886C2776359362 @default.
• W43455886 hasConceptScore W43455886C2776999362 @default.
• W43455886 hasConceptScore W43455886C2777601897 @default.
• W43455886 hasConceptScore W43455886C33923547 @default.
• W43455886 hasConceptScore W43455886C38652104 @default.
• W43455886 hasConceptScore W43455886C41008148 @default.
• W43455886 hasConceptScore W43455886C71924100 @default.
• W43455886 hasConceptScore W43455886C80444323 @default.
• W43455886 hasConceptScore W43455886C94625758 @default.
• W43455886 hasLocation W434558861 @default.
• W43455886 hasOpenAccess W43455886 @default.
• W43455886 hasPrimaryLocation W434558861 @default.
• W43455886 hasRelatedWork W113905334 @default.
• W43455886 hasRelatedWork W1485232965 @default.
• W43455886 hasRelatedWork W1546886203 @default.
• W43455886 hasRelatedWork W1570079447 @default.
• W43455886 hasRelatedWork W1595924246 @default.

• next