892 search results - page 51 / 179 » Strategies in sentential reasoning |
IJCAI
1989
15 years 2 months ago
1989
This paper is a study on the process of evolution of a novice to an expert in a diagnostic context. In er, we have chosen an abstract example of a diagnostic problem. The results ...
103
click to vote
TLDI
2010
ACM
15 years 10 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
163
click to vote
AAAI
2012
13 years 3 months ago
2012
General Game Playing (GGP) agents must be capable of playing a wide variety of games skillfully. Monte-Carlo Tree Search (MCTS) has proven an effective reasoning mechanism for thi...
DLOG
2006
15 years 2 months ago
2006
In our case study we investigate a server for answering OWLQL queries with distinguished variables only (henceforth called OWLQL). This server acts as a proxy that delegates queri...
125
click to vote
COCOON
2008
Springer
15 years 2 months ago
2008
Springer
Consider a trader who exchanges one dollar into yen and assume that the exchange rate fluctuates within the interval [m, M]. The game ends without advance notice, then the trader ...