Sciweavers

11436 search results - page 69 / 2288
» Modeling Real Reasoning
Sort
View
IJCAI
1993
15 years 3 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
77
Voted
JETAI
2006
56views more  JETAI 2006»
15 years 2 months ago
Models and heterogeneous reasoning
Philip N. Johnson-Laird
65
Voted
JETAI
2006
43views more  JETAI 2006»
15 years 2 months ago
Heterogeneous reasoning in learning to model
Keith Stenning, Melissa Gresalfi
59
Voted
ETS
2007
IEEE
69views Hardware» more  ETS 2007»
15 years 2 months ago
Narrative-based Interactive Learning Environments from Modelling Reasoning
John Yearwood, Andrew Stranieri