This paper presents an extension of classical attributive logic using atomic values of attributes. In the proposed logic set values are allowed and various relational symbols are ...
Practical reasoning (PR), which is concerned with the generic question of what to do, is generally seen as a two steps process: (1) deliberation, in which an agent decides what st...
NL interaction and skillful hinting are known as cornerstones for successful tutoring. Despite these insights, a combination of these two factors is widely under-represented in th...
Celerina is the software core of a realtime system for dynamic music generation. Several one-dimensional binary cellular automata generate melodic patterns that are subsequently r...
Wepresentan approachto designingreal-time systems based on dynamically sequencing condition-specific task-execution schedules. Asystem that dynamically alters its real-time execut...