This paper describes the design and implementation of a module of emotions and personality for synthetic actors. Here are presented the results of previous researches, which were t...
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
This paper presents the concepts of our MoRob (Modular Educational Robotic Toolbox) project, which aims to provide a robot platform for university teaching and research. Character...
: Course generation knowledge, i.e., how to assemble a sequence of learning objects which is adapted to a learner’s goals, competencies and preferences, is hard to assess and exp...
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...