229 search results - page 6 / 46 » Natural Language Proof Explanation |
93
Voted
FLAIRS
2008
15 years 2 months ago
2008
Understanding answers to open-ended explanation questions is important in intelligent tutoring systems. Existing systems use natural language techniques in essay analysis, but rev...
98
Voted
DLOG
2008
15 years 2 months ago
2008
The paper addresses the problem of explaining some reasoning tasks associated with the DL-Lite Description Logic. Because of the simplicity of the language, standard concept level ...
104
click to vote
ICDE
2010
IEEE
15 years 8 months ago
2010
IEEE
— Many applications offer a form-based environment for na¨ıve users for accessing databases without being familiar with the database schema or a structured query language. User...
ITS
2004
Springer
15 years 5 months ago
2004
Springer
Previous research has shown that self-explanation can be supported effectively in an intelligent tutoring system by simple means such as menus. We now focus on the hypothesis that ...
93
Voted
GI
2003
Springer
15 years 4 months ago
2003
Springer
: Natural Language is not appropriate for reference models because it risks being an in-complete, unstructured and inconsistent form of representation. This paper presents insights...