2024 search results - page 312 / 405 » A Formal Model of Multi-agent Computations |
149
Voted
CLIMA
2006
15 years 5 months ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
132
Voted
IJCAI
2001
15 years 5 months ago
2001
ive probabilistic networks are qualitative abstractions of probabilistic networks, summarising probabilistic influences by qualitative signs. As qualitative networks model influen...
102
Voted
COLING
1996
15 years 5 months ago
1996
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
107
Voted
BPM
2010
Springer
15 years 4 months ago
2010
Springer
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...
104
Voted
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
The security risk of a network against unknown zero day attacks has been considered as something unmeasurable since software flaws are less predictable than hardware faults and the...