Intelligent Tutoring Systems (ITS) typically contain elements of instruction, assessment, feedback and guidance for the trainee. Most of the time, the ITS is controlling the dialo...
In this paper, we will study semantics that have been used for conditionals in the area of knowledge representation and reasoning: A purely qualitative semantics based on the popu...
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
In application areas like personal information agents user modelstypically maintain sophisticated representations of personal interest profiles. Theserepresentations can be utiliz...
In this paper, we present our perspective on Model-Based User Interfaces (hereafter MBUI) paradigm and provide with our experience in this area combining high-level knowledge-base...