8337 search results - page 152 / 1668 » Reasoning With Characteristic Models |
128
Voted
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
110
Voted
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
174
Voted
PCI
2005
Springer
15 years 10 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
167
Voted
NMR
2004
Springer
15 years 10 months ago
2004
Springer
Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic ...
139
click to vote
CLIMA
2010
15 years 3 months ago
2010
Answer sharing is a key element in multi-agent systems as it allows agents to collaborate towards achieving a global goal. However exogenous knowledge of the world can influence e...