The ability to automatically compose Web Services is critical for realising more complex functionalities. Several proposals to use automated planning to deal with the problem of s...
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
As product life cycles shortened, many firms introduce new products and phase out old products frequently. To plan for a successful product rollover; i.e., introduce a new product...
We investigate the computational complexity of testing dominance and consistency in CP-nets. Up until now, the complexity of dominance has been determined only for restricted clas...
— This paper proposes the use of a controlled assistive device, aimed as a support for the impaired individuals to allow a limited ambulatory function. The aim of the overall pro...
Alejandro Garcia Blanco, Gildardo Jimenez, Pedro O...