3983 search results - page 69 / 797 » Conceptual logic programs |
JELIA
2010
Springer
13 years 7 months ago
2010
Springer
Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic programming is that, instead of atomic first-order form...
LPNMR
2001
Springer
14 years 1 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...
POPL
1999
ACM
14 years 1 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
14 years 3 months ago
2009
ACM
ESOP
2005
Springer
14 years 2 months ago
2005
Springer