3572 search results - page 56 / 715 » Nominal Logic Programming |
119
Voted
LPNMR
2001
Springer
15 years 5 months 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...
192
Voted
POPL
1999
ACM
15 years 4 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
79
Voted
APLAS
2009
ACM
15 years 7 months ago
2009
ACM
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
76
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer