This paper presents how a novel combination of a cognitive theory with the Multi-Attribute Utility Theory (MAUT) can be incorporated in a Graphical User Interface (GUI) in order to provide adaptive and intelligent help to users. The GUI is called I-Mailer and is meant to help users achieve their goals and plans during their interaction with an e-mailing system. I-Mailer constantly observes the ...

Most Norwegians are Internet users. We conducted a stratified probability sample study (Norway, 2007, age-group 16-74 years, N= 3,399, response rate 35.3%, 87.1% Internet users) to assess the prevalence of Internet addiction and at-risk Internet use by the Young Diagnostic Questionnaire (YDQ). The prevalence of Internet addiction (YDQ score 5-8) was 1.0% and an additional 5.2% were at-risk Inte...

Work Integrated Learning (WIL) is widely acknowledged as providing an excellent complement to academic study in vocational degree programs such as construction management. However, the current context of higher education, with its increasing enrolment numbers and tightening of available resources, makes the delivery of effective WIL quite problematic. One key element of WIL is the situated natu...

In many tasks related to reasoning about consequences of a logical theory, it is desirable to decompose the theory into a number of components with weakly-related or independent signatures. This facilitates reasoning when the signature of a query formula belongs to only one of the components. However, an initial theory may be subject to change due to execution of actions affecting features ment...