Sciweavers

5506 search results - page 196 / 1102
» Minimal Logic Programs
Sort
View
106
Voted
ASIAN
2004
Springer
112views Algorithms» more  ASIAN 2004»
15 years 9 months ago
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...
ECAI
2004
Springer
15 years 9 months ago
A Tabulation Proof Procedure for Residuated Logic Programming
Carlos Viegas Damásio, Jesús Medina,...
159
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