MULOG
MULOG

MULOG
MULOG
 : 
Lógica Multivaluada: fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión
Lógica Multivaluada: fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión

A Project coordinated by IIIA.

Web page:

Principal investigator: 

Collaborating organisations:

Funding entity:

TIN2004-07933-C03-01
TIN2004-07933-C03-01

Funding call:

Funding call URL:

Project #:

MULOG
MULOG

Total funding amount:

0,00€
0,00€

IIIA funding amount:

Duration:

13/Dec/2004
13/Dec/2004
13/Dec/2007
13/Dec/2007

Extension date:

2008
Teresa Alsinet,  C. Chesñevar,  Lluís Godo,  Sandra Sandri,  & G. Simari (2008). Formalizing Argumentative Reasoning in a Possibilistic Logic Programming Setting with Fuzzy Unification. International Journal of Approximate Reasoning, 48, 711-729. [BibTeX]  [PDF]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2008). On triangular norm based axiomatic extensions of the weak nilpotent minimum logic. Mathematical Logical Quarterly, 403 - 425. [BibTeX]  [PDF]
2007
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). A Complete Resolution Calculus for Signed Max-SAT. Proc. of the 37th International Symposium on Multiple-Valued Logic, ISMVL'07 (pp. 22). [BibTeX]  [PDF]
Francesc Esteva,  Joan Gispert,  Lluís Godo,  & Carles Noguera (2007). Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results. Fuzzy Sets and Systems, 158, 597-618. [BibTeX]  [PDF]
Tommaso Flaminio,  & Lluís Godo (2007). A logic for reasoning about the probability of fuzzy events. Fuzzy Sets and Systems, 158, 625 - 638. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). Inference Rules for High-Order Consistency in Weighted CSP. Proc. of the 22th AAAI Conference on Artificial Intelligence, AAAI-07 (pp. 167-172). AAAI Press. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). Mapping CSP into Many-Valued SAT. Proc. of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT'07 (pp. 10-15). Springer. [BibTeX]  [PDF]
Fèlix Bou,  Francesc Esteva,  & Lluís Godo (2007). Modal systems based on many-valued logics. M. Stepnicka, V. Novák, & U. Bodenhofer (Eds.), New dimensions in fuzzy logic and related technologies. Proceedings EUSFLAT 2007 (pp. 177-182). [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2007). On completeness results for the expansions with truth-constants of some predicate fuzzy logics. M. Stepnicka, V. Novák, & U. Bodenhofer (Eds.), New dimensions in fuzzy logic and related technologies. Proceedings EUSFLAT 2007 (pp. 21-26). [BibTeX]  [PDF]
Roberto Cignoli,  Francesc Esteva,  & Lluís Godo (2007). On Lukasiewicz logic with truth constants. O. Castillo al. (Eds.), Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, ASC 42 (pp 869-875). Springer-Verlag. [BibTeX]  [PDF]
Rostislav Horcík,  Carles Noguera,  & Milan Petrík (2007). On n-contractive fuzzy logics. Mathematical Logic Quarterly, 53, 268-288. [BibTeX]  [PDF]
María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). Resolution for Max-SAT. Artificial Intelligence, 171, 606-618. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). The Logic behind Weighted CSP. Proc. of the 20th International Joint Conference on Artificial Intelligence, IJCAI'07 (pp. 32-37). AAAI Press. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). The Logic Behind Weighted CSP. Narendra Jussien Frederic Benhamou, & Barry O'Sullivan (Eds.), Future and Trends in Constraint Programming (pp 307-320). ISTE. [BibTeX]  [PDF]
Francesc Esteva,  & Lluís Godo (2007). Towards the generalization of Mundici's Gamma functor to IMTL algebras: the linearly ordered case. S. Aguzzoli, A.Ciabattoni, B. Gerla, C. Manara, & V. Marra (Eds.), Algebraic and Proof-theoretic Aspects of Non-classical Logics - Papers in honour of Daniele Mundici on the occasion of his 60th birthday (pp 127-137). LNAI 4460, Springer-Verlag. [BibTeX]  [PDF]
2006
María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2006). A Complete Calculus for Max-SAT. Lecture Notes in Computer Science (pp. 240-251). Springer-Verlag. [BibTeX]  [PDF]
Ana Casali,  Lluís Godo,  & Carles Sierra (2006). A methodology to Engineer Graded BDI Agents. WASI - CACIC Workshop.XII Congreso Argentino de Ciencias de la Computación . [BibTeX]  [PDF]
Jordi Levy,  Manfred Schmidt-Schauss,  & Mateu Villaret (2006). Bounded Second-Order Unification Is NP-Complete. Lecture Notes in Computer Science (pp. 400-414). Springer-Verlag. [BibTeX]  [PDF]
Lluís Godo,  & Enrico Marchioni (2006). Coherent conditional probability in a fuzzy logic setting. Logic Journal of the IGPL, 14, 457-481. [BibTeX]  [PDF]
Chu Min Li,  Felip Manyà,  & J. Planes (2006). Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT. Proceedings of the 21st National Conference on Artificial Intelligence, AAAI-2006, Boston/MA, USA (pp. 86-91). [BibTeX]
J. Argerlich,  & Felip Manyà (2006). Exact Max-SAT solvers for over-constrained problems. Journal of Heuristics, 375-392. [BibTeX]
Francesc Esteva,  & Lluís Godo (2006). Generalization of Mundici's functor to linearly ordered involutive monoidal t-norm based logic IMTL. Second Czech-Catalan conference in Mathematics (pp. 20). Universitat de Barcelona. [BibTeX]  [PDF]
Lluís Godo,  & Adriana Zapico (2006). Lexicographic Combinations of Preference Relations in the Context of Possibilistic Decision Theory. Mathware and Soft Computing, XIII, 157-171. [BibTeX]  [PDF]
Teresa Alsinet,  C. Chesñevar,  Lluís Godo,  Sandra Sandri,  & G. Simari (2006). Modeling Defeasible Argumentation within a Possibilistic Logic Framework with Fuzzy Unification. Proc. 11th Intl. Conference IPMU 2006 (pp. 1228-1235). Edition E.D.K.. [BibTeX]  [PDF]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2006). On n-contractive fuzzy logics: first results. Eleventh international conference IPMU 2006, Information processing and management of uncertainty in knowledge-based systems (pp. 1612-1619). [BibTeX]
Petr Savicky,  Roberto Cignoli,  Francesc Esteva,  Lluís Godo,  & Carles Noguera (2006). On product logic with truth constants. Journal of Logic and Computation, 16, 205 - 225. [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2006). On rational weak nilpotent minimum logics. Journal of multiple valued-logic and soft computing, 12, 9-32. [BibTeX]  [PDF]
Romà Adillon,  Angel García-Cerdaña,  & Ventura Verdú (2006). On some classical fragments of t-norm based fuzzy logics. Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU 2006 (pp. 1596-1603). [BibTeX]
Franco Montagna,  Carles Noguera,  & Rostislav Horcík (2006). On weakly cancellative fuzzy logics. Journal of Logic and Computation, 16, 423-450. [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2006). Real, rational and finite-chain semantics for fuzzy logics. Actas del XIII Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2006 (pp. 83-88). [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2006). Real, rational and finite semantics for fuzzy logics. M.Ojeda-Aciego S. Gottwald (Eds.), The Logic of Soft Computing & Workshop of the ERCIM working group on Soft Computing (LSC'06) (pp. 44-48). Universidad de Malaga. [BibTeX]  [PDF]
Jordi Levy,  Manfred Schmidt-Schauss,  & Mateu Villaret (2006). Stratified Context Unification is NP-complete. Lecture Notes in Computer Science (pp. 82-96). Springer-Verlag. [BibTeX]  [PDF]
2005
C. Chesñevar,  G. Simari,  & Lluís Godo (2005). Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming. C. Baral al (Eds.), International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR 2005 (pp. 158-171). Springer. [BibTeX]  [PDF]
Ana Casali,  Lluís Godo,  & Carles Sierra (2005). Graded BDI Models for Agent Architectures. João Leite, & Paolo Torroni (Eds.), International Workshop on Computational Logic in Multi-Agent Systems - CLIMA 2004 (pp. 126 - 143). Springer-Verlag. [BibTeX]  [PDF]
Lluís Godo,  & Adriana Zapico (2005). Lexicographic refinements in the context of possibilistic decision theory. Pilar Sobrevilla, & Eduard Montseny (Eds.), Joint 4th EUSFLAT & 11th LFA Conference 7-9 September, 2005 - Barcelona, Spain. (pp. 559 - 564). [BibTeX]  [PDF]
Petr Savicky,  Roberto Cignoli,  Francesc Esteva,  Lluís Godo,  & Carles Noguera (2005). On product fuzzy logic with truth constants. Universidad Barcelona (Eds.), Algebraic and topological methods in non-classical logics II. Barcelona. 2005 (pp. 32-33). [BibTeX]  [PDF]
Roberto Cignoli,  Francesc Esteva,  Lluís Godo,  & Carles Noguera (2005). On product fuzzy logic with truth-constants. Guoqing Chen Yingming Liu, & Mingsheng Ying (Eds.), Proceedings of the Eleventh International Fuzzy Systems Association World Congress IFSA 2005 (pp. 1244-1249). Tsinghua University Press, Springer. [BibTeX]  [PDF]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2005). On some varieties of MTL-Algebras. Logic Journal of the IGPL. May 2005., 13, 443 - 466. [BibTeX]  [PDF]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2005). On the variety of WNM-algebras. Universitat Barcelona (Eds.), Algebraic and Topological Methods in Non-Classical Logics II June 15-18, 2005 University of Barcelona Barcelona, Spain (pp. 60-61). [BibTeX]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2005). On varieties generated by Weak Nilpotent Minimum t-norms. Proceedings of Fourth EUSFLAT (pp. 866-871). [BibTeX]
C. Chesñevar,  G. Simari,  Lluís Godo,  & Teresa Alsinet (2005). On Warranted Inference in Possibilistic Defeasible Logic Programming. B. López, J. Meléndez, P. Radeva, & J. Vitrià (Eds.), Artificial Intelligence Reseach and Development. Frontiers in Artificial Intelligence and Applications. (pp 265 - 272). IOS Press. [BibTeX]  [PDF]
Franco Montagna,  Carles Noguera,  & Rostislav Horcík (2005). On weakly cancellative fuzzy logics. M. Stepnicka V. Novák (Eds.), The Logic of Soft Computing IV & 4th Workshop of the ERCIM Working Group on Soft Computing (pp. 59 - 61). Institute for Research and Applications of Fuzzy Modeling, University of Ostrava. [BibTeX]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2005). Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Archive for Mathematical Logic, 44, 869 - 886. [BibTeX]  [PDF]
Jordi Levy,  Joachim Niehren,  & Mateu Villaret (2005). Well-Nested Context Unification. Lecture Notes in Artificial Intelligence (pp. 149-163). Springer-Verlag. [BibTeX]  [PDF]
Gonçal E. Imaz
Tenured Scientist
Phone Ext. 431818

Francesc Esteva
Adjunct Professor Ad Honorem
Pere García Calvés
Tenured Scientist
Lluís Godo
Research Professor
Phone Ext. 431857

Jordi Levy
Scientific Researcher
Phone Ext. 431860

Carles Noguera
Contract Researcher