4224 search results - page 94 / 845 » Reasoning about Choice |
153
click to vote
AIED
2005
Springer
15 years 11 months ago
2005
Springer
This paper discusses the extensions that we have made to Betty’s Brain teachable agent system to help students learn about dynamic processes in a river ecosystem. Students first ...
137
click to vote
AI
2001
Springer
15 years 9 months ago
2001
Springer
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
150
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
Bundy and Richardson [7] presented a technique for reasoning about lists using ellipsis (the dots in 1+2+...+10), where a polymorphic function, denoted by 2, is used to encapsulate...
154
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
Abstract This paper describes a formalisation of the lambda-calculus in a HOL-based theorem prover using nominal techniques. Central to the formalisation is an inductive set that i...
132
click to vote
JOLLI
2006
15 years 5 months ago
2006
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...