4513 search results - page 128 / 903 » Logic programming with satisfiability |
115
Voted
LPAR
2000
Springer
15 years 7 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
125
Voted
CJ
2004
15 years 3 months ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
117
Voted
ERSHOV
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
134
click to vote
JUCS
2006
15 years 3 months ago
2006
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...
161
Voted
ASP
2005
Springer
15 years 9 months ago
2005
Springer
A new exact algorithm for computing answer sets of logic programs is presented and analyzed. The algorithm takes a logic program in Kernel normal form as an input and computes its ...