4126 search results - page 62 / 826 » Set based logic programming |
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
CHES
2009
Springer
14 years 4 months ago
2009
Springer
Power-based side channel attacks are a significant security risk, especially for embedded applications. To improve the security of such devices, protected logic styles have been p...
AMAI
1999
Springer
13 years 9 months ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
ICLP
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...