Sciweavers

3983 search results - page 189 / 797
» Conceptual logic programs
Sort
View
116
Voted
ASIAN
2004
Springer
112views Algorithms» more  ASIAN 2004»
15 years 10 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 10 months ago
A Tabulation Proof Procedure for Residuated Logic Programming
Carlos Viegas Damásio, Jesús Medina,...
174
Voted
ILP
2004
Springer
15 years 10 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