7456 search results - page 31 / 1492 » Parallelism in Logic Programming |
143
click to vote
PADS
1996
ACM
15 years 9 months ago
1996
ACM
We investigate conservative parallel discrete event simulations for logical circuits on shared-memory multiprocessors. For a first estimation of the possible speedup, we extend th...
167
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
148
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
An often problematic feature in answer set programming is that a program does not always produce an answer set, even for programs which represent default information in a seemingl...
146
click to vote
AMAI
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In...
138
click to vote
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...