Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions

In this paper we discuss how different reasoning techniques can be applied to the development of adaptive web applications. We will describe the reasoning mechanisms that are used by an agent that is implemented in DyLOG, a logic programming language, whose main characteristic is to allow reasoning about actions in a dynamically changing environment. The applicative domain is curriculum sequencing for education. In this framework the reasoning mechanisms will be used for constructing study plans, validating user-given study plans, and, in case these are wrong, to explain why they are not correct.