1999 search results - page 128 / 400 » Dependently Typed Grammars |
199
click to vote
EMNLP
2011
14 years 6 months ago
2011
Conversations provide rich opportunities for interactive, continuous learning. When something goes wrong, a system can ask for clarification, rewording, or otherwise redirect the...
148
click to vote
TLCA
2001
Springer
15 years 10 months ago
2001
Springer
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the Calculus of Constructions that we extend by adding an i...
165
click to vote
AIED
2011
Springer
14 years 10 months ago
2011
Springer
We investigate whether an overall student disengagement label and six different labels of disengagement type are predictive of learning in a spoken dialog computer tutoring corpus...
278
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
174
click to vote
TPHOL
2009
IEEE
16 years 28 days ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...