3446 search results - page 213 / 690 » A Reasoning Algorithm for pD* |
126
click to vote
ILP
2001
Springer
15 years 9 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...
124
click to vote
ICTAI
2000
IEEE
15 years 9 months ago
2000
IEEE
One reason why Case-Based Reasoning (CBR) has become popular is because it reduces development cost compared to rule-based expert systems. Still, the knowledge engineering effort ...
216
click to vote
MOBICOM
2000
ACM
15 years 9 months ago
2000
ACM
As the recent denial-of-service attacks on several major Internet sites have shown us, no open computer network is immune from intrusions. The wireless ad-hoc network is particula...
146
click to vote
CSL
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form ¡£¢¥¤§¦©¨ and ¡¢¥¤...
143
Voted
ESSLLI
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The main purpose of this paper is to present a new algorithm (NEWSAT) for deciding the (un)satisfiability of propositional formulae. It is based on a somehow dual (versu...