3738 search results - page 68 / 748 » Parametrized Logic Programming |
ICCAD
1994
IEEE
14 years 2 days ago
1994
IEEE
? We describe a synthesis system that takes operating range constraints and inter- and intra- circuit parametric manufacturing variations into account while designing a sized and b...
LPNMR
2001
Springer
14 years 11 days ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
APLAS
2009
ACM
14 years 2 months ago
2009
ACM
ESOP
2005
Springer
14 years 1 months ago
2005
Springer
ICALP
2010
Springer
14 years 22 days ago
2010
Springer