Sciweavers

11436 search results - page 69 / 2288
» Modeling Real Reasoning
Sort
View
IJCAI
1993
15 years 7 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
JETAI
2006
56views more  JETAI 2006»
15 years 6 months ago
Models and heterogeneous reasoning
Philip N. Johnson-Laird
JETAI
2006
43views more  JETAI 2006»
15 years 6 months ago
Heterogeneous reasoning in learning to model
Keith Stenning, Melissa Gresalfi