Document (#30712)

Author

Henze, N.
Nejdl, W.

Title

¬A logical characterization of adaptive educational hypermedia

Source

New review of hypermedia and multimedia. 10(2004) no.1, S.77-113

Year

2004

Abstract

Currently, adaptive educational hypermedia systems (AEHSs) are described using nonuniform methods, depending on the specific view of the system, the application, or other parameters. There is no common language for expressing the functionality of AEHSs, hence these systems are difficult to compare and analyze. In this paper we investigate how a logical description can be employed to characterize adaptive educational hypermedia. We propose a definition of AEHSs based on first-order logic, characterize some AEHSs resulting from this formalism, and discuss the applicability of this approach.

Theme

Computer Based Training
Hypertext

Similar documents (author)

1. Nejdl, W.; Risse, T.: Herausforderungen für die nationale, regionale und thematische Webarchivierung und deren Nutzung (2015) 2.06

   2.0563288 = sum of:
     2.0563288 = product of:
       4.1126575 = sum of:
         4.1126575 = weight(author_txt:nejdl in 2531) [ClassicSimilarity], result of:
           4.1126575 = score(doc=2531,freq=1.0), product of:
             0.83040977 = queryWeight, product of:
               1.2208405 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.06867101 = queryNorm
             4.952564 = fieldWeight in 2531, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.5 = fieldNorm(doc=2531)
       0.5 = coord(1/2)
   

2. Henze, V.: "SGML" - a solution for your digital library of the future? (1996) 1.41

   1.4126215 = sum of:
     1.4126215 = product of:
       2.825243 = sum of:
         2.825243 = weight(author_txt:henze in 3710) [ClassicSimilarity], result of:
           2.825243 = score(doc=3710,freq=1.0), product of:
             0.55715317 = queryWeight, product of:
               8.113368 = idf(docFreq=35, maxDocs=44218)
               0.06867101 = queryNorm
             5.070855 = fieldWeight in 3710, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.113368 = idf(docFreq=35, maxDocs=44218)
               0.625 = fieldNorm(doc=3710)
       0.5 = coord(1/2)
   

3. Henze, V.: MAB2-Zeichenvorrat und -codes : Erweiterungen von MAB2 für Elektronische Publikationen (1996) 1.41

   1.4126215 = sum of:
     1.4126215 = product of:
       2.825243 = sum of:
         2.825243 = weight(author_txt:henze in 4276) [ClassicSimilarity], result of:
           2.825243 = score(doc=4276,freq=1.0), product of:
             0.55715317 = queryWeight, product of:
               8.113368 = idf(docFreq=35, maxDocs=44218)
               0.06867101 = queryNorm
             5.070855 = fieldWeight in 4276, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.113368 = idf(docFreq=35, maxDocs=44218)
               0.625 = fieldNorm(doc=4276)
       0.5 = coord(1/2)
   

4. Henze, V.: Zeichensatz und elektronische Publikationen im Format MAB2 : Ergebnisse der Sitzung des MAB-Ausschusses am 28. März 1996 (1996) 1.41

   1.4126215 = sum of:
     1.4126215 = product of:
       2.825243 = sum of:
         2.825243 = weight(author_txt:henze in 4285) [ClassicSimilarity], result of:
           2.825243 = score(doc=4285,freq=1.0), product of:
             0.55715317 = queryWeight, product of:
               8.113368 = idf(docFreq=35, maxDocs=44218)
               0.06867101 = queryNorm
             5.070855 = fieldWeight in 4285, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.113368 = idf(docFreq=35, maxDocs=44218)
               0.625 = fieldNorm(doc=4285)
       0.5 = coord(1/2)
   

5. Henze, V.: ¬Die Deutsche Bibliothek : 1. Ergänzungslieferung zur MAB2-Dokumentation (1996) 1.41

   1.4126215 = sum of:
     1.4126215 = product of:
       2.825243 = sum of:
         2.825243 = weight(author_txt:henze in 5976) [ClassicSimilarity], result of:
           2.825243 = score(doc=5976,freq=1.0), product of:
             0.55715317 = queryWeight, product of:
               8.113368 = idf(docFreq=35, maxDocs=44218)
               0.06867101 = queryNorm
             5.070855 = fieldWeight in 5976, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.113368 = idf(docFreq=35, maxDocs=44218)
               0.625 = fieldNorm(doc=5976)
       0.5 = coord(1/2)
   

Similar documents (content)

1. Ford, N.: "Conversational" information systems : Extending educational informatics support for the web-based learner (2005) 0.16

   0.1589956 = sum of:
     0.1589956 = product of:
       0.66248167 = sum of:
         0.031609897 = weight(abstract_txt:systems in 4397) [ClassicSimilarity], result of:
           0.031609897 = score(doc=4397,freq=7.0), product of:
             0.07470321 = queryWeight, product of:
               1.276839 = boost
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.017147845 = queryNorm
             0.42313975 = fieldWeight in 4397, product of:
               2.6457512 = tf(freq=7.0), with freq of:
                 7.0 = termFreq=7.0
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.046875 = fieldNorm(doc=4397)
         0.04890866 = weight(abstract_txt:parameters in 4397) [ClassicSimilarity], result of:
           0.04890866 = score(doc=4397,freq=1.0), product of:
             0.15172961 = queryWeight, product of:
               1.2867279 = boost
               6.8766055 = idf(docFreq=123, maxDocs=44218)
               0.017147845 = queryNorm
             0.32234088 = fieldWeight in 4397, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.8766055 = idf(docFreq=123, maxDocs=44218)
               0.046875 = fieldNorm(doc=4397)
         0.008965637 = weight(abstract_txt:this in 4397) [ClassicSimilarity], result of:
           0.008965637 = score(doc=4397,freq=2.0), product of:
             0.05604855 = queryWeight, product of:
               1.3545479 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.017147845 = queryNorm
             0.15996197 = fieldWeight in 4397, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.046875 = fieldNorm(doc=4397)
         0.10271498 = weight(abstract_txt:educational in 4397) [ClassicSimilarity], result of:
           0.10271498 = score(doc=4397,freq=1.0), product of:
             0.35887465 = queryWeight, product of:
               3.4275482 = boost
               6.1059003 = idf(docFreq=267, maxDocs=44218)
               0.017147845 = queryNorm
             0.28621408 = fieldWeight in 4397, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1059003 = idf(docFreq=267, maxDocs=44218)
               0.046875 = fieldNorm(doc=4397)
         0.20867954 = weight(abstract_txt:hypermedia in 4397) [ClassicSimilarity], result of:
           0.20867954 = score(doc=4397,freq=3.0), product of:
             0.39914724 = queryWeight, product of:
               3.6147537 = boost
               6.439392 = idf(docFreq=191, maxDocs=44218)
               0.017147845 = queryNorm
             0.52281344 = fieldWeight in 4397, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.439392 = idf(docFreq=191, maxDocs=44218)
               0.046875 = fieldNorm(doc=4397)
         0.2616029 = weight(abstract_txt:adaptive in 4397) [ClassicSimilarity], result of:
           0.2616029 = score(doc=4397,freq=3.0), product of:
             0.4640608 = queryWeight, product of:
               3.897621 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.017147845 = queryNorm
             0.5637255 = fieldWeight in 4397, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.046875 = fieldNorm(doc=4397)
       0.24 = coord(6/25)
   

2. Bulterman, D.C.: Ebedded video in hypermedia documents : supporting integration and adaptive control (1995) 0.15

   0.15369952 = sum of:
     0.15369952 = product of:
       0.7684976 = sum of:
         0.083290935 = weight(abstract_txt:depending in 3862) [ClassicSimilarity], result of:
           0.083290935 = score(doc=3862,freq=1.0), product of:
             0.1539262 = queryWeight, product of:
               1.2960083 = boost
               6.926203 = idf(docFreq=117, maxDocs=44218)
               0.017147845 = queryNorm
             0.54110956 = fieldWeight in 3862, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.926203 = idf(docFreq=117, maxDocs=44218)
               0.078125 = fieldNorm(doc=3862)
         0.010566104 = weight(abstract_txt:this in 3862) [ClassicSimilarity], result of:
           0.010566104 = score(doc=3862,freq=1.0), product of:
             0.05604855 = queryWeight, product of:
               1.3545479 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.017147845 = queryNorm
             0.18851699 = fieldWeight in 3862, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.078125 = fieldNorm(doc=3862)
         0.117842115 = weight(abstract_txt:logical in 3862) [ClassicSimilarity], result of:
           0.117842115 = score(doc=3862,freq=1.0), product of:
             0.24441305 = queryWeight, product of:
               2.3095572 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.017147845 = queryNorm
             0.4821433 = fieldWeight in 3862, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.078125 = fieldNorm(doc=3862)
         0.200802 = weight(abstract_txt:hypermedia in 3862) [ClassicSimilarity], result of:
           0.200802 = score(doc=3862,freq=1.0), product of:
             0.39914724 = queryWeight, product of:
               3.6147537 = boost
               6.439392 = idf(docFreq=191, maxDocs=44218)
               0.017147845 = queryNorm
             0.5030775 = fieldWeight in 3862, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.439392 = idf(docFreq=191, maxDocs=44218)
               0.078125 = fieldNorm(doc=3862)
         0.35599646 = weight(abstract_txt:adaptive in 3862) [ClassicSimilarity], result of:
           0.35599646 = score(doc=3862,freq=2.0), product of:
             0.4640608 = queryWeight, product of:
               3.897621 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.017147845 = queryNorm
             0.7671332 = fieldWeight in 3862, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.078125 = fieldNorm(doc=3862)
       0.2 = coord(5/25)
   

3. Athukorala, K.; Glowacka, D.; Jacucci, G.; Oulasvirta, A.; Vreeken, J.: Is exploratory search different? : a comparison of information search behavior for exploratory and lookup tasks (2016) 0.14

   0.13630423 = sum of:
     0.13630423 = product of:
       0.5679343 = sum of:
         0.031413507 = weight(abstract_txt:investigate in 3150) [ClassicSimilarity], result of:
           0.031413507 = score(doc=3150,freq=1.0), product of:
             0.09323915 = queryWeight, product of:
               1.0086737 = boost
               5.390612 = idf(docFreq=547, maxDocs=44218)
               0.017147845 = queryNorm
             0.33691326 = fieldWeight in 3150, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.390612 = idf(docFreq=547, maxDocs=44218)
               0.0625 = fieldNorm(doc=3150)
         0.03185978 = weight(abstract_txt:systems in 3150) [ClassicSimilarity], result of:
           0.03185978 = score(doc=3150,freq=4.0), product of:
             0.07470321 = queryWeight, product of:
               1.276839 = boost
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.017147845 = queryNorm
             0.4264848 = fieldWeight in 3150, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.0625 = fieldNorm(doc=3150)
         0.06453382 = weight(abstract_txt:applicability in 3150) [ClassicSimilarity], result of:
           0.06453382 = score(doc=3150,freq=1.0), product of:
             0.15067653 = queryWeight, product of:
               1.2822548 = boost
               6.8527 = idf(docFreq=126, maxDocs=44218)
               0.017147845 = queryNorm
             0.42829376 = fieldWeight in 3150, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.8527 = idf(docFreq=126, maxDocs=44218)
               0.0625 = fieldNorm(doc=3150)
         0.014640822 = weight(abstract_txt:this in 3150) [ClassicSimilarity], result of:
           0.014640822 = score(doc=3150,freq=3.0), product of:
             0.05604855 = queryWeight, product of:
               1.3545479 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.017147845 = queryNorm
             0.2612168 = fieldWeight in 3150, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.0625 = fieldNorm(doc=3150)
         0.14068921 = weight(abstract_txt:characterize in 3150) [ClassicSimilarity], result of:
           0.14068921 = score(doc=3150,freq=1.0), product of:
             0.31918165 = queryWeight, product of:
               2.63928 = boost
               7.0524964 = idf(docFreq=103, maxDocs=44218)
               0.017147845 = queryNorm
             0.44078103 = fieldWeight in 3150, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.0524964 = idf(docFreq=103, maxDocs=44218)
               0.0625 = fieldNorm(doc=3150)
         0.28479716 = weight(abstract_txt:adaptive in 3150) [ClassicSimilarity], result of:
           0.28479716 = score(doc=3150,freq=2.0), product of:
             0.4640608 = queryWeight, product of:
               3.897621 = boost
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.017147845 = queryNorm
             0.6137065 = fieldWeight in 3150, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.943297 = idf(docFreq=115, maxDocs=44218)
               0.0625 = fieldNorm(doc=3150)
       0.24 = coord(6/25)
   

4. Arnets, H.C.; Bogaerts, W.F.L.: Towards an architecture for third-order hypermedia systems (1991) 0.12

   0.12488311 = sum of:
     0.12488311 = product of:
       0.6244155 = sum of:
         0.041124493 = weight(abstract_txt:difficult in 3684) [ClassicSimilarity], result of:
           0.041124493 = score(doc=3684,freq=1.0), product of:
             0.09615704 = queryWeight, product of:
               1.0243351 = boost
               5.474311 = idf(docFreq=503, maxDocs=44218)
               0.017147845 = queryNorm
             0.42768055 = fieldWeight in 3684, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.474311 = idf(docFreq=503, maxDocs=44218)
               0.078125 = fieldNorm(doc=3684)
         0.041996613 = weight(abstract_txt:definition in 3684) [ClassicSimilarity], result of:
           0.041996613 = score(doc=3684,freq=1.0), product of:
             0.09751174 = queryWeight, product of:
               1.0315255 = boost
               5.512738 = idf(docFreq=484, maxDocs=44218)
               0.017147845 = queryNorm
             0.43068266 = fieldWeight in 3684, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.512738 = idf(docFreq=484, maxDocs=44218)
               0.078125 = fieldNorm(doc=3684)
         0.034489226 = weight(abstract_txt:systems in 3684) [ClassicSimilarity], result of:
           0.034489226 = score(doc=3684,freq=3.0), product of:
             0.07470321 = queryWeight, product of:
               1.276839 = boost
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.017147845 = queryNorm
             0.4616833 = fieldWeight in 3684, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.078125 = fieldNorm(doc=3684)
         0.014942728 = weight(abstract_txt:this in 3684) [ClassicSimilarity], result of:
           0.014942728 = score(doc=3684,freq=2.0), product of:
             0.05604855 = queryWeight, product of:
               1.3545479 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.017147845 = queryNorm
             0.2666033 = fieldWeight in 3684, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.078125 = fieldNorm(doc=3684)
         0.49186245 = weight(abstract_txt:hypermedia in 3684) [ClassicSimilarity], result of:
           0.49186245 = score(doc=3684,freq=6.0), product of:
             0.39914724 = queryWeight, product of:
               3.6147537 = boost
               6.439392 = idf(docFreq=191, maxDocs=44218)
               0.017147845 = queryNorm
             1.2322832 = fieldWeight in 3684, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.439392 = idf(docFreq=191, maxDocs=44218)
               0.078125 = fieldNorm(doc=3684)
       0.2 = coord(5/25)
   

5. Petrou, C.; Martakos, D.; Hadjiefthymiades, S.: Adding semantics to hypermedia towards link's enhancements and dynamic linking (1997) 0.12

   0.12363714 = sum of:
     0.12363714 = product of:
       0.6181857 = sum of:
         0.060827844 = weight(abstract_txt:logic in 734) [ClassicSimilarity], result of:
           0.060827844 = score(doc=734,freq=1.0), product of:
             0.12482905 = queryWeight, product of:
               1.1671034 = boost
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.017147845 = queryNorm
             0.4872892 = fieldWeight in 734, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.237302 = idf(docFreq=234, maxDocs=44218)
               0.078125 = fieldNorm(doc=734)
         0.019912364 = weight(abstract_txt:systems in 734) [ClassicSimilarity], result of:
           0.019912364 = score(doc=734,freq=1.0), product of:
             0.07470321 = queryWeight, product of:
               1.276839 = boost
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.017147845 = queryNorm
             0.26655298 = fieldWeight in 734, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.078125 = fieldNorm(doc=734)
         0.010566104 = weight(abstract_txt:this in 734) [ClassicSimilarity], result of:
           0.010566104 = score(doc=734,freq=1.0), product of:
             0.05604855 = queryWeight, product of:
               1.3545479 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.017147845 = queryNorm
             0.18851699 = fieldWeight in 734, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.078125 = fieldNorm(doc=734)
         0.12527539 = weight(abstract_txt:characterization in 734) [ClassicSimilarity], result of:
           0.12527539 = score(doc=734,freq=1.0), product of:
             0.20206505 = queryWeight, product of:
               1.4848998 = boost
               7.935687 = idf(docFreq=42, maxDocs=44218)
               0.017147845 = queryNorm
             0.61997557 = fieldWeight in 734, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.935687 = idf(docFreq=42, maxDocs=44218)
               0.078125 = fieldNorm(doc=734)
         0.401604 = weight(abstract_txt:hypermedia in 734) [ClassicSimilarity], result of:
           0.401604 = score(doc=734,freq=4.0), product of:
             0.39914724 = queryWeight, product of:
               3.6147537 = boost
               6.439392 = idf(docFreq=191, maxDocs=44218)
               0.017147845 = queryNorm
             1.006155 = fieldWeight in 734, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.439392 = idf(docFreq=191, maxDocs=44218)
               0.078125 = fieldNorm(doc=734)
       0.2 = coord(5/25)