2152 search results - page 294 / 431 » On Automating the Calculus of Relations |
104
Voted
ECSQARU
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...
117
click to vote
ICCBR
2007
Springer
15 years 7 months ago
2007
Springer
We identify two fundamental points of utilizing CBR for an adaptive agent that tries to learn on the basis of trial and error without a model of its environment. The first link co...
ICCBR
2007
Springer
15 years 7 months ago
2007
Springer
Case-Based Reasoning (CBR) is a methodology that reuses the solutions of previous similar problems to solve new problems. Adaptation is the most difficult stage in the CBR cycle, e...
106
Voted
LPAR
2007
Springer
15 years 7 months ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
118
click to vote
TARK
2007
Springer
15 years 7 months ago
2007
Springer
Most work in game theory assumes that players are perfect reasoners and have common knowledge of all significant aspects of the game. In earlier work [Halpern and Rˆego 2006], w...