MULOG: Lógica Multivaluada: fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión
Fecha:
13/12/2004 - 13/12/2007The project, planned as a continuation of project LOGFAC (TIC2001-1577-C03-01), has three basic objectives. The first one is to continue the logic and algebraic study of t-norm based many-valued logics in the frame of both residuated and substructural logics. The second one is the formalization, within the framework of the above logics, of several deductive soft computing mechanisms, based on fuzzy logic, to deal with fuzziness and imprecision. The last one is to continue theoretical and experimental research on algorithms for the satisfiability problem in many-valued logics and their application to computational problems, in particular to constraint satisfaction problems with hard and soft constraints problems.
List of papers:
- 2008, Journal ArticleTeresa Alsinet; C. Chesñevar; Lluís Godo; Sandra Sandri; G. Simari
- 2008, Journal ArticleTeresa Alsinet; C. Chesñevar; Lluís Godo; G. Simari
- 2007, Journal ArticleFrancesc Esteva; Joan Gispert; Lluís Godo; Carles Noguera
- 2007, Conference PaperCarlos Ansótegui; María Luisa Bonet; Jordi Levy; Felip Manyà
- 2007, Book ChapterFrancesc Esteva; Lluís Godo
- 2007, Journal ArticleMaría Luisa Bonet; Jordi Levy; Felip Manyà
- 2007, Journal ArticleTommaso Flaminio; Lluís Godo
- 2007, Conference PaperFèlix Bou; Francesc Esteva; Lluís Godo
- 2007, Conference PaperCarlos Ansótegui; María Luisa Bonet; Jordi Levy; Felip Manyà
- 2007, Journal ArticleRostislav Horcík; Carles Noguera; Milan Petrík
- 2007, Conference PaperCarlos Ansótegui; María Luisa Bonet; Jordi Levy; Felip Manyà
- 2007, Conference PaperFrancesc Esteva; Lluís Godo; Carles Noguera
- 2007, Book ChapterCarlos Ansótegui; María Luisa Bonet; Jordi Levy; Felip Manyà
- 2007, Book ChapterRoberto Cignoli; Francesc Esteva; Lluís Godo
- 2007, Conference PaperCarlos Ansótegui; María Luisa Bonet; Jordi Levy; Felip Manyà
- 2006, Journal ArticleJ. Argerlich; Felip Manyà
- 2006, Conference PaperFrancesc Esteva; Lluís Godo; Carles Noguera
- 2006, Conference PaperJordi Levy; Manfred Schmidt-Schauss; Mateu Villaret
- 2006, Conference PaperTeresa Alsinet; C. Chesñevar; Lluís Godo; Sandra Sandri; G. Simari
- 2006, Conference PaperCarles Noguera; Francesc Esteva; Joan Gispert
- 2006, Conference PaperChu Min Li; Felip Manyà; J. Planes
- 2006, Conference PaperFrancesc Esteva; Lluís Godo
- 2006, Conference PaperRomà Adillon;Angel García-Cerdaña;Ventura Verdú
- 2006, Conference PaperMaría Luisa Bonet; Jordi Levy; Felip Manyà
- 2006, Journal ArticleLluís Godo;Enrico Marchioni
- 2006, Journal ArticleFranco Montagna; Carles Noguera; Rostislav Horcík
- 2006, Journal ArticleLluís Godo; Adriana Zapico
- 2006, Conference PaperAna Casali; Lluís Godo; Carles Sierra
- 2006, Journal ArticlePetr Savicky;Roberto Cignoli;Francesc Esteva;Lluís Godo;Carles Noguera
- 2006, Conference PaperJordi Levy; Manfred Schmidt-Schauss; Mateu Villaret
- 2006, Conference PaperFrancesc Esteva; Lluís Godo; Carles Noguera
- 2006, Journal ArticleFrancesc Esteva; Lluís Godo; Carles Noguera
- 2005, Conference PaperFranco Montagna;Carles Noguera;Rostislav Horcík
- 2005, Conference PaperAna Casali; Lluís Godo; Carles Sierra
- 2005, Conference PaperLluís Godo; Adriana Zapico
- 2005, Conference PaperCarles Noguera; Francesc Esteva; Joan Gispert
- 2005, Journal ArticleCarles Noguera; Francesc Esteva; Joan Gispert
- 2005, Book ChapterC. Chesñevar; G. Simari; Lluís Godo; Teresa Alsinet
- 2005, Conference PaperC. Chesñevar; G. Simari; Lluís Godo
- 2005, Conference PaperCarles Noguera; Francesc Esteva; Joan Gispert
- 2005, Journal ArticleCarles Noguera; Francesc Esteva; Joan Gispert
- 2005, Conference PaperRoberto Cignoli; Francesc Esteva; Lluís Godo; Carles Noguera
- 2005, Conference PaperPetr Savicky; Roberto Cignoli; Francesc Esteva; Lluís Godo; Carles Noguera
- 2005, Conference PaperJordi Levy; Joachim Niehren; Mateu Villaret