1989 search results - page 111 / 398 » Set functions for functional logic programming |
158
click to vote
MOR
2006
15 years 6 months ago
2006
In multicriteria optimization, several objective functions, conflicting with each other, have to be minimized simultaneously. We propose a new efficient method for approximating t...
171
click to vote
ESWS
2007
Springer
16 years 16 days ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
167
click to vote
SIAMJO
2008
15 years 6 months ago
2008
We consider a rather general class of mathematical programming problems with data uncertainty, where the uncertainty set is represented by a system of convex inequalities. We prove...
135
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
183
click to vote
FSKD
2007
Springer
16 years 16 days ago
2007
Springer
One of the challenges a decision maker faces is choosing a suitable rough set model to use for data analysis. The traditional algebraic rough set model classifies objects into th...