5243 search results - page 367 / 1049 » Reasoning About Strategies |
177
click to vote
SAC
2004
ACM
16 years 9 days ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
168
Voted
ECAI
2004
Springer
16 years 8 days ago
2004
Springer
We present a framework for annotating dynamic scenes involving occlusion and other uncertainties. Our system comprises an object tracker, an object classifier and an algorithm for...
170
click to vote
EUROPAR
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Simulation platforms for network processing still have difficulties in finding a good compromise between speed and accuracy. This makes it difficult to identify the caus...
189
Voted
ICLP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
198
Voted
KR
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we introduce a formal framework for the construction of normative multiagent systems, based on Searle’s notion of the construction of social reality. Within the st...