1445 search results - page 72 / 289 » Abstract Interpretation of Logic Programs |
127
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
130
click to vote
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...
129
click to vote
LOPSTR
1994
Springer
15 years 7 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...
125
click to vote
AML
2002
15 years 3 months ago
2002
Abstract. It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbe...
121
click to vote
CJ
2004
15 years 2 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...