Sciweavers

952 search results - page 74 / 191
» Substructural fuzzy logics
Sort
View
LICS
2005
IEEE
14 years 2 months ago
Model-Checking Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Markus Lohrey
CORR
1999
Springer
95views Education» more  CORR 1999»
13 years 8 months ago
Fixed-parameter tractability, definability, and model checking
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
Jörg Flum, Martin Grohe
AAAI
2008
13 years 11 months ago
A Neuro-Fuzzy Strategy for Web Personalization
In this paper, we propose the use of a neuro-fuzzy strategy to develop a Web personalization framework for the dynamic suggestion of URLs retained interesting for the currently co...
Giovanna Castellano, Anna Maria Fanelli, Paola Pla...
EUSFLAT
2009
118views Fuzzy Logic» more  EUSFLAT 2009»
13 years 6 months ago
Fuzzy Implications and the Weak Law of Importation
Some open problems on fuzzy implications dealing with the so-called importation law are studied and totally or partially solved in this work. In particular, it is proved that such ...
Sebastià Massanet, Joan Torrens
WILF
2005
Springer
91views Fuzzy Logic» more  WILF 2005»
14 years 2 months ago
Multi-lattices as a Basis for Generalized Fuzzy Logic Programming
A prospective study of the use of ordered multi-lattices as underlying sets of truth-values for a generalised framework of logic programming is presented. Specifically, we investi...
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ru...