3481 search results - page 28 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
AAAI
2007
15 years 4 months ago
2007
AAAI
2006
15 years 3 months ago
2006
169
Voted
COMPSAC
2011
IEEE
14 years 1 months ago
2011
IEEE
123
Voted
PPDP
2004
Springer
15 years 7 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 ...
130
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...