3793 search results - page 331 / 759 » Expressive Description Logics |
174
click to vote
IJCAI
2003
15 years 8 months ago
2003
We introduce a logical formalism of irreflexivc causal production relations that possesses both a standard monotonic semantics, and a natural nonmonotonic semantics. The formalism...
147
click to vote
FLAIRS
1998
15 years 8 months ago
1998
In this papera newoperatorfor agent's implicit belief revisionis presented.Thisoperatoris conceptually based on the following requirement:anagent should find first anexplanat...
175
click to vote
JCP
2008
15 years 6 months ago
2008
Trust mechanism will be an important trend in the field of security for open network. But, as an important factor risk is little considered in trust model. In this paper, Further w...
163
Voted
COMBINATORICS
2002
15 years 6 months ago
2002
A map is a graph equipped with a circular order of edges around each vertex. These circular orders represent local planar embeddings. The genus of a map is the minimal genus of an...
147
click to vote
IS
2002
15 years 6 months ago
2002
In this paper, we explore the possibility of transforming queries with minimum and maximum predicates into equivalent queries that can be computed more efficiently. The main contr...