3973 search results - page 31 / 795 » Records for Logic Programming |
114
Voted
PPDP
2000
Springer
15 years 6 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
156
click to vote
LPNMR
2001
Springer
15 years 7 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
IAT
2008
IEEE
15 years 9 months ago
2008
IEEE
ICLP
2001
Springer
15 years 7 months ago
2001
Springer