4513 search results - page 192 / 903 » Logic programming with satisfiability |
207
Voted
JUCS
2006
15 years 3 months ago
2006
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
126
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
124
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
95
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
135
Voted
ML
2006
ACM
15 years 3 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...