8766 search results - page 376 / 1754 » Functional logic programming |
109
click to vote
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...
132
click to vote
FLOPS
2004
Springer
15 years 8 months ago
2004
Springer
Sharing among program variables is vital information when analyzing logic programs. This information is often expressed either as sets or as pairs of program variables that (may) s...
94
Voted
ISCA
1987
IEEE
15 years 6 months ago
1987
IEEE
This paper presents a new multiprocessor architecture for the parallel execution of logic programs, developed as part of the Aquarius Project. This architecture is designed to sup...
143
Voted
IJCAI
2007
15 years 4 months ago
2007
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
131
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. We study algorithms for computing stable models of propositional logic programs and derive estimates on their worst-case performance that are asymptotically better than t...