3731 search results - page 30 / 747 » cases 2006 |
74
Voted
AIM
2006
14 years 11 months ago
2006
: The concept of Virtual Organization is widely discussed in the literature. The SICOV project aims to develop a generic web-based platform to support the Virtual Organization crea...
89
Voted
IJAR
2002
14 years 10 months ago
2002
In this paper, we study the notion of marginal independence between two sets of variables when uncertainty is expressed by belief functions as understood in the context of the tra...
COMBINATORICS
1999
14 years 9 months ago
1999
We present two symmetric function operators Hqt 3 and Hqt 4 that have the property Hqt mH(2a1b)(X; q, t) = H(m2a1b)(X; q, t). These operators are generalizations of the analogous ...
65
Voted
JOLLI
2002
14 years 9 months ago
2002
A concept language with role intersection and number restriction is defined and its modal equivalent is provided. The main reasoning tasks of satisfiability and subsumption checkin...
JOLLI
2010
14 years 8 months ago
2010
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...