Sciweavers

8337 search results - page 77 / 1668
» Reasoning With Characteristic Models
Sort
View
141
Voted
ITS
2004
Springer
153views Multimedia» more  ITS 2004»
15 years 9 months ago
Modeling Students' Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search
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 ...
Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn
ICEIS
2003
IEEE
15 years 9 months ago
A Temporal Reasoning Approach of Communication Based Workflow Modelling
José Luis Caro, Antonio Guevara, Sergio G&a...