3481 search results - page 28 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
53
Voted
AAAI
2007
15 years 5 months ago
2007
105
Voted
AAAI
2006
15 years 4 months ago
2006
177
Voted
COMPSAC
2011
IEEE
14 years 2 months ago
2011
IEEE
128
click to vote
PPDP
2004
Springer
15 years 8 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
139
click to vote
LOPSTR
1997
Springer
15 years 6 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...