1746 search results - page 227 / 350 » A Constructive Semantics for ALC |
LAWEB
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper analyzes how the semantics of association relationships in OO conceptual modeling can help to build Navigational Models for Web Applications. The work has been develope...
94
Voted
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
People can interact much more readily with a multi-agent system if they can understand it in cognitive terms. Modern work on “BDI agents” emphasizes explicit representation of ...
106
Voted
ECSQARU
2003
Springer
15 years 6 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
139
Voted
ICDCSW
2002
IEEE
15 years 5 months ago
2002
IEEE
In this paper we focus on the design of high performance peer-to-peer content sharing systems. In particular, our goal is to achieve global load balancing and short user-request r...
83
Voted
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...