7289 search results - page 55 / 1458 » A Dependent Set Theory |
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
The PartNET++ system is an experimental multi-agent-based simulation tool that uses a new model based on hyper-graphs for understanding partnership formation among heterogeneous a...
EUSFLAT
2007
13 years 9 months ago
2007
The theory of copulas provides a useful tool for modeling dependence in risk management. In insurance and finance, as well as in other applications, dependence of extreme events ...
MA
2010
Springer
13 years 6 months ago
2010
Springer
We describe several analytical and numerical procedures to obtain bounds on the distribution function of a sum of n dependent risks having fixed overlapping marginals. As an appl...