Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
In this paper, we present our vision for a framework to facilitate computationally-based aerospace vehicle design by improving the quality of the response surfaces that can be deve...
David Thompson, Srinivasan Parthasarathy, Raghu Ma...
Haiku is a data mining system which combines the best properties of human and machine discovery. An self organising visualisation system is coupled with a genetic algorithm to prov...
This paper deals with the multi-agent patrolling problem in unknown environment using two collective approaches exploiting environmental dynamics. After specifying criteria of per...
Hoang Nam Chu, Arnaud Glad, Olivier Simonin, Fran&...
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services wh...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...