We study the stochastic machine replenishment problem, which is a canonical special case of closed multiclass queuing systems in Markov decision theory. The problem models the sche...
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 (...
Mediators are considered basic architectural units for integration of distributed, heterogeneous information resources. In the paper we propose powerful virtual updateable views as...
Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz...
We consider the problem of learning to attain multiple goals in a dynamic environment, which is initially unknown. In addition, the environment may contain arbitrarily varying ele...
Different qualitative models have been proposed for decision under uncertainty in Artificial Intelli gence, but they generally fail to satisfy the princi ple of strict Pareto ...