480 search results - page 1 / 96 » Continuations for parallel logic programming |
150
click to vote
LICS
2009
IEEE
16 years 29 days ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
154
click to vote
LPNMR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Considering different implication operators, such as Lukasiewicz, G¨odel or product implication in the same logic program, naturally leads to the allowance of several a...
162
click to vote
HPCA
2008
IEEE
16 years 6 months ago
2008
IEEE
The continued scaling of device dimensions and the operating voltage reduces the critical charge and thus natural noise tolerance level of transistors. As a result, circuits can p...