Sciweavers

2348 search results - page 243 / 470
» A Fuzzy Description Logic
Sort
View
CCIA
2009
Springer
15 years 7 months ago
Secure and Optimal Base Contraction in Graded Lukasiewicz Logics
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...
Pere Pardo, Pilar Dellunde, Lluis Godo
JAPLL
2006
112views more  JAPLL 2006»
15 years 6 months ago
Intuitionistic hybrid logic
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
Torben Braüner, Valeria de Paiva
CORR
2007
Springer
121views Education» more  CORR 2007»
15 years 6 months ago
Diagrammatic Inference
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...
Dominique Duval
JELIA
2010
Springer
15 years 5 months ago
Translating First-Order Causal Theories into Answer Set Programming
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
Vladimir Lifschitz, Fangkai Yang
EUSFLAT
2009
125views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
A Dynamic Classification Method for the Discrimination of Evolving Data
Classes issued of evolving systems are dynamic and their characteristics vary over the time. Assigning a pattern to a class is achieved using a classifier. Therefore, the classifie...
Laurent Hartert, Moamar Sayed Mouchaweh, Patrice B...