We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
Bayesian Network (BN) is a powerful network model, which represents a set of variables in the domain and provides the probabilistic relationships among them. But BN can handle dis...
The way information is represented and processed in a neural network may have important consequences on its computational power and complexity. Basically, information representatio...
Complex Event Processing (CEP) is a powerful technology for supporting advanced event-processing scenarios at a higher level of ion. Because of its expressiveness, CEP allows promp...
We establish that the decidability of the first order theory of a class of finite structures ¢ is a simple and useful condition for guaranteeing that the expressive power of FO...