850 search results - page 38 / 170 » A Logic Programming Language Based on Binding Algebras |
PLILP
1992
Springer
15 years 5 months ago
1992
Springer
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
104
click to vote
PPDP
2007
Springer
15 years 7 months ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
129
click to vote
IJAR
2007
15 years 1 months ago
2007
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
106
click to vote
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
126
click to vote
JAR
2010
14 years 8 months ago
2010
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...