ILP
15 years 2 months ago
2005 Springer  ILP
15 years 2 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...
ILP
15 years 2 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...
ILP
15 years 2 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...
ILP
15 years 2 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