The vast majority of medical computer-based training (CBT) systems aim at problem-oriented case based training. A crucial issue in the design of CBT systems is the selection of ap...
We present a novel mathematical formalism for the idea of a "local model" of an uncontrolled dynamical system, a model that makes only certain predictions in only certai...
Software cost estimation is known to be a challenging task at best, and these challenges are increased for programmers operating outside the support of an established team program...
Abstract. Core Competence evaluation is crucial for strategical choices in knowledge intensive companies. Such a process is usually manually performed by the management on the basi...
Simona Colucci, Eugenio Di Sciascio, Francesco M. ...
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...