8337 search results - page 171 / 1668 » Reasoning With Characteristic Models |
132
click to vote
IJCAI
1989
15 years 6 months ago
1989
t ion which is much more abstract than a place vocabulary, the kinematic topology. Kinematic topology does not define qualitative inference rules, but provides a characterization o...
185
click to vote
PODC
1994
ACM
15 years 9 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
161
click to vote
JAIR
2010
15 years 3 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
153
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Just as POMDPs have been used to reason explicitly about uncertainty in single-agent systems, there has been recent interest in using multi-agent POMDPs to coordinate teams of age...
146
click to vote
AAAI
2000
15 years 6 months ago
2000
Recent work has demonstrated that treating resource reasoning separately from causal reasoning can lead to improved planning performance and rational resource management where inc...