3572 search results - page 23 / 715 » Nominal Logic Programming |
157
click to vote
OWLED
2007
15 years 7 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
132
click to vote
SLP
1990
15 years 7 months ago
1990
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...
176
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
168
click to vote
JAIR
2008
15 years 6 months ago
2008
The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound...