382 search results - page 40 / 77 » Proof Theory for Distributed Knowledge |
75
Voted
FSS
2008
14 years 9 months ago
2008
Numerical possibility theory, belief function have been suggested as useful tools to represent imprecise, vague or incomplete information. They are particularly appropriate in unc...
99
Voted
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we consider how a BDI agent might determine its best course of action. We draw on previous work which has presented a model of persuasion over action and we discuss ...
CSCW
1998
ACM
15 years 1 months ago
1998
ACM
The term organizational memory is due for an overhaul. Memory appears to be everywhere in organizations; yet, the term has been limited to a few uses. In this paper we examine wha...
100
click to vote
EUROPAR
2006
Springer
15 years 1 months ago
2006
Springer
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
ISN
2000
Springer
15 years 1 months ago
2000
Springer
In logistics of today's economy we have to deal with distributed systems. To support the demanding management task the multi-agent approach offers promising perspectives. For ...