3535 search results - page 28 / 707 » Logic Program Specialisation |
101
click to vote
EUSFLAT
2003
15 years 3 months ago
2003
The concept of homogeneous multi-adjoint logic program is introduced, and a procedure to homogenize an arbitrary multi-adjoint logic program is presented. The procedure is proved ...
141
click to vote
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effec...
119
click to vote
LFCS
2007
Springer
15 years 8 months ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
129
Voted
AIML
2008
15 years 4 months ago
2008
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...
TPLP
2008
15 years 2 months ago
2008
This paper presents a Prolog interface to the MiniSat satisfiability solver. Logic programming with satisfiability combines the strengths of the two paradigms: logic programming f...