975 search results - page 132 / 195 » Declarative Aspect-Oriented Programming |
AOSD
2007
ACM
15 years 1 months ago
2007
ACM
Aspect-oriented languages mostly employ implicit languagedefined join point models, where well-defined points in the program are called join points and declarative predicates are ...
JMLR
2006
14 years 9 months ago
2006
We develop kernels for measuring the similarity between relational instances using background knowledge expressed in first-order logic. The method allows us to bridge the gap betw...
110
click to vote
ENTCS
2002
14 years 9 months ago
2002
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...
114
click to vote
ICLP
2010
Springer
14 years 8 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
ICMT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...