1256 search results - page 50 / 252 » Learning to Reason |
135
Voted
SAT
2005
Springer
15 years 8 months ago
2005
Springer
Solvers for Quantified Boolean Formulae (QBF) use many analogues of technique from SAT. A significant amount of work has gone into extending conflict based techniques such as co...
113
Voted
ILP
2001
Springer
15 years 7 months ago
2001
Springer
The Bayesian framework of learning from positive noise-free examples derived by Muggleton [12] is extended to learning functional hypotheses from positive examples containing norma...
123
click to vote
UKCBR
1995
15 years 6 months ago
1995
Various cognitive and computational models have addressed the use of previous experience to understand a new domain. In particular, research in case-based reasoning has explored t...
124
Voted
ICCBR
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...
120
Voted
ECSQARU
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Although we can build a belief network starting from any ordering of its variables, its structure depends heavily on the ordering being selected: the topology of the netw...