Sciweavers

134 search results - page 10 / 27
» A Linear Logic of Authorization and Knowledge
Sort
View
PRL
2010
149views more  PRL 2010»
14 years 6 months ago
Adaptive linear models for regression: Improving prediction when population has changed
The general setting of regression analysis is to identify a relationship between a response variable Y and one or several explanatory variables X by using a learning sample. In a ...
Charles Bouveyron, Julien Jacques
PLDI
2006
ACM
15 years 5 months ago
Specifying distributed trust management in LolliMon
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
Jeff Polakow, Christian Skalka
SEMWEB
2007
Springer
15 years 5 months ago
Extending Fuzzy Description Logics with a Possibilistic Layer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
Fernando Bobillo, Miguel Delgado, Juan Góme...
EUSFLAT
2007
124views Fuzzy Logic» more  EUSFLAT 2007»
15 years 1 months ago
Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics
Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear Progr...
Umberto Straccia, Fernando Bobillo
ECAI
2006
Springer
15 years 3 months ago
Compiling Possibilistic Knowledge Bases
Abstract. Possibilistic knowledge bases gather propositional formulas associated with degrees belonging to a linearly ordered scale. These degrees reflect certainty or priority, de...
Salem Benferhat, Henri Prade