4224 search results - page 154 / 845 » Reasoning about Choice |
146
click to vote
ISSTA
2006
ACM
16 years 28 days 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...
222
Voted
NMR
2004
Springer
16 years 10 days ago
2004
Springer
Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic ...
204
click to vote
RULEML
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
317
Voted
AIME
2003
Springer
16 years 6 days ago
2003
Springer
Objective: Deep biomedical models are often expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and make decisions, g...
184
Voted
KI
1999
Springer
15 years 11 months ago
1999
Springer
Among the formalisms for qualitative spatial reasoning, the Region Connection Calculus and its variant, the constraint algebra RCC8, have received particular attention recently. A...