Sciweavers

11436 search results - page 69 / 2288
» Modeling Real Reasoning
Sort
View
101
Voted
IJCAI
1993
15 years 2 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
70
Voted
JETAI
2006
56views more  JETAI 2006»
15 years 21 days ago
Models and heterogeneous reasoning
Philip N. Johnson-Laird
55
Voted
JETAI
2006
43views more  JETAI 2006»
15 years 21 days ago
Heterogeneous reasoning in learning to model
Keith Stenning, Melissa Gresalfi
52
Voted
ETS
2007
IEEE
69views Hardware» more  ETS 2007»
15 years 21 days ago
Narrative-based Interactive Learning Environments from Modelling Reasoning
John Yearwood, Andrew Stranieri