3845 search results - page 86 / 769 » Belief Logic Programming |
LPNMR
2001
Springer
15 years 2 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...
121
click to vote
POPL
1999
ACM
15 years 2 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 ¡...
APLAS
2009
ACM
15 years 4 months ago
2009
ACM
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
ICALP
2010
Springer
15 years 2 months ago
2010
Springer