9 search results - page 2 / 2 » iclp 1992 |
108
Voted
ICLP
1992
Springer
15 years 7 months ago
1992
Springer
158
Voted
ICLP
1992
Springer
15 years 7 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
117
Voted
ICLP
1992
Springer
15 years 7 months ago
1992
Springer
: Whiledecision tree compilationis a promisingway tocarry out guard tests e ciently, the methods given in the literature do not take into account either the execution characteristi...
118
Voted
ICLP
1992
Springer
15 years 7 months ago
1992
Springer
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...