We present a human-centered gestural system for musical improvisation, MIND. We demonstrate the relationship between music composition and programming. Preliminary field data from...
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
Mehdi Dastani, Guido Governatori, Antonino Rotolo,...
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...
A new approach to monitoring the runtime behaviour of parallel programs will be presented. Our approach provides a speci cation language to build measurement models which describe...