4617 search results - page 741 / 924 » Automation of Diagrammatic Reasoning |
163
click to vote
ILP
2003
Springer
16 years 9 days ago
2003
Springer
We study several complexity parameters for first order formulas and their suitability for first order learning models. We show that the standard notion of size is not captured by...
196
click to vote
ILP
2003
Springer
16 years 9 days ago
2003
Springer
We describe an efficient implementation (MRDTL-2) of the Multi-relational decision tree learning (MRDTL) algorithm [23] which in turn was based on a proposal by Knobbe et al. [19] ...
201
Voted
ILP
2003
Springer
16 years 9 days ago
2003
Springer
This work presents the application of theory revision to the design of distributed databases to automatically revise a heuristic-based algorithm (called analysis algorithm) through...
208
click to vote
ILP
2003
Springer
16 years 9 days ago
2003
Springer
In this paper, we investigate condensation of a clause. First, we extend a substitution graph introduced by Scheffer et al. (1996) to a total matcher graph. Then, we give a correc...
182
Voted
ILP
2003
Springer
16 years 9 days ago
2003
Springer
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...