Sciweavers

3693 search results - page 170 / 739
» Splitting a Logic Program
Sort
View
ILP
2004
Springer
15 years 8 months ago
Macro-Operators Revisited in Inductive Logic Programming
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...
Érick Alphonse
ILP
2004
Springer
15 years 8 months ago
On Avoiding Redundancy in Inductive Logic Programming
ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. The generation of redundant hypotheses ma...
Nuno A. Fonseca, Vítor Santos Costa, Fernan...
JELIA
2004
Springer
15 years 8 months ago
The DALI Logic Programming Agent-Oriented Language
Stefania Costantini, Arianna Tocchio
JELIA
2004
Springer
15 years 8 months ago
Automatic Compilation of Protocol Insecurity Problems into Logic Programming
Alessandro Armando, Luca Compagna, Yuliya Lierler