Sciweavers

8337 search results - page 77 / 1668
» Reasoning With Characteristic Models
Sort
View
149
Voted
PRIMA
2007
Springer
16 years 1 months ago
A Driver Modeling Methodology Using Hypothetical Reasoning for Multiagent Traffic Simulation
Yusuke Tanaka, Yuu Nakajima, Hiromitsu Hattori, To...
ITS
2004
Springer
153views Multimedia» more  ITS 2004»
16 years 23 days 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
16 years 21 days ago
A Temporal Reasoning Approach of Communication Based Workflow Modelling
José Luis Caro, Antonio Guevara, Sergio G&a...