11436 search results - page 66 / 2288 » Modeling Real Reasoning |
AIIA
2007
Springer
15 years 7 months ago
2007
Springer
84
Voted
PRIMA
2007
Springer
15 years 6 months ago
2007
Springer
83
Voted
CICLING
2005
Springer
15 years 6 months ago
2005
Springer
57
Voted
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
107
Voted
ITS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...