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.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2004-32

BibTeX:

@article{REWERSE-RP-2004-32,
	author = {Nicola Henze and Wolfgang Nejdl},
	title = {A logical characterization of adaptive educational hypermedia},
	journal = {The New Review of Hypermedia and Multimedia},
	year = {2004},
	volume = {10},
	number = {1},
	pages = {77--113},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2004-32}
}