Sciweavers

8766 search results - page 285 / 1754
» Functional logic programming
Sort
View
88
Voted
VSTTE
2005
Springer
15 years 8 months ago
Computational Logical Frameworks and Generic Program Analysis Technologies
José Meseguer, Grigore Rosu
97
Voted
ASIAN
2004
Springer
112views Algorithms» more  ASIAN 2004»
15 years 8 months ago
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...
58
Voted
ECAI
2004
Springer
15 years 8 months ago
A Tabulation Proof Procedure for Residuated Logic Programming
Carlos Viegas Damásio, Jesús Medina,...
151
Voted
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