1912 search results - page 53 / 383 » On the evaluation of argumentation formalisms |
CRISIS
2008
15 years 1 months ago
2008
We are involved in a project related to the evaluation
AI
2004
Springer
14 years 11 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
SYNTHESE
2010
14 years 10 months ago
2010
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With re...
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
FLAIRS
2006
15 years 1 months ago
2006
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of ...