Sciweavers

4513 search results - page 206 / 903
» Logic programming with satisfiability
Sort
View
ECAI
2004
Springer
15 years 9 months ago
A Tabulation Proof Procedure for Residuated Logic Programming
Carlos Viegas Damásio, Jesús Medina,...
161
Voted
ILP
2004
Springer
15 years 9 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 9 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...