11436 search results - page 111 / 2288 » Modeling Real Reasoning |
113
Voted
ICALT
2005
IEEE
15 years 6 months ago
2005
IEEE
Visual reasoning is an essential skill for many disciplines in engineering and architecture. We describe an intelligent tutoring system for visual reasoning that uses the missing ...
88
Voted
AUSAI
1997
Springer
15 years 5 months ago
1997
Springer
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
102
Voted
PKDD
2009
Springer
15 years 7 months ago
2009
Springer
Probabilistic logics have attracted a great deal of attention during the past few years. While logical languages have taken a central position in research on knowledge representati...
102
Voted
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
134
click to vote
ICMAS
1998
15 years 2 months ago
1998
In this paper, a model is proposed for multi-agent probabilistic reasoning in a distributed environment. Unlike other methods, this model is capable of processing input in a truly...