%0 Journal Article %1 henzenejdl04 %A Henze, Nicola %A Nejdl, Wolfgang %D 2004 %J New Review on Hypertext and Hypermedia (NRHM) %K prolearn %N 1 %P 77 - 113 %T A Logical Characterization of Adaptive Educational Hypermedia %U http://www.kbs.uni-hannover.de/Arbeiten/Publikationen/2004/logical_characterization_henze_nejdl.pdf %V 10 %X Currently, adaptive educational hypermedia systems (AEHS) are described with nonuniform methods, depending on the specific view on the system, the application, or other parameters. There is no common language for expressing functionality of AEHS, 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 AEHS based on first-order logic, characterize some AEHS due to this formalism, and discuss the applicability of this approach.

@article{henzenejdl04, abstract = {Currently, adaptive educational hypermedia systems (AEHS) are described with nonuniform methods, depending on the specific view on the system, the application, or other parameters. There is no common language for expressing functionality of AEHS, 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 AEHS based on first-order logic, characterize some AEHS due to this formalism, and discuss the applicability of this approach.}, added-at = {2006-05-31T17:38:26.000+0200}, author = {Henze, Nicola and Nejdl, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/24ea29e8915f0dd7d36e2150a7976872b/prolearn}, description = {Prolearn Publication}, interhash = {db23cd7e26c6f7cedf5971c0cc475226}, intrahash = {4ea29e8915f0dd7d36e2150a7976872b}, journal = {New Review on Hypertext and Hypermedia (NRHM)}, keywords = {prolearn}, number = 1, pages = {77 - 113}, timestamp = {2006-05-31T17:38:26.000+0200}, title = {A Logical Characterization of Adaptive Educational Hypermedia}, url = {http://www.kbs.uni-hannover.de/Arbeiten/Publikationen/2004/logical_characterization_henze_nejdl.pdf}, volume = 10, year = 2004 }