7456 search results - page 140 / 1492 » Parallelism in Logic Programming |
IPPS
2010
IEEE
15 years 28 days ago
2010
IEEE
FSTTCS
2007
Springer
15 years 9 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
166
click to vote
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
LPNMR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We consider the simplification of logic programs under the stablemodel semantics, with respect to the notions of strong and uniform equivalence between logic programs, r...