154
click to vote
ILP
15 years 11 months ago
2005 Springer 
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...
169
click to vote
ILP
15 years 11 months ago
2005 Springer 
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...
168
click to vote
ILP
15 years 11 months ago
2005 Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
174
click to vote
ILP
15 years 11 months ago
2005 Springer
Online learning algorithms such as Winnow have received much attention in Machine Learning. Their performance degrades only logarithmically with the input dimension, making them us...
|
Automated Reasoning