1989 search results - page 155 / 398 » Set functions for functional logic programming |
123
Voted
ICDT
2003
ACM
15 years 8 months ago
2003
ACM
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
151
click to vote
EAAI
2006
15 years 3 months ago
2006
Type-2 fuzzy sets, which are characterized by membership functions (MFs) that are themselves fuzzy, have been attracting interest. This paper focuses on advancing the understandin...
128
click to vote
JSYML
2006
15 years 3 months ago
2006
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
138
Voted
IJCAI
1989
15 years 4 months ago
1989
Mechanical systems, of the kinds which are of interest for qualitative reasoning, are characterized by a set of real-valued parameters, each of which is a piecewise continuous fun...
115
click to vote
FOAL
2008
ACM
15 years 4 months ago
2008
ACM
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...