4595 search results - page 323 / 919 » Reasoning about Plans |
222
Voted
FMCAD
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
178
click to vote
ITS
2000
Springer
15 years 11 months ago
2000
Springer
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
170
Voted
IJCAI
2001
15 years 9 months ago
2001
This paper describes the Region Occlusion Calculus (ROC-20), that can be used to model spatial occlusion and the effects of motion parallax of arbitrary shaped objects. ROC-20 ass...
216
click to vote
UAI
2001
15 years 9 months ago
2001
We present a sound and complete calculus for causal relevance that uses Pearl's functional causal models as semantics. The calculus consists of axioms and rules of inference ...
167
click to vote
IJCAI
1997
15 years 8 months ago
1997
Motivated by the need to reason about utilities, and inspired by the success of bayesian networks in representing and reasoning about probabilities, we introduce the notion of uti...